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