вирахувань освітнє програмне забезпечення розроблене, щоб допомогти студентам навчитися докази в формальної логіки. Він призначений для використання викладачами та студентами коледжу логічний рівень курсів з філософії, математики та інформатики. Це дає...

Intuition

Intuition 1.0.3

Інтуїція прорив в логічні ігри, яка змішує поза коробки мислення з мозку дражнячи задоволення. Натхненний MU-головоломка, в Пулітцерівської премії книги Дугласа Hofstædter-х років, Гедель, Ешер, Бах, інтуїція була описана як одна частина головоломки, одна...