RUSSIAN

Некоторые элементы неклассических логик и лямбда-исчисления: Учебно-методическое пособие

By Малышев Д. С. , Мокеев Д. Б.

Book information

Year
2017
Language
russian
Format
ZIP
Filesize
1 MB (1113827 bytes)
Pages
0\0
Time added
2021-07-28 23:51:23

Description

В настоящем учебно-методическом пособии представлен необходимый теоретический материал для решения ряда задач из различных разделов неклассических логик. Для самостоятельной работы студентов в него включено множество заданий разных типов и уровня сложности, а так же примеры решений основных типов задач. Настоящее учебно-методическое пособие предназначено для студентов-бакалавров, обучающихся по направлениям подготовки «прикладная математика и информатика» и «фундаментальная информатика и информационные технологии». Рекомендуется при изучении дисциплины «математическая логика и теория алгоритмов».

Similar books