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

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

  • Абсолютная модальность
  • Верификация программ с помощью языка временной логики
  • Временные логики
  • Изобразите графически операцию объединения двух нечетких множеств
  • Изобразите графически операцию пересечения двух нечетких множеств
  • Модальные логики
  • Области применения нечеткой логики
  • Операции над нечеткими множествами
  • Описание программы с помощью языка временной логики
  • Отличие нечеткого множества от обычного множества
  • Постройте функцию принадлежности множества «теплая погода»
  • Постройте функцию принадлежности множества «человек маленького роста»
  • Приложение временных логик к программированию
  • Примеры использования нечеткой логики
  • Примеры нечетких множеств
  • Сравнительная модальность
  • Типы временных логик
  • Типы модальностей
  • Функция принадлежности нечеткого множества