Экзаменационные билеты "Элементы математической логики" специальность 09. 02. 03 «Программирование в компьютерных системах»
ПРИМЕР БИЛЕТ 1: (всего 30 билетов)
1. Основные свойства алгоритмов.
2. Множество. Пустое множество (определение).
Решите задачу. Какие из перечисленных соотношений истинны:
а) ; б) ?
3. Решите задачу. Приведите булеву функцию к совершенной дизъюнктивной нормальной форме.
Содержание дисциплины:
Введение
Раздел 1. Элементы теории множеств
Тема 1.1. Основные понятия теории множеств. Операции над множествами
Тема 1.2. Отношения. Бинарные отношения и их свойств. Подстановки.
Раздел 2. Элементы алгебры высказываний.
Тема 2.1. Простые и сложные высказывания. Основные логические операции над высказываниями.
Тема 2.2. Дизъюнктивная и конъюнктивная нормальные формы
Тема 2.3. Законы логики. Равносильные преобразования
Раздел 3. Булевы функции
Тема 3.1. Функции алгебры логики
Тема 3.2. Полнота множества функций. Важнейшие замкнутые классы.
Тема 3.3. Элементы схемотехники. Логические схемы.
Раздел 4. Основы алгебры предикатов.
Тема 4.1. Понятие предиката. Логические операции над предикатами.
Тема 4.2. Кванторы. Кванторные операции над предикатами.
Раздел 5. Основы теории алгоритмов.
Тема 5.1. Понятие алгоритма. Свойства алгоритмов.
Тема 5.2. Формы представления алгоритма. Основные алгоритмические конструкции.
Разработала: Капитонова Татьяна Сергеевна, ГБОУ СПО КС № 54
|
УМК школа