Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Вопросы экзамена по математике

ПИвГМУ–2, IV семестр

1.  Высказывания и логические операции над ними

2.  Формулы алгебры высказываний. Таблицы истинности

3.  Классификация формул алгебры высказываний: тождественно истинные, выполнимые, опровержимые, тождественно ложные

4.  Тавтологии алгебры высказываний. Тавтологические импликации

5.  Тавтологии алгебры высказываний. Тавтологические эквиваленции

6.  Основные правила получения тавтологий (правило заключений, подстановки)

7.  Логическое следование. Признак логического следования. Свойства логического следования

8.  Правила логических умозаключений (16 правил)

9.  Логическая равносильность. Признак равносильности формул. Связь между отношениями логического следования и равносильности

10.  Основные равносильности алгебры высказываний. Равносильные преобразования формул. Свойства равносильных формул

11.  Двойственные формулы алгебры высказываний. Признак двойственности формулы. Закон двойственности

12.  Элементарные конъюнкции и дизъюнкции

13.  Нормальные формы

14.  Совершенные нормальные формы. Правило отыскания СДНФ, СКНФ с помощью равносильных преобразований формулы

15.  Алгоритм отыскания СДНФ, СКНФ с помощью таблицы истинности

16.  Структура математических теорем. Прямая и обратная, противоположная и обратная противоположной теоремы

17.  Методы доказательства математических теорем

18.  Булевы функции от одного и двух аргументов

НЕ нашли? Не то? Что вы ищете?

19.  Свойства дизъюнкции, конъюнкции, отрицания. Свойства импликации, эквиваленции, отрицания. Теорема о выражении одних булевых функций двух аргументов через другие

20.  Булевы функции от n аргументов. Лемма о разложении функций по переменной. Теорема о представлении булевых функций через дизъюнкцию, конъюнкцию, отрицание

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.  Кратчайший путь. Алгоритм Дейкстры