логический RSS

А.Г. Драгалин. Математический интуиционизм

Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей.
gefexi 25/12/21 Просмотров: 138 Комментариев: 0
+1
Sudoku: Vacation

Перед вами популярная японская головоломка. Цель игры: нужно заполнить свободные клетки цифрами от 1 до 9 так, чтобы в каждой строке, в каждом столбце и в каждом малом квадрате 3x3 - каждая цифра встречалась только один раз.

v1011832 13/08/21 Просмотров: 591 Комментариев: 0
+1
Фестиваль маджонга. Зимняя Страна Чудес

Выполняйте задания, чтобы организовать лучший фестиваль за всю историю! Даже зимой можно придумать множество способов развлечься. Постройте уютный коттедж на вершине холма, лыжную мастерскую, фабрику по производству печенья и множество других зданий. Засучите рукава, разогревайте духовку и начинайте готовить. Думаете, Вам по силам испечь целую гору маффинов? Разнообразные задания ждут Вас на каждом уровне, и всё для того, чтобы устроить незабываемый праздник. Ищите одинаковые фишки, а если что - Вам придут на помощь различные бонусы!

v1011832 05/08/21 Просмотров: 828 Комментариев: 0
+3