Các khoản khấu trừ là phần mềm giáo dục được thiết kế để giúp học sinh học chứng minh trong logic hình thức. Nó được thiết kế để được sử dụng bởi các giảng viên và sinh viên của các khóa học lý cao đẳng trong triết học, toán học và khoa học máy tính. Nó...

Intuition

Intuition 1.0.3

Trực giác là một bước đột phá trong trò chơi câu đố pha trộn out-of-the-box suy nghĩ với não trêu chọc vui vẻ. Lấy cảm hứng từ MU-Puzzle trong cuốn sách của Douglas Hofstaedter đoạt giải Pulitzer, Gödel, Escher, Bach, Intuition đã được mô tả như là một...