Название: Сборник задач по математической логике и теории алгоритмов
Автор: В. И. Игошин
Издательство: ИНФРА-М
ISBN: 978-5-906818-08-9
Серия: Бакалавр. Академический курс
Год: 2019
Формат: PDF
Страниц: 393
Размер: 14.8 MB
Язык: Русский

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических вузов, обучающихся как на уровне бакалавриата, так и на уровне магистратуры по направлениям Математика, Информатика, Прикладная математика и информатика, Математика и компьютерные науки, Бизнес-информатика, Математик-педагог, Учитель математики.