ВУЗ:
Составители:
Рубрика:
Б. Практическая часть.
1) Теория множеств [36]. №№ 4, 5.4, 7.5, 9.9, 11.5, 12.5, 12.6, 14.3, 16.6
2) Графики, соответствия, отношения [37] №№ 17.5, 18.3, 20(рис. 17 и рис.18),
21з, 23д, 24.2, 26.3, 27.5
3) Решетки [38] №№ 33.2. 34 (рис. 26(е,ж)), 36.5, 37в, 38
4) Математическая логика [39] №№ 1д, 4, 5в, 7е, 9б, 13г, 14г, 15н, 16д, 17а, 19ж,
21е, 23г
5) Предикаты [40] №№ 25к, 27б, 29г, 32б, 34, 35г, 38б
6) Автоматы [41] №№ 1.18, 1.19, 4.5, 7.3
Вопросы для экзамена (зачета)
1. Понятие множества. Парадоксы. Способы задания множеств.
Разновидности множеств. Свойства отношения включения
2. Основные операции над множествами. Диаграмма Эйлера_Венна
3. Основные законы алгебры множеств, их использование
4. Решение уравнений алгебры множеств с одним неизвестным
5. Графики, композиция графиков, понятие соответствия
6. Понятие соответствия, Свойства соответствий
7. Отношения, операции над отношениями, свойства отношений.
8. Частично-упорядоченное множество, их экстремальные элементы. Понятие
решетки
9. Понятие алгебры. Алгебраическое представление решеток. Основные
законы алгебры решеток, Разновидности решеток.
10. Алгебра высказываний. Операции логики высказываний, приоритетность
операций. Противоречие и тавтологий.
11. Основные равносильности алгебры высказываний, их толкование.
12. Нормальные формы представления высказываний
13. Преобразование высказываний от нормальных форм к совершенным
нормальным формам.
14. Преобразование высказываний от СДНФ к СКНФ и наоборот.
15. Минимизация сложных высказываний. Методы минимизации.
16. Алгебра предикатов. Понятие предикатов, кванторы, операции
навешивания кванторов. Примеры, их словесное толкование.
17. Основные равносильности для предикатов. Их словесное толкование на
примерах.
18. Понятие
автомата. Описание автоматов. Законы функционирования
автоматов.
19. Преобразование автомата Мили к эквивалентному автомату Мура.
20. Преобразование автомата Мура к эквивалентному автомату Мили.
21. Минимизация автоматов
22. Распознающие автоматы.
Б. Практическая часть.
1) Теория множеств [36]. №№ 4, 5.4, 7.5, 9.9, 11.5, 12.5, 12.6, 14.3, 16.6
2) Графики, соответствия, отношения [37] №№ 17.5, 18.3, 20(рис. 17 и рис.18),
21з, 23д, 24.2, 26.3, 27.5
3) Решетки [38] №№ 33.2. 34 (рис. 26(е,ж)), 36.5, 37в, 38
4) Математическая логика [39] №№ 1д, 4, 5в, 7е, 9б, 13г, 14г, 15н, 16д, 17а, 19ж,
21е, 23г
5) Предикаты [40] №№ 25к, 27б, 29г, 32б, 34, 35г, 38б
6) Автоматы [41] №№ 1.18, 1.19, 4.5, 7.3
Вопросы для экзамена (зачета)
1. Понятие множества. Парадоксы. Способы задания множеств.
Разновидности множеств. Свойства отношения включения
2. Основные операции над множествами. Диаграмма Эйлера_Венна
3. Основные законы алгебры множеств, их использование
4. Решение уравнений алгебры множеств с одним неизвестным
5. Графики, композиция графиков, понятие соответствия
6. Понятие соответствия, Свойства соответствий
7. Отношения, операции над отношениями, свойства отношений.
8. Частично-упорядоченное множество, их экстремальные элементы. Понятие
решетки
9. Понятие алгебры. Алгебраическое представление решеток. Основные
законы алгебры решеток, Разновидности решеток.
10. Алгебра высказываний. Операции логики высказываний, приоритетность
операций. Противоречие и тавтологий.
11. Основные равносильности алгебры высказываний, их толкование.
12. Нормальные формы представления высказываний
13. Преобразование высказываний от нормальных форм к совершенным
нормальным формам.
14. Преобразование высказываний от СДНФ к СКНФ и наоборот.
15. Минимизация сложных высказываний. Методы минимизации.
16. Алгебра предикатов. Понятие предикатов, кванторы, операции
навешивания кванторов. Примеры, их словесное толкование.
17. Основные равносильности для предикатов. Их словесное толкование на
примерах.
18. Понятие автомата. Описание автоматов. Законы функционирования
автоматов.
19. Преобразование автомата Мили к эквивалентному автомату Мура.
20. Преобразование автомата Мура к эквивалентному автомату Мили.
21. Минимизация автоматов
22. Распознающие автоматы.
