логические задачи

История поиска длиной в 15 лет

Мы нашли все самые крутые логические задачи Как так получилось? 15 лет назад мы решили создать сайт для любителей каверзных задач и головоломок. Не просто сборник с ответами под катом, а интерактивный ресурс, дающий возможность насладиться самостоятельным поиском решения, почувствовать…
Читать дальше

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло…
Читать дальше