Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, С.В. - Математическая логика и теория алгоритмов
Судоплатов, С.В. - Математическая логика и теория алгоритмов
Нет экз.
Электронный ресурс
Автор: Судоплатов, С.В.
Математическая логика и теория алгоритмов
Серия: Учебники НГТУ
Издательство: Новосибирский государственный технический университет, 2012 г.
ISBN 978-5-7782-1838-3
Автор: Судоплатов, С.В.
Математическая логика и теория алгоритмов
Серия: Учебники НГТУ
Издательство: Новосибирский государственный технический университет, 2012 г.
ISBN 978-5-7782-1838-3
На полку
Электронный ресурс
Судоплатов, С.В.
Математическая логика и теория алгоритмов / С.В. Судоплатов ; Овчинникова Е. В. – 3-е изд. – Новосибирск : Новосибирский государственный технический университет, 2012. – 254 с. – (Учебники НГТУ) . – URL: http://biblioclub.ru/index.php?page=book&id=135676 . – На рус. яз. – ISBN 978-5-7782-1838-3.
В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а так же неклассических логик.Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.
Судоплатов, С.В.
Математическая логика и теория алгоритмов / С.В. Судоплатов ; Овчинникова Е. В. – 3-е изд. – Новосибирск : Новосибирский государственный технический университет, 2012. – 254 с. – (Учебники НГТУ) . – URL: http://biblioclub.ru/index.php?page=book&id=135676 . – На рус. яз. – ISBN 978-5-7782-1838-3.
В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а так же неклассических логик.Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.