Название: Курс математической логики и теории вычислимости Автор: Герасимов А.С. Издательство: Лань Год: 2014 ISBN: 978-5-8114-1666-0 Формат: pdf Страниц: 410 Размер: 15,3 Мб Язык: Русский
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства. Рассмотрены основные формальные аксиоматические теории: элементарная арифметика и теория множеств Цермело–Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма (машины Тьюринга, нормальные алгоритмы Маркова, лямбда-исчисление, частично рекурсивные функции) и доказана неразрешимость ряда проблем, среди которых проблема остановки машин Тьюринга, проблема равенства для полугрупп, проблемы общезначимости и выводимости для исчисления предикатов.
Элементы математической логики и теории множеств Название: Элементы математической логики и теории множеств Автор: Пензов Ю.Е. Издательство: Саратовский университет Год: 1968 Формат: pdf Страниц:...
Математическая логика и теория алгоритмов (2019) Название: Математическая логика и теория алгоритмов Автор(ы): Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. Издательство: СФУ Год: 2019 Страниц:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Математическая логика и теория алгоритмов (2013) Название: Математическая логика и теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2013 Страниц: 418 Формат: pdf...
Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Вводный курс математической логики (2004) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: М.: Физматлит Год: 2004 Страниц: 128...
Теория алгоритмов (2016) Название: Теория алгоритмов Автор: Игошин В.И. Издательство: М.: Инфра-М Год: 2016 Страниц: 318 ISBN: 978-5-16-005205-2 Формат: PDF Размер: 11.9...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Курс математической логики и теории вычислимости 
