Математическая логика и теория алгоритмов

Задания на контрольные работы

• Построить граф для каждого из заданных автоматов (рекомендуется использовать VISIO). Установить, эквивалентны ли заданные автоматы, проверить на слове длиной 20

Курсовые работы

• Автомат з продажу кави (Розробка програми віртуального пристрію для продажу кави)

Методические указания и пособия

• Воздействие случайной вибрации при испытании аппаратуры программно-технического комплекса (Лабораторная работа № 6)
• Записи. Ознакомление с правилами оформления записи в программе (Лабораторная работа № 9)
• Испытание на электромагнитную совместимость аппаратуры программно-технического комплекса (Лабораторная работа № 5)
• Массивы. Изучение способов описания и особенностей работы одномерных и двумерных массивов (Лабораторная работа № 5)
• Модули. Изучение структуры и правил оформления модуля (Лабораторная работа № 10)
• Операторы цикла. Составление циклических программ на основе операторов цикла (Лабораторная работа № 4)
• Освоение методов расчетов надежности (Лабораторная работа № 1)
• Подпрограмма-процедура. Составление программ с использованием процедур (Лабораторная работа № 7)
• Создание модели объекта управления (Лабораторная работа № 3)
• Создание модели прикладного программного обеспечения (Лабораторная работа № 2)
• Создание сценария и контрольных примеров для верификации программного обеспечения программно-технического комплекса (Лабораторная работа № 4)
• Условные операторы. Изучение принципа действия условных операторов if и case (Лабораторная работа № 3)

Учебные пособия

• Математическая логика и теория алгоритмов: Учебное пособие

Экзаменационные вопросы и билеты

• Билеты № 1-32 к экзамену по дисциплине "Математическая логика и теория алгоритмов" (NP-полнота задач. Описание работы машины Тьюринга)