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


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

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

  •  Алфавиты

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

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

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

  •  Структурное представление теорий

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

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

  •  Специальные возможности (поиск, LaTex и др.)

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

  •  Силлогистические теории

  •  Алгебраические теории

  •  Кванторные теории

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

  •  Дедукция

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

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