Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».
Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю. А., Соколов В. А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
Формат: DJVU
Размер: 10,74 МБ
ISBN: 978-5-8397-0908-9
Качество: Отличное
Содержание:
Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература
Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю. А., Соколов В. А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
Формат: DJVU
Размер: 10,74 МБ
ISBN: 978-5-8397-0908-9
Качество: Отличное
Содержание:
Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература
Скачать Лекции по математической логике и теории алгоритмов: учебное пособие
Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.
Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.
Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.
Для просмотра скрытого текста необходимо зарегистрироваться или войти на сайт.