Вопросы к экзамену по элементам математической логики

Министерство образования Пензенской области

Государственное автономное профессиональное образовательное учреждение

Пензенской области

«Кузнецкий колледж электронных технологий»

УТВЕРЖДАЮ

Зам. директора

______________________/Т.А. Хархун/

«____» ________________2018 г.

Пакет экзаменационных материалов

для проведения промежуточной аттестации

по дисциплине «Элементы математической логики»

(Математический и общий естественнонаучный цикл)

для студентов 2 курса

специальности 09.02.03 «Программирование в компьютерных системах»

Составитель:

Преподаватель Коткова Н.Г.

СОГЛАСОВАНО:

Председатель МЦК

«______________________»

_________________/Янгутова Г.Н./

«____» ___________2018 г.

Перечень вопросов при подготовке к экзамену

1. Основные понятия теории множеств

2. Операции над множествами.

3. Декартово произведение множеств

4. Соответствия. Отображение функций. Суперпозиция функций

5. Виды соответствий. Характеристики соответствий.

6. Бинарные отношения. Виды бинарных отношений

7. Свойства бинарных отношений. Отношения эквивалентности. Отношения порядка.

8. Высказывания, виды высказываний и операции над ними

9. Логические операции. Формулы и законы логики. Равносильные преобразования

10. Функции алгебры логики. Булевы функции

11. Составление таблицы истинности булевых функций

12. Разложение булевой функции по переменной

13. Совершенные нормальные формы. Алгоритмы нахождения СДНФ и СКНФ

14. Минимизация булевых функций различными способами

15. Нахождение МДНФ и МКНФ для булевых функций с помощью карт Карно

16. Полином Жегалкина. Метод неопределенных коэффициентов

17. Функциональная замкнутость. Полнота системы функций. Критерий Поста

18. Операции над предикатами

19. Предикаты. Кванторы

20. Индукция, дедукция. Метод математической индукции