Куртова Л.Н. Основы математической логики

Учебное пособие. — Белгород: Изд-во НИУ БелГУ, 2018. — 85 с.Учебное пособие по курсу «Основы математической логики» для бакалавров направления подготовки 45.03.03 "Фундаментальная и прикладная лингвистика" представляет собой краткие теоретические сведения и примеры задач по математической логике и теории алгоритмов, практические задания и задания для контроля.Введение
Логика высказываний
Основные определения и понятия
Примеры решения типовых задач
Задачи для самостоятельной работыЛогика предикатов
Основные определения и понятия
Примеры решения типовых задач
Задачи для самостоятельной работыТеория алгоритмов
Основные определения и понятия
Примеры решения типовых задач
Задачи для самостоятельной работыВарианты контрольной работы
Список литературы