Câu hỏi được gắn thẻ «uncountability»

Tôi đã xem bài đọc này của MIT về độ phức tạp tính toán và vào phút 15:00 Erik Demaine bắt tay vào một cuộc biểu tình để cho thấy những gì được nêu trong tiêu đề của câu hỏi này. Tuy nhiên tôi không thể làm theo lý luận …

8 computability  proof-techniques  decision-problem  uncountability 

COQ là một người ủng hộ định lý tương tác sử dụng phép tính của các cấu trúc quy nạp, tức là nó phụ thuộc rất nhiều vào các loại quy nạp. Sử dụng chúng, các cấu trúc rời rạc như số tự nhiên, số hữu tỷ, đồ thị, ngữ …

8 probability-theory  coq  real-numbers  uncountability