і Відношення порядку
Работа добавлена на сайт samzan.net: 2015-07-10
Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
от 25%
Подписываем
договор
Питання до іспиту ТМтМЛ ( ПМ )
- Множини та способи їх завдання. Операції над множинами.
- Вектори та прямі добутки.
- Відповідності (означення та приклади).
- Відображення та функції.
- Відношення (означення та приклади).
- Властивості відношень.
- Відношення еквівалентності.
- Відношення порядку. Відношення толерантності.
- Скінчені та нескінчені множини. Зліченні та незліченні множини.
- Потужність множин.
- Еквівалентність множин. Теорема Кантора-Бернштейна.
- Частково впорядковані множини. Відображення, які зберігають порядок.
- Порядкові типи. Впорядковані множини.
- Повністю впорядковані множини. Трансфінітні числа.
- Алгебра множин. Основні поняття.
- Алгебра множин. Основні тотожності.
- Алгебри. Властивості бінарних алгебраїчних операцій.
- Алгебраїчні системи. Гратки.
- Алгебра логіки. Логічні функції.
- Логічні функції та приклади.
- Суперпозиції та формули в алгебрі логіки.
- Еквівалентні перетворення в булевій алгебрі функцій.
- Розкладання функції за змінними. Досконала диз’юнктивна нормальна форма.
- Приведення до диз'юктивної нормальної форми.
- Булева алгебра функцій. Основні властивості булевих операцій.
- Еквівалентні перетворення в булевій алгебрі функцій.
- Двоїстість. Принцип двоїстості.
- Досконала кон'юктивна нормальна форма.
- Проблема мінімізації булевих функцій.
- Повні системи.
- Поліноми Жегалкіна.
- Замикання та замкнені класи.
- Найважливіші замкнені класи.
- Теорема про функціональну повноту та її висновки.
- Алгебра висловлень. Висловлення. Логічні зв’язки. Формули логіки висловлень.
- Алгебра висловлень. Рівносильність формул. Основні рівносильності.
- Алгебра висловлень. Тотожно-істині формули. Правильні міркування.
- Аксіоматичні теорії.
- Числення висловлень: означення, властивості.
- Числення висловлень: повнота та несуперечність.
- Логіка предикатів: предикати, квантори.
- Формули логіки предикатів.
- Значення формул логіки предикатів.
- Рівносильність формул логіки предикатів.
- Здійсненність та загальнозначущість формул логіки предикатів.
- Числення предикатів.
- Ефективна обчислювальність. Загальні відомості.
- Рекурсивні функції. Означення.
- Машини Тьюринга. Машини Тьюринга. Неформальний опис.
- Машини Тьюринга (МТ). Формальний опис. Застосовність. Приклад МТ. Теза Тьюринга.
- Машини Тьюринга. Функції, які обчислені за Тьюрингом. Невирішеність деяких алгоритмічних проблем.
- Нормальні алгоритми Маркова.