Курс математической логики и теории вычислимости. Учебное пособие (Герасимов Александр Сергеевич) ; Лань, 2014
от 1007 р. до 1474 р.
Автор(ы): Герасимов Александр Сергеевич;
Издатель: Лань
ISBN: 978-5-8114-1666-0
ID: SKU66622
Добавлено: 15.08.2021
Сравнить цены
Цена от 1007 р. до 1474 р. в 3 магазинах
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | 1474 р. 2106 р. | |
Яндекс.Маркет 5/5 | 1007 р. | |
МАЙШОП 5/5 | 1278 р. 1966 р. | |
Читай-город 5/5 | ||
Описание
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов. Рассмотрены теоремы Гёделя о неполноте. Изложено исчисление Хоара для формального доказательства корректности программ некоторого императивного языка программирования. В книге имеется более 200 упражнений.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп "Компьютерные и информационные науки", "Информатика и вычислительная техника", но будет полезно и студентам группы направлений "Математика и механика", а также всем желающим начать систематическое изучение математической логики.
4-е издание, переработанное и дополненное.
Учебное пособие адресовано в первую очередь студентам, обучающимся по направлениям подготовки укрупнённых групп "Компьютерные и информационные науки", "Информатика и вычислительная техника", но будет полезно и студентам группы направлений "Математика и механика", а также всем желающим начать систематическое изучение математической логики.
4-е издание, переработанное и дополненное.
Смотри также Характеристики.
Яндекс.Маркет
Содержание
Предисловие
Начальные соглашения об обозначениях
Глава 1. Исчисления высказываний
Глава 2. Исчисления предикатов
Глава 3. Формальные аксиоматические теории
Глава 4. Метод резолюций для логики предикатов
Глава 5. Теория вычислимости
Глава 6. Исчисление Хоара для доказательства
корректности программ
Приложение А. Свойства секвенциального
исчисления предикатов и формальные
аксиоматические теории на его основе
Приложение Б. Указания к некоторым упражнениям
Литература
Предметный указатель
Начальные соглашения об обозначениях
Глава 1. Исчисления высказываний
Глава 2. Исчисления предикатов
Глава 3. Формальные аксиоматические теории
Глава 4. Метод резолюций для логики предикатов
Глава 5. Теория вычислимости
Глава 6. Исчисление Хоара для доказательства
корректности программ
Приложение А. Свойства секвенциального
исчисления предикатов и формальные
аксиоматические теории на его основе
Приложение Б. Указания к некоторым упражнениям
Литература
Предметный указатель
О книге
Автор(ы) | Герасимов Александр Сергеевич |
Издатель | Лань |
Переплет | Твердая глянцевая |
Год издания | 2014 |
Кол-во страниц | 416 |
ISBN | 978-5-8114-1666-0 |
Серия | Математика |
Размеры | 84x108/32 |
Обложка | твердый переплёт |
Язык издания | rus |
Математические науки - издательство "Лань"
Категория 805 р. - 1208 р.
Прикладная математика. Вычислительная математика - издательство "Лань" »
Математические науки
Категория 805 р. - 1208 р.