Сборник задач по математической логике и теории алгоритмов. Учебное пособие
Автор:Игошин В.И. Год: 2017 Издание:Курс Страниц: [не указано] ISBN: 9785906818089 Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V....
