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

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

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

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

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

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

от 25%

Подписываем

договор

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

Скидка 25% при заказе до 7.4.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. Сервис специализация Автосервис I Проектирование центров автосервиса
4. тема счетов бухучета и структура счетов 10
5. Реферат- Бухгалтерский учет государственной поддержки и целевого финансирования на сельскохозяйственных предприятиях.html
6. Fiction und k~nnte doch Relit~t werden- Der umtriebige USUnternehmer Elon Musk ht mit Hyperloop eine lterntive f~r die geplnte SchnellzugTrsse von Sn Frncisco nch Los ngeles vorgestellt
7. 1921 гг в связи с зарождением и формированием нового советского типа права отсутствием опыта в области нор
8. Клуб Сократ отчёт о деятельности клуба за 2013 год Руководитель клуба Сократ Негодина
9. Бідність як соціальна проблема
10. CQ UT Contest The Interntionl United Teenger Contest проводятся с 1993 года ежегодно в третью субботу полных выходных января и явля

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