Информационная система по формальным теориям

  •  Об ИС по формальным теориям
  •  Как работать с системой
  •  Алфавиты
  •  Классы термов
  •  Языки (классы формул)
  •  Описания теорий
  •  Классификации теорий
  •  Дедукция
  •  Теоретическая справка
  •  Метаязык описания теорий
  •  Интерпретация символов алфавитов из БД
  •  Принципы построения индексов алфавитов, классов термов, языков и теорий в базе данных
  •  Моделирование логических знаний и знаниевого вывода средствами СУБД (статья, 2007)
  •  Публикации по проекту РГНФ №03-03-12003в
  •  Не решенные проблемы
  •  Справка по сайту