Сборник задач по математической логике и теории алгоритмов: Учебное...
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня...
ISBN: 978-5-906818-08-9
Издательство:
Алгоритм
Дата выхода: ноябрь 2016
Найденных опечаток пока нет
Добавить запись