Автор: Блатов И.А., Старожилова О.В.
Название: Математическая логика и теория алгоритмов
Издательство: Самара: ПГУТИ
Год: 2017
Язык: Русский
Формат: djvu
Размер: 30,3 Мб
Кол-во страниц: 214

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