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

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

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

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

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

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

от 25%

Подписываем

договор

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

Скидка 25% при заказе до 30.6.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.  Значення формул логіки предикатів.
  44.  Рівносильність формул логіки предикатів.
  45.  Здійсненність та загальнозначущість формул логіки предикатів.
  46.  Числення предикатів.
  47.  Ефективна обчислювальність. Загальні відомості.
  48.  Рекурсивні функції. Означення.
  49.  Машини Тьюринга. Машини Тьюринга. Неформальний опис.
  50.  Машини Тьюринга (МТ). Формальний опис. Застосовність. Приклад МТ. Теза Тьюринга.
  51.  Машини Тьюринга. Функції, які обчислені за Тьюрингом. Невирішеність деяких алгоритмічних проблем.
  52.  Нормальні алгоритми Маркова.




1. тематическим занятиям физической культурой и спортом пропаганды здорового образа жизни в молодежной сре
2. Економіка будівництва Зміст та задачі предмету Економіка будівництва Значення економічно
3. О БИЗНЕСЕ- Сборник 300 аудиокниг по бизнесу инвестированию психологии мотивации и саморазвитию на 10 DV
4. Исследование торговой панели г Краснодара
5. Принципы лечения ранних гестозов
6. тематизация и анализ материалов для курсового проектирования по технологии машиностроения
7. варианты. Под ред
8. тематическое анатомирования трупов он описал строение и функции тела человека Яркий пример влияния физики н
9. Архитектура станций в исторической части Москвы [1
10. Лекція 2- Фінансовоправові норми та фінансовоправові відносини План лекцій- Поняття і види фінан