Добро пожаловать!

Вход на сайт

» » » » Лекции по математической логике и теории алгоритмов. Белов Ю.А., Соколов В.А.
Добро пожаловать на сайт Е-book книги. На сайте вы можете найти "Книги" и "Журналы" в электронном виде. На сайте есть как "Художественные" так и "Документальные" электронные книги в популярных форматах:fb2, txt, rtf, pdf, djvu.

Лекции по математической логике и теории алгоритмов. Белов Ю.А., Соколов В.А.

Автор: natagu Дата: 28-07-2018, 13:04 Категория: Книги по информатике, Книги по математике

Лекции по математической логике и теории алгоритмов. Белов Ю.А., Соколов В.А.

Существенные приложения теории алгоритмов к настоящему времени имеются фактически во всех областях математики, где встречаются алгоритмические проблемы. Для каждой теории формулируется проблема разрешения множества всех истинных или доказуемых предложений этой теории относительно множества всех ее предложений. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».


Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю.А., Соколов В.А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
ISBN: 978-5-8397-0908-9
Язык: Русский
Формат: djvu
Размер: 10,74 Мб
Качество: хорошее, текстовый слой, оглавление.

Скачать Лекции по математической логике и теории алгоритмов

Просмотров: 34 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.