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

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

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

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

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

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

от 25%

Подписываем

договор

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

Скидка 25% при заказе до 8.3.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 Создание элементов интерфейса
2. парные категории- единичное обшее Единичное это категория для обозначения неповторяющихся присущ
3. Люди напуганы хотя земли хватает для распределения всем и каждому они группируются в больших городах по.html
4. Лабораторна робота 6 Варіант 1 Завдання 1 Знайдіть рішення дифере
5. модуль СТАН ЕНЕРГОЗАБЕЗПЕЧЕННЯ ТА НАПРЯМКИ ЕНЕРГОЗБЕРЕЖЕННЯ В АГРАРНОПРОМИСЛОВОМУ КОМПЛЕКСІ УКРАЇНИ
6. Афж; ПпСЛРуворрссчивликгк230; Гсрлдпзмсндппвомо; Скрэзнэувч3джм
7. Свойства опухоли- автономный рост опухоли атипизм опухоли ~ новые свойства опухоли которые отл
8. Статистика для студентов 2 курса экономического факультета Предмет статистика
9. операция чревосечения с целью родоразрешения при невозможности родоразрешения через естесственные родовы
10. реферат дисертації на здобуття наукового ступеня кандидата економічних наук Тернопіль ~2

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