Методические указания к выполнению практических работ по дисциплине для студентов специальности 230102 «Автоматизированные системы обработки информации и управления»
Кафедра автоматизации обработки информации
Библиографическая запись:
Оглавление (содержание)
Практическое занятие No 1 «Формулы алгебры высказываний» ... 3
Практическое занятие No 2 «Равносильные преобразования формул алгебры высказываний»... 8
Практическое занятие No 3 «Нормальные формы формул»... 10
Практическое занятие No 4 «Логические рассуждения» .... 12
Практическое занятие No 5 «Формулы логики предикатов» ... 16
Практическое занятие No 6 «Булевы функции»... 20
Практическое занятие No 7 «Частично рекурсивные функции» ... 24
Практическое занятие No 8 «Машины Тьюринга» ...... 30
Рекомендуемая литература ... 36
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Информационные системы и технологии) Очная форма обучения, план набора 2013 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2018 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Информационные системы и технологии) Очная форма обучения, план набора 2014 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2017 г. План в архиве
Математическая логика и теория алгоритмов
09.03.02 Информационные системы и технологии (Аналитические информационные системы) Очная форма обучения, план набора 2015 г. План в архиве
Математическая логика и теория алгоритмов
09.03.04 Программная инженерия (Программная инженерия) Заочная форма обучения, план набора 2012 г. План в архиве
Математическая логика и теория алгоритмов
09.03.03 Прикладная информатика (Прикладная информатика в экономике) Заочная форма обучения, план набора 2018 г. План в архиве