Элементы неклассических логик и моделей вычислений. Учебно-методическое пособие
Малышев Д. С., Мокеев Д. Б.
В настоящем учебно-методическом пособии представлен необходимый теоретический материал для решения ряда задач из различных разделов неклассических логик. Для самостоятельной работы студентов в него включено множество заданий разных типов и уровня сложности. Настоящее учебно-методическое пособие предназначено для студентов-бакалавров, обучающихся по направлениям подготовки «прикладная математика и информатика» и «фундаментальная информатика и информационные технологии». Рекомендуется при изучении дисциплины «математическая логика и теория алгоритмов».
Année:
2015
Editeur::
ННГУ
Langue:
russian
Pages:
34
Fichier:
PDF, 421 KB
IPFS:
,
russian, 2015