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

  •  Об ИС по формальным теориям
  •  Как работать с системой
  •  Алфавиты
  •  Классы термов
  •  Языки (классы формул)
  •  Структурное представление языков
  •  Граф языков (VRML)
  •  Интерактивная работа с БД
  •  Пропозициональные языки
  •  Силлогистические языки
  •  Алгебраические языки
  •  Граф алгебраических языков (VRML)
  •  язык алгебры классов LDO [LDO] (txt)
  •  язык теории равенства LE1 [LE1] (txt)
  •  язык теории строгого порядка с равенством LE1Ords [LE1Ords] (txt)
  •  язык теории строгого порядка LOrds [LOrds] (txt)
  •  язык нижней полурешетки с нулем LSD1O [LSD1O] (txt)
  •  язык теории равенства LSE1 [LSE1] (txt)
  •  язык теории порядка LSE1O [LSE1O] (txt)
  •  язык теории нестрогого порядка с равенством LSE1Ons [LSE1Ons] (txt)
  •  язык теории строгого порядка с равенством LSE1Os [LSE1Os] (txt)
  •  язык теории предпорядка LSO [LSO] (txt)
  •  язык теории строгого порядка LSOs [LSOs] (txt)
  •  Включение языков друг вдруга (таблица)
  •  Языки кванторных теорий
  •  Классификация языков по классу термов (VRML-графы)
  •  Описания теорий
  •  Классификации теорий
  •  Дедукция
  •  Теоретическая справка
  •  Справка по сайту