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

  •  Об ИС по формальным теориям
  •  Как работать с системой
  •  Алфавиты
  •  Классы термов
  •  Языки (классы формул)
  •  Описания теорий
  •  Структурное представление теорий
  •  Граф всех теорий (VRML)
  •  Интерактивная работа с БД
  •  Специальные возможности (поиск, LaTex и др.)
  •  Пропозициональные теории
  •  Силлогистические теории
  •  Алгебраические теории
  •  Алгебраические теории (VRML)
  •  булева алгебра классов BL [BL] в языке LDO (txt)
  •  бескванторная теория равенства E1 [E1] в языке LE1 (txt)
  •  теория строгого порядка с равенством E1Ords [E1Ords] в языке LE1Ords (txt)
  •  теория строгого порядка Ords [Ords] в языке LOrds (txt)
  •  нижняя полурешетка с нулем на множествах D1L [D1L] в языке LSD1O (txt)
  •  теория отношения = на множествах SE1 [SE1] в языке LSE1 (txt)
  •  теория частичного порядка на множествах с равенством SOrd [SOrd] в языке LSE1O (txt)
  •  теория нестрогого порядка на множествах SE1Ordn [SE1Ordn] в языке LSE1Ons (txt)
  •  теория строгого порядка на множествах с равенством SE1Ords [SE1Ords] в языке LSE1Os (txt)
  •  теория предпорядка на множествах SOrdp [SOrdp] в языке LSO (txt)
  •  теория строгого порядка на множествах SOrds [SOrds] в языке LSOs (txt)
  •  Кванторные теории
  •  Классификации теорий
  •  Дедукция
  •  Теоретическая справка
  •  Справка по сайту