Математическая логика и теория алгоритмов Изд. 4, перераб. и доп
Гуц А.К.
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая...
ISBN: 978-5-9519-3748-3
Издательство:
Ленанд
Дата выхода: ноябрь 2022
Найденных опечаток пока нет
Добавить запись