Математическая логика и теория алгоритмов
Описание и характеристики
Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
ID товара
2784882
Издательство
Научный мир
Год издания
2020
ISBN
978-5-91522-001-9
Количество страниц
343
Размер
2.2x15.3x21.8
Тип обложки
Твёрдый переплёт
Тираж
1000
Вес, г
509
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
3.8
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя.
Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.
Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.