Информационная система по формальным теориям
Об ИС по формальным теориям
Как работать с системой
Алфавиты
Граф алфавитов (VRML)
Интерактивная работа с БД
Пропозициональные алфавиты
Силлогистические алфавиты
Алгебраические алфавиты
Граф алгебраических алфавитов (VRML)
алфавит теории равенства AE
1
[AE1] (txt)
алфавит теории строгого порядка с равенством AE
1
Os [AE1Os] (txt)
алфавит теории строгого порядка AOs [AOs] (txt)
алфавит нижней полурешетки с нулем ASD
1
O [ASD1O] (txt)
алфавит булевой алгебры классов ASDO [ASDO] (txt)
алфавит теории равенства ASE
1
[ASE1] (txt)
алфавит теорий порядка с равенством ASE
1
O [ASE1O] (txt)
алфавит теории порядка с равенством ASE
1
Ons [ASE1Ons] (txt)
алфавит теории строгого порядка с равенством ASE
1
Os [ASE1Os] (txt)
алфавит теории предпорядка ASO [ASO] (txt)
алфавит теории строгого порядка ASOs [ASOs] (txt)
Включение алфавитов друг в друга (таблица)
Алфавиты кванторных теорий
Классы термов
Языки (классы формул)
Описания теорий
Классификации теорий
Дедукция
Теоретическая справка
Справка по сайту