Темы устных докладов СГА → Математическая логика и теория алгоритмов (курс 1)

Математическая логика и теория алгоритмов (курс 1) (4293) , модуль 2 - Темы устных докладов СГА

  • Абсолютная модальность
  • Верификация программ с помощью языка временной логики
  • Временные логики
  • Имеется два нечетких множества: "теплая погода" и "холодная погода". Каждое множество задано своей функцией принадлежности, которые пересекаются в каком-то диапазоне температур. Опишите словами, как, приблизительно, будет выглядеть функция принадлежности для нечеткого множества, полученного в результате операции объединения этих нечетких множеств?
  • Имеется два нечетких множества: "человек маленького роста" и "человек большого роста". Каждое множество задано своей функцией принадлежности, которые пересекаются в каком-то диапазоне значений роста. Опишите словами как, приблизительно, будет выглядеть функция принадлежности для нечеткого множества, полученного в результате операции пересечения этих нечетких множеств?
  • Модальные логики
  • Области применения нечеткой логики
  • Операции над нечеткими множествами
  • Описание программы с помощью языка временной логики
  • Опишите словами, как, приблизительно, может выглядеть функция принадлежности нечеткого множества "теплая погода"?
  • Опишите словами, как, приблизительно, может выглядеть функция принадлежности нечеткого множества "человек маленького роста"
  • Отличие нечеткого множества от обычного множества
  • Приложение временных логик к программированию
  • Примеры использования нечеткой логики
  • Примеры нечетких множеств
  • Сравнительная модальность
  • Типы временных логик
  • Типы модальностей
  • Функция принадлежности нечеткого множества