Личный кабинет
Подробное описание документа
Судоплатов С. В.
Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.:
В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а также неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
