Экзамен МЛиТА. Вопросы 17-23.

17. Теоремы Гёделя о неполноте формальных систем. 18. Нечеткие множества. Нечеткая логика. Высказывания в нечеткой логике. Нечеткие логические операции, оценки степени истинности. 19. Обобщенные нечеткие логические операции: t-норма, k-норма, нечеткая импликация. Оценки степени истинности высказываний с обобщенными нечеткими логическими операциями. 20. Нечеткая лингвистическая логика. Лингвистическая переменная. 21. Нечеткий логический вывод. Фаззификация, агрегация, дефаззификация (привести пример). 22. Модальные логики. Операторы необходимости и возможности. Отношения модальности в алетической логике. Модель Крипке. 23. Темпоральные логики: линейная и древовидная модели. Темпоральные операторы. Особенности логик CTL*, CTL, LTL. Не забывайте ставить лайки, комментируйте и следуйте главному принципу Данилюка "Научился - помоги другому" P.S. Для идиотов: помоги другу - скинь это видео :-)