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

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