Математическая логика и теория алгоритмов, учебное пособие, Блатов И.А., Старожилова О.В., 2017

Математическая логика и теория алгоритмов, Учебное пособие, Блатов И.А., Старожилова О.В., 2017.

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно.





Классическая логика.
Современная логика развилась в точную науку, применяющую математические методы. Предметом исследования в логике являются человеческие рассуждения, а основная задача ее состоит в выявлении правильных способов рассуждений. При этом под рассуждением понимается переход от некоторых суждений, относящихся к определенному предмету или вопросу и называемых посылками, к суждению, называемому заключением и полученному таким путем, что любое текущее суждение является следствием предшествующих суждений.

Содержание.
Введение.   
Глава 1.Классическая логика.    
Глава 2.Логика высказываний.    
Контрольные вопросы.    
Глава 3.Формальные теории.    
Глава 4.Система аксиом исчисления высказываний.
Глава 5.Понятие вывода.
Задачи для самостоятельного решения.
Глава 6.Связь между АВ и ИВ.
Глава 7.Автоматическое доказательство теорем.
Глава 8.Теории первого порядка.
Глава 9.Понятие формулы логики предикатов.
Глава 10.Нормальные формы ЛП.
Глава 11.Аксиомы и правила вывода исчисления предикатов.
Глава 12.Неклассические логики.
Глава 13.Многозначные логики.
Глава 14.Общие сведения об алгоритмах.
Глава 15.Рекурсивные функции.
Глава 16.Сложность алгоритмов.    
Задачи для самостоятельного решения.    
Глава 17.Машины Тьюринга-Поста.    
Глоссарий.    
Список литературы.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика и теория алгоритмов, учебное пособие, Блатов И.А., Старожилова О.В., 2017 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: логика :: теории алгоритмов :: Блатов :: Старожилова