Математическая логика и теория алгоритмов



Скачать 18.12 Kb.
Дата30.12.2012
Размер18.12 Kb.
ТипДокументы
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ


  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. Нормальный алгоритм Маркова.


Похожие:

Математическая логика и теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Математическая логика и теория алгоритмов iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Математическая логика и теория алгоритмов icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Математическая логика и теория алгоритмов iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Математическая логика и теория алгоритмов iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Математическая логика и теория алгоритмов iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Математическая логика и теория алгоритмов icon3 Введение. Математическая логика в системе современного образования 6
Математическая логика и теория алгоритмов: Учеб посо­бие для студ высш учеб заведений / Владимир Иванович Игошин. — М.: Издательский...
Математическая логика и теория алгоритмов iconСудоплатов С. В., Овчинникова Е. В. Математическая логика и теория алгоритмов

Математическая логика и теория алгоритмов iconИзложение материала курса «Математическая логика и теория алгоритмов»
Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»
Математическая логика и теория алгоритмов iconРабочая программа дисциплины Математическая логика и теория алгоритмов

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org