ВУЗ:
Составители:
Рубрика:
Нормальные формы представления высказываний. Преобразование
высказываний от нормальных форм к совершенным нормальным формам.
Преобразование высказываний от СДНФ к СКНФ и наоборот. Минимизация
сложных высказываний. Методы минимизации. Переключательные (булевы)
функции (ПФ). Способы задания ПФ, разложения ПФ, неполностью
определенные ПФ, минимизация ПФ, теорема о функциональной полноте,
примеры функционально-полных базисов. Разрешимость класса формул
(наличие нормальной формы)
5. ОСНОВЫ ТЕОРИИ АВТОМАТОВ [7, с. 2-10].
Понятие автомата. Описание
автоматов. Законы функционирования автоматов. Преобразование автомата
Мили к эквивалентному автомату Мура. Преобразование автомата Мура к
эквивалентному автомату Мили. Минимизация автоматов. Распознающие
автоматы.
6. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ [1]
Понятие алгоритма, свойства алгоритмов, алгоритмически разрешимые и
неразрешимые проблемы. Схемы алгоритмов установления разрешимости [11,
с. 45-48]. Схемы потоков данных и алгоритмов.
7. КОМБИНАТОРИКА [7,8]
Комбинаторные конфигурации (Объекты), и их общая характеристика.
Аксиоматические правила суммы и произведения [7, c. 134-135; 8, c. 358-360; 10, c.
171-173]. Основные свойства комбинаторных объектов: подмножества множеств,
размещения, перестановки, сочетания, сочетания с повторениями, n-мерного куба,
разбиения [7, c. 135-143; 10, c. 173-188]. Биномиальные коэффициенты, их свойства.
Основные тождества для сочетаний. Бином Ньютона, треугольник Паскаля [7, c. 144-
147; 16, c. 249-259].
ИНДИВИДУАЛЬНЫЕ ЗАДАНИЯ ДЛЯ КОНТРОЛЬНОЙ РАБОТЫ
Каждый студент в течение семестра должен выполнить соответствующий
вариант задания, оформить в виде контрольной работы по курсу в соответствии со
стандартами оформления печатных работ (см. в конце текста). В работе необходимо
привести не только ответ, но и отразить процесс вычислений. Контрольная работа
должна быть сдана на кафедру (отправлена по почте либо
по электронной почте по
адресу, приведенному ниже) не позднее, чем за 30 дней до начала сессии. Номер
варианта определяется в зависимости от первой буквы фамилии студента.
Контрольная работа состоит из двух частей - теоретической и практической. Номер
теоретического вопроса из перечня вопросов для экзамена определяется как частное
от деления последних двух цифр
зачетной книжки +1.
Курс состоит из двух частей, изучаемых в разных семестрах. Первая часть
выполняется в IV семестре, вторая - в V семестре.
Для выполнения контрольных работ используются книги и методические
Нормальные формы представления высказываний. Преобразование
высказываний от нормальных форм к совершенным нормальным формам.
Преобразование высказываний от СДНФ к СКНФ и наоборот. Минимизация
сложных высказываний. Методы минимизации. Переключательные (булевы)
функции (ПФ). Способы задания ПФ, разложения ПФ, неполностью
определенные ПФ, минимизация ПФ, теорема о функциональной полноте,
примеры функционально-полных базисов. Разрешимость класса формул
(наличие нормальной формы)
5. ОСНОВЫ ТЕОРИИ АВТОМАТОВ [7, с. 2-10]. Понятие автомата. Описание
автоматов. Законы функционирования автоматов. Преобразование автомата
Мили к эквивалентному автомату Мура. Преобразование автомата Мура к
эквивалентному автомату Мили. Минимизация автоматов. Распознающие
автоматы.
6. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ [1]
Понятие алгоритма, свойства алгоритмов, алгоритмически разрешимые и
неразрешимые проблемы. Схемы алгоритмов установления разрешимости [11,
с. 45-48]. Схемы потоков данных и алгоритмов.
7. КОМБИНАТОРИКА [7,8]
Комбинаторные конфигурации (Объекты), и их общая характеристика.
Аксиоматические правила суммы и произведения [7, c. 134-135; 8, c. 358-360; 10, c.
171-173]. Основные свойства комбинаторных объектов: подмножества множеств,
размещения, перестановки, сочетания, сочетания с повторениями, n-мерного куба,
разбиения [7, c. 135-143; 10, c. 173-188]. Биномиальные коэффициенты, их свойства.
Основные тождества для сочетаний. Бином Ньютона, треугольник Паскаля [7, c. 144-
147; 16, c. 249-259].
ИНДИВИДУАЛЬНЫЕ ЗАДАНИЯ ДЛЯ КОНТРОЛЬНОЙ РАБОТЫ
Каждый студент в течение семестра должен выполнить соответствующий
вариант задания, оформить в виде контрольной работы по курсу в соответствии со
стандартами оформления печатных работ (см. в конце текста). В работе необходимо
привести не только ответ, но и отразить процесс вычислений. Контрольная работа
должна быть сдана на кафедру (отправлена по почте либо по электронной почте по
адресу, приведенному ниже) не позднее, чем за 30 дней до начала сессии. Номер
варианта определяется в зависимости от первой буквы фамилии студента.
Контрольная работа состоит из двух частей - теоретической и практической. Номер
теоретического вопроса из перечня вопросов для экзамена определяется как частное
от деления последних двух цифр зачетной книжки +1.
Курс состоит из двух частей, изучаемых в разных семестрах. Первая часть
выполняется в IV семестре, вторая - в V семестре.
Для выполнения контрольных работ используются книги и методические
