«Математическая логика и теория алгоритмов» В. М. Зюзьков, А. А. Шелупанов Изложены базовые понятия и принципы математической логики и теории алгоритмов. Рассмотрен ряд распространенных логических парадоксов, на примере которых показаны трудности, возникающие в логике. Книга содержит разнообразные логические задачи, упражнения, которые позволяют закрепить теоретический материал. Для студентов, обучающихся по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации", будет полезна студентам других технических специальностей. Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов (В. М. Зюзьков, А. А. Шелупанов). Напишите свою рецензию о книге В. М. Зюзьков, А. А. Шелупанов «Математическая логика и теория алгоритмов» http://izbe.ru/book/150560-matematicheskaya-logika-i-teoriya-algoritmov-v-m-zyuzkov-a-a-shelupanov/

«Математическая логика и теория алгоритмов» А. К. Гуц Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети". Это и многое другое вы найдете в книге Математическая логика и теория алгоритмов (А. К. Гуц). Напишите свою рецензию о книге А. К. Гуц «Математическая логика и теория алгоритмов» http://izbe.ru/book/190556-matematicheskaya-logika-i-teoriya-algoritmov-a-k-guc/

«Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов» Глухов М. М., Козлитин О. А., Шапошников В. А.и др. Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции", изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов. Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика. ББК 22.12 Это и многое другое вы найдете в книге Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов (Глухов М. М., Козлитин О. А., Шапошников В. А.и др.). Напишите свою рецензию о книге Глухов М. М., Козлитин О. А., Шапошников В. А.и др. «Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов» http://izbe.ru/book/143414-zadachi-i-uprazhneniya-po-matematicheskoy-logike-diskretnym-funkciyam-i-teorii-algoritmov-gluhov-m-m-kozlitin-o-a-shaposhnikov-v-a-i-dr/