Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.


учебники и пособия для вузов

математика

книги для студентов и аспирантов

алгоритмы

математическая логика

теория алгоритмов

Лекции по математической логике и теории алгоритмов

современная русская литература

современные любовные романы

современная зарубежная литература

книги о приключениях

стихи и поэзия

русская классика

мистика

любовное фэнтези

биографии и мемуары

современные детективы

короткие любовные романы

сказки

попаданцы

литература 19 века

научная фантастика

саморазвитие / личностный рост

триллеры

публицистика

зарубежная классика

Это 19 моих лучших стихов. Здесь есть стихи о природе, временах года, России, железной дороге, городах и т.д. Все стихи были написаны в 2024 году.

Топ-19 моих лучших стихов

— Значит, это и есть местные террористы? — Алекс, прищурившись, внимательно разглядывал неторопливо приближавшуюся высокую худощавую фигуру.
— Ангел, — с ненавистью прошипела за его спиной сестра, невольно сжав руку в кулак, дробя в песок каменно-сухую землю.
— Замуровали, демоны,  — пробормотал Валентайн.
— Того, что за железкой, оставляем, остальных валим, — коротко распорядился Дин.
— Может, сперва послушаем, что этот пи…эээ…их командир скажет? — предложил Алекс.
— Я тебе могу это пересказать в трёх словах, причем два с половиной из них будут матерными.
— Лады, — внезапно легко согласился Алекс и передёрнул затвор «четырехсотого». — Танцуем, мальчики, танцуем! (с)

фанфик

городское фэнтези

юмор

Нормальным просьба не беспокоить. Часть вторая

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

боевая фантастика

космическая фантастика

Искатели кнопки

Когда мир рушится, перестают работать любые законы. Прав тот, кто сильнее, у кого в нужный момент под рукой окажется нож или автомат. Но даже в этом ужасном мире остается место любви, доброте и человечности. 
На месте разрушенного всегда возникает новое. Все меняется, и некоторые вещи могут измениться к лучшему. Новый мир дает удивительные возможности и способности ‒ для тех, кто действительно их достоин. И это становится настоящим чудом.
Далеко не всем новый мир по нраву. Многих он пугает – потому что прежние правила перестают действовать. У тебя больше нет возможности силой взять то, что тебе нужно. Ты должен решить, кто ты и с кем ты. Пойти вперед, в новый блистающий мир – или остаться с теми, кто не захотел измениться.

героическая фантастика

Хроника апокалипсиса

al_itueiuowikjgfdgal_itueiuowikjgfdgal_itueiuowikjgfdgal_itueiuowikjgfdgal_itueiuowikjgfdgal_itueiuowikjgfdg

аналитические журналы

al_itueiuowikjgfdg

В этой книге вы найдете подробное описание процесса постройки станка для лазерной резки труб, который позволит вам создавать сложные и точные резы в трубах различных диаметров и материалов. Автор, имеющий обширный опыт в области лазерной обработки, делится своими знаниями и опытом, чтобы помочь вам построить эффективный и надежный станок для лазерной резки труб.
Книга охватывает все этапы постройки станка - от выбора необходимых компонентов и материалов до настройки и тестирования готового оборудования. Вы узнаете, как...
Выбрать оптимальные параметры лазера и системы управления для резки труб. 
Разработать и построить прочную и стабильную конструкцию станка. 
Настроить систему охлаждения и вентиляции для безопасной и эффективной работы. 
Программировать и настраивать систему управления для выполнения сложных резов.

эксплуатация промышленного оборудования

Разработка станка для лазерной резки труб

В начале года в столице происходит взрыв, сметающий с лица земли спальный район. В 2028 году руководство отправляет запрос в 1951 год. Чтобы спасти страну от катастрофы, изменив прошлое, необходимо телепортировать выдающегося профессора-экстрасенса за 24 часа до трагедии. Но злые силы не дремлют, пытаясь сорвать план. Параллельно разгорается сражение с армией нечисти, добывающей кровь для истощенного Мрачного Кукловода. Удастся ли им изменить ход истории и спасти будущее? Скоро узнаете!

Легенды русских героев: мрачный кукловод VII

Полная версия

Лекции по математической логике и теории алгоритмов