Купить электронную книгу: Лекции по математической логике и теории алгоритмов: учебное пособие
Купить книгу?
- 10,74 МБ
- Отзывов: пока нет ( + добавить свой )
- Год издания:2013 г.
- Издательство:Ярославль: ЯрГУ
- Формат книги:DJVU
- Жанр:Естественные науки
- Кол-во страниц:140
- Книгу купило:876 человек
- Автор:Белов Ю. А., Соколов В. А.
- Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».
Содержание:
Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература
Что еще прочитать?
Комментариев
войти с помощью vk
Создать аккаунт
Войти
Случайная книга