Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, Сергей Владимирович - Математическая логика и теория алгоритмов
Судоплатов, Сергей Владимирович - Математическая логика и теория алгоритмов
Нет экз.
Электронный ресурс
Автор: Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов : Учебник
Серия: Учебники НГТУ
Издательство: НГТУ, 2012 г.
ISBN 978-5-7782-1838-3
Автор: Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов : Учебник
Серия: Учебники НГТУ
Издательство: НГТУ, 2012 г.
ISBN 978-5-7782-1838-3
Электронный ресурс
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Электронный ресурс] : Учебник / С. В. Судоплатов, Е. В. Овчинникова . - 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)
основной = ЭБС Университетская библиотека
техника = техника : радиоэлектроника : информатика : прикладная информатика
книгообеспеченность = Книгообеспеченность:электронные издания
дисциплины = Естественнонаучный модуль : Базовая часть : ИКТ и математические методы обработки данных
дисциплины = Естественнонаучный модуль : Обязательная часть : ИКТ и математические методы обработки данных
доп.книгообеспеченность = Доп.книгообеспеченность: электронные издания
профили = Иностранный язык (английский) и Информационные технологии в образовании:Бак:ИМО
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Математические методы обработки данных
дисциплины = Модуль научно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы количественного и качественного анализа данных
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Электронный ресурс] : Учебник / С. В. Судоплатов, Е. В. Овчинникова . - 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)
основной = ЭБС Университетская библиотека
техника = техника : радиоэлектроника : информатика : прикладная информатика
книгообеспеченность = Книгообеспеченность:электронные издания
дисциплины = Естественнонаучный модуль : Базовая часть : ИКТ и математические методы обработки данных
дисциплины = Естественнонаучный модуль : Обязательная часть : ИКТ и математические методы обработки данных
доп.книгообеспеченность = Доп.книгообеспеченность: электронные издания
профили = Иностранный язык (английский) и Информационные технологии в образовании:Бак:ИМО
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Математические методы обработки данных
дисциплины = Модуль научно-исследовательской и проектной деятельности : Обязательная часть : Методы математической обработки данных
дисциплины = Модуль учебно-исследовательской и проектной деятельности : Обязательная часть : Методы количественного и качественного анализа данных