Электронный каталог

Электронный ресурс

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

В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а так же неклассических логик.Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

510.6(075.8)

основной = ЭБС Университетская библиотека
техника = техника : радиоэлектроника : информатика : прикладная информатика
книгообеспеченность = Книгообеспеченность:электронные издания
дисциплины = Естественнонаучный модуль : Базовая часть : ИКТ и математические методы обработки данных
дисциплины = Естественнонаучный модуль : Обязательная часть : ИКТ и математические методы обработки данных
доп.книгообеспеченность = Доп.книгообеспеченность: электронные издания
профили = Иностранный язык (английский) и Информационные технологии в образовании:Бак:ИМО
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Математические методы обработки данных
дисциплины = Модуль научно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы количественного и качественного анализа данных