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