Напишем работу, которую примут. Сезон скидок. 30% дипломная
курсовая
диссертация
40% отчёт по практике
дневник
50% реферат
доклад
  • Выбор решения при нечётком выводе заключения.
  • Двоичное дерево. Матрица связей и таблица подстановок.
  • Исчисление высказываний. Принцип резолюции.
  • Исчисление высказываний. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).
  • Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств.
  • Исчисление нечётких отношений. Основные понятия. Алгебра нечётких отношений.
  • Исчисление предикатов. Алгебра предикатов. Основные логические операции.
  • Исчисление предикатов. Основные понятия.
  • Исчисление предикатов. Подстановка и унификация.
  • Исчисление предикатов. Принцип резолюции.
  • Исчисление предикатов. Расширение принципа резолюции (линейность и упорядоченность литер в дизъюнкте).
  • Логика нечётких высказываний. Основные понятия.
  • Реляционная логика. Основные понятия.
  • Формальные грамматики типа 0 и 1. Вывод цепочек терминальных символов.
  • Формальные грамматики типа 2 и 3. Вывод цепочек терминальных символов.
  • Исчисление высказываний (ИВ). Основные понятия.
  • Исчисление предикатов. Основные аксиомы вывода.
  • Цепочки символов формального языка. Система составляющих.
    Рассказать друзьям: