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


  •  Об ИС по формальным теориям

  •  Как работать с системой

  •  Алфавиты

  •  Граф алфавитов (VRML)

  •  Интерактивная работа с БД

  •  Пропозициональные алфавиты

  •  Силлогистические алфавиты

  •  Алгебраические алфавиты

  •  Граф алгебраических алфавитов (VRML)

  •  алфавит теории равенства AE1 [AE1] (txt)

  •  алфавит теории строгого порядка с равенством AE1Os [AE1Os] (txt)

  •  алфавит теории строгого порядка AOs [AOs] (txt)

  •  алфавит нижней полурешетки с нулем ASD1O [ASD1O] (txt)

  •  алфавит булевой алгебры классов ASDO [ASDO] (txt)

  •  алфавит теории равенства ASE1 [ASE1] (txt)

  •  алфавит теорий порядка с равенством ASE1O [ASE1O] (txt)

  •  алфавит теории порядка с равенством ASE1Ons [ASE1Ons] (txt)

  •  алфавит теории строгого порядка с равенством ASE1Os [ASE1Os] (txt)

  •  алфавит теории предпорядка ASO [ASO] (txt)

  •  алфавит теории строгого порядка ASOs [ASOs] (txt)

  •  Включение алфавитов друг в друга (таблица)

  •  Алфавиты кванторных теорий

  •  Классы термов

  •  Языки (классы формул)

  •  Описания теорий

  •  Классификации теорий

  •  Дедукция

  •  Теоретическая справка

  •  Справка по сайту