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


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

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

  •  Алфавиты

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

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

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

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

  •  Граф всех теорий (VRML)

  •  Классификация теорий по языку (VRML-графы)

  •  Классификация теорий по классу термов

  • Теории на графе могут находиться на большом расстоянии. Чтобы переместить все теории в зону видимости, используйте кнопку "Fit" в VRML-браузере.

  •  Теории с классом термов 0 [0] (VRML)

  •  Теории с классом термов CST [CST] (VRML)

  •  Теории с классом термов D1CST [D1CST] (VRML)

  •  Теории с классом термов D2CST [D2CST] (VRML)

  •  Теории с классом термов DCST [DCST] (VRML)

  •  Теории с классом термов N¹CST [N1CST] (VRML)

  •  Теории с классом термов NCST [NCST] (VRML)

  •  Теории с классом термов NSTsa [NSTsa] (VRML)

  •  Теории с классом термов NSTso [NSTso] (VRML)

  •  Теории с классом термов SST [SST] (VRML)

  •  Теории с классом термов STs [STs] (VRML)

  •  Теории с классом термов VST [VST] (VRML)

  •  Теории с классом термов VT [VT] (VRML)

  •  Некоторые классы индуктивной взаимопогружаемости

  •  Дедукция

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

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