---

1 тема (Алгебра высказываний)
1) Что называют высказыванием?
2) Что называют составным высказыванием?
3) Виды логических операций над высказываниями
4) Что такое таблица истинности?
5) Какая формула называется тавтологией, противоречием?
6) Что такое логическое следствие?
7) Необходимое/достаточное условие истинности
8) Связь между логическим следствием и противоречием

2 тема (Предикаты)
1) Что называют предикатом?
2) Что называют квантором?
3) Связь между квантором и операциями лог. И, лог. ИЛИ
4) Стандартные формы формул логики предикатов 1го порядка (пост- и префиксные)

3 тема (Множества)
1) Что такое множество?
2) Способы задания множеств
3) Основные операции над множествами
4) Какое множество называют универсальным?
5) Соотношение между множествами и составными высказываниями, диаграмма Эйлера и связь с картами Карно
6) Покрытие и разбиение множеств
7) Что такое булеан множества
8) Конституенты и совершенные формы представления множеств
9) Интервальные представления множеств

4 тема (Реляционные модели БД)
1) Декартово произведение множеств
2) Что такое отношения?
3) Что такое кортежи?
4) Реляционная модель предметной области, атрибут, домен, схема отношения
5) Сущности и связи между сущностями
6) Степень связи и класс принадлежности связи (обязательная/необязательная, 1 к M, M к 1, 1 к 1)
7) Формирование отношений
8) Что такое ключи?
9) Аномалии обновления
10) Функциональные зависимости
11) Декомпозиция отношения без потерь
12) Независимые декомпозиции
13) Третья нормальная форма отношений
14) Многозначные функциональные зависимости

5 тема (Дискретные преобразователи)
1) Элементарные булевские функции, использующиеся для построения дискретных преобразователей, и почему используются именно эти функции
2) Какие функции составляют минимальный базис?
3) Минимальные нормальные формы представления булевых функций
4) Пороговая логика

6 тема (Автоматы)
1) Математическая структура абстрактного конечного автомата
2) Виды автоматов (автомат Миля, автомат Мура, автомат без выхода, автономный автомат), диаграммы автономного автомата
3) Метод начала слов (префиксов) в распознавании языков

Предлагаю потихоньку собирать ответы в этой теме ;)