Лекции по математической логике и теории алгоритмов (Белов Ю.А., Соколов В.А.)КНИГИ » НАУКА И УЧЕБА
Название: Лекции по математической логике и теории алгоритмов: учебное пособие Автор: Белов Ю.А., Соколов В.А. Издательство: Ярославль: ЯрГУ Год: 2013 Страниц: 140 ISBN: 978-5-8397-0908-9 Язык: Русский Формат: djvu Размер: 10,74 Мб Качество: хорошее, текстовый слой, оглавление.
Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Блатов И. А. Год: 2017 Формат: pdf Издательство: Изд-во ПГУТИ Страниц: 214 Для сайта:...
Лекции и практикум по математической логике Название: Лекции и практикум по математической логике Автор: Зарипова Э.Р., Маркова Е.В. Издательство: Российский университет дружбы народов Год:...
Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Навигация
Вход на сайт
Реклама
Лекции по математической логике и теории алгоритмов (Белов Ю.А., Соколов В.А.) 
