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

 

Количество часов: 100

Основные разделы:

 

  • Логика высказываний; логика предикатов; исчисления; непротиворечивость; полнота; синтаксис и семантика языка логики предикатов.
  • Клаузальная форма. Метод резолюций в логике предикатов. Принцип логического программирования. Темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч. Хоара.
  • Логика высказываний. Логическое следование, принцип дедукции. Метод резолюций.
  • Аксиоматические системы, формальный вывод. Метатеория формальных систем.
  • Понятие алгоритмической системы. Рекурсивные функции. Формализация понятия алгоритма; Машина Тьюринга. Тезис Черча; Алгоритмически неразреши-мые проблемы.
  • Меры сложности алгоритмов. Легко и трудноразрешимые задачи. Классы задач P и NP. NP – полные задачи. Понятие сложности вычислений; эффективные алгоритмы. Основы нечеткой логики. Элементы алгоритмической логики.

     


  • Вернуться назад

     

     
    Яндекс.Метрика
    Besucherzahler
    счетчик посещений