В книги вошли задачи, головоломки, логические игры и развлечения из различных областей математики. Удачный подбор материала и необычная форма его подачи доставят большое удовольствие всем любителям этой точной науки.

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Учебное пособие дает углубленное содержание как традиционной формальной логики, так и математической (символической) логики в ее двух направлениях: классическая логика и многочисленные направления неклассических логик (конструктивных, интуиционистской, многозначных, положительных (логики, построенные без операции отрицания), модальных и паранепротиворечивых).

Perfect Drift - Когда-то вы были самым быстрым гонщиком в мире. Но произошла страшная авария и вы перестали быть лидером. Вы не помните, как это произошло и кому можно доверять. Восстановите свою память и разгадайте тайну вашей аварии.

Империя:Битва героев - игра перенесёт игрока в эпоху расцвета Древнего Рима, когда их территории активно расширялась за счёт захвата новых земель. Играем за монарха, которому поручено как можно быстрее расширить свои владения, за счёт нападений на враждебные территории.

Future Ops Online - это классный шутер от первого лица с многопользовательским режимом - вы сможете одновременно играть на одной локации с 43 соперниками по всему миру. Вам доступны 3 режима - СООР, TDM и СТР.

Морской бой: Военные корабли / Sea Battle :Warships - Вас ждет самый мощный в мире крейсер, и вы являетесь его капитаном. Ваша задача-потопить все вражеские корабли, чтобы защитить территориальные воды своей страны.