У вас вопросы?
У нас ответы:) SamZan.net

і Відношення порядку

Работа добавлена на сайт samzan.net: 2015-07-05

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 3.5.2025

Питання до іспиту ТМтМЛ ( ПМ )

  1.  Множини та способи їх завдання. Операції над множинами.
  2.  Відповідності (означення та приклади).
  3.  Відображення та функції.
  4.  Відношення (означення та приклади).
  5.  Властивості відношень.
  6.  Відношення еквівалентності.
  7.  Відношення порядку. Відношення толерантності.
  8.  Скінчені та нескінчені множини. Зліченні та незліченні множини.
  9.  Потужність множин.
  10.  Еквівалентність множин. Теорема Кантора-Бернштейна.
  11.  Частково впорядковані множини. Відображення, які зберігають порядок.
  12.  Порядкові типи. Впорядковані множини.
  13.  Повністю впорядковані множини. Трансфінітні числа.
  14.  Алгебра множин.
  15.  Алгебра логіки. Логічні функції.
  16.  Логічні функції та приклади.
  17.  Еквівалентні перетворення в булевій алгебрі функцій.
  18.  Розкладання функції за змінними. Досконала диз’юнктивна нормальна форма.
  19.  Булева алгебра функцій. Основні властивості булевих операцій.
  20.  Еквівалентні перетворення в булевій алгебрі функцій.
  21.  Двоїстість. Принцип двоїстості.
  22.  Досконала кон'юктивна нормальна форма.
  23.  Проблема мінімізації булевих функцій.
  24.  Повні системи.
  25.  Поліноми Жегалкіна.
  26.  Замикання та замкнені класи.
  27.  Найважливіші замкнені класи.
  28.  Теорема про функціональну повноту та її висновки.
  29.  Алгебра висловлень. Висловлення. Логічні зв’язки. Формули логіки висловлень.
  30.  Алгебра висловлень. Рівносильність формул. Основні рівносильності.
  31.  Алгебра висловлень. Тотожно-істині формули. Правильні міркування.
  32.  Аксіоматичні теорії.
  33.  Числення висловлень: означення, властивості.
  34.  Числення висловлень: повнота та несуперечність.
  35.  Логіка предикатів: предикати, квантори.
  36.  Формули логіки предикатів.
  37.  Значення формул логіки предикатів.
  38.  Рівносильність формул логіки предикатів.
  39.  Здійсненність та загальнозначущість формул логіки предикатів.
  40.  Числення предикатів.
  41.  Ефективна обчислювальність. Загальні відомості.
  42.  Рекурсивні функції. Означення.
  43.  Машини Тьюринга. Означення.




1. Структурно-временной анализ урока по физической культуре
2. ГО ВЕКА Экономическая интеграция ~ это качественно новый этап интернационализации хозяйственной жизни
3. модульным принципом в программировании
4. рефератів- Первісні й примітивні форми релігійного життя- тотемізм табу магія фетишизм анімізм
5. ЗАПИСКА. Філософія освіти ~ це сфера філософського знання предметом якого є освіта
6. РЕФЕРАТ дисертації на здобуття наукового ступеня кандидата медичних наук Хар
7. хозяйственные товарищества
8. 10189 Положение об организации работы по охране труда в учреждении образования
9. Финансы организации для учащихся 3го курса специальности Коммерческая деятельность 20122013 учебный
10. РРТМоторс Филиал РРТМоторс ЮгоЗапад Юр

Материалы собраны группой SamZan и находятся в свободном доступе