Методические указания по выполнению самостоятельной работы по дисциплине для студентов специальности 230102 «Автоматизированные системы обработки информации и управления»
Кафедра автоматизации обработки информации
Библиографическая запись:
Оглавление (содержание)
ВВЕДЕНИЕ... 3
1. ОБЩАЯ ХАРАКТЕРИСТИКА САМОСТОЯТЕЛЬНОЙ РАБОТЫ ПО ДИСЦИПЛИНЕ... 3
2. СТРУКТУРА САМОСТОЯТЕЛЬНОЙ РАБОТЫ...3
3. МЕТОДИКА РЕАЛИЗАЦИИ САМОСТОЯТЕЛЬНОЙ РАБОТЫ ПО ТЕОРЕТИЧЕСКОМУ КУРСУ...4
4. СОДЕРЖАНИЕ РАЗДЕЛОВ И ТЕМ ДИСЦИПЛИНЫ ДЛЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ... 4
4.2 Нормальные формы формул... 8
4.3 Логические рассуждения.... 11
4.4 Логика предикатов.... 13
4.5 Основы теории алгоритмов.... 15
ОЦЕНКА ВЫПОЛНЕНИЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТА.... 19
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Информационные системы и технологии) Очная форма обучения, план набора 2013 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Информационные системы и технологии) Очная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2017 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Программная инженерия) Заочная форма обучения, план набора 2012 г. План в архиве
Математическая логика и теория алгоритмов
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Заочная форма обучения, план набора 2018 г. План в архиве