Элементы неклассических логик и моделей вычислений: Учебно-методическое пособие
Book information
Description
В настоящем учебно-методическом пособии представлен необходимый теоретический материал для решения ряда задач из различных разделов неклассических логик. Для самостоятельной работы студентов в него включено множество заданий разных типов и уровня сложности. Настоящее учебно-методическое пособие предназначено для студентов-бакалавров, обучающихся по направлениям подготовки «прикладная математика и информатика» и «фундаментальная информатика и информационные технологии». Рекомендуется при изучении дисциплины «математическая логика и теория алгоритмов».
Similar books
Некоторые элементы неклассических логик и лямбда-исчисления: Учебно-методическое пособие
2017 · PDF
Элементы неклассических логик и моделей вычислений: Учебно-методическое пособие
2015 · PDF
Некоторые элементы неклассических логик и лямбда-исчисления: Учебно-методическое пособие
2017 · ZIP
Сборник задач по дискретной математике. В 2-х ч. Часть 2. Практикум
2023 · DJVU
Лабораторная работа «Решение прикладных задач дискретной оптимизации»: учебно-методическое пособие
2023 · PDF
Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов: Учебно-методическое пособие
2011 · PDF
Задачи по дискретной математике (I семестр): Учебно-методическое пособие
Комбинаторные методы формирования границы эффективной разрешимости дискретных задач в семействе наследственных классов графов: Учебно-методическое пособие
2011 · ZIP