Карта ИС по формальным теориям на Theo.ru

(Рубрикация на основе меню)

Основные разделы меню Разделы второго уровня Содержание и краткое описание пунктов меню
   
Алфавиты  Граф всех алфавитов из БД VRML-граф всех алфавитов из БД
 Интерактивная работа с описаниями алфавитов и синтезом их VRML-графов Форма для формирования запроса к БД об алфавитах
Пропозициональные алфавиты  VRML-граф пропозициональных алфавитов
Список пропозициональных алфавитов из БД
Таблица включения алфавитов друг в друга
Бескванторные силлогистические алфавиты  VRML-граф силлогистических алфавитов
Список силлогистических алфавитов из БД
Таблица включения алфавитов друг в друга
Бескванторные алгебраические алфавиты  VRML-граф алгебраических алфавитов
Список алгебраических алфавитов из БД
Таблица включения алфавитов друг в друга
Алфавиты кванторных теорий  VRML-граф кванторных алфавитов
Список кванторных алфавитов из БД
Классы термов  Граф всех классов термов из БД VRML-граф всех классов термов из БД
 Интерактивная работа с описаниями классов термов и синтезом их VRML-графов Форма для формирования запроса к БД о классах термов
Список термов Список классов термов из БД
Таблица включения классов термов друг в друга
Языки  Структурное представление языков Форма для выбора языка и его представления в виде иерархического графа объектов
 Граф всех языков из БД VRML-граф всех языков из БД
 Интерактивная работа с описаниями языков (классов ППФ) и синтезом их VRML-графов Форма для формирования запроса к БД о языках
Пропозициональные языки  VRML-граф пропозициональных языков
Список пропозициональных языков из БД
Таблица включения классов термов друг в друга
Бескванторные силлогистические языки  VRML-граф силлогистических языков
Список силлогистических языков из БД
Таблица включения языков друг в друга
Бескванторные алгебраические языки  VRML-граф алгебраических языков
Список алгебраических языков из БД
Таблица включения классов термов друг в друга
Языки кванторных теорий  VRML-граф кванторных языков
Список кванторных языков из БД
Классификация языков по классу термов (VRML-графы) Список групп языков с одним и тем же классом ППТ. Пункты меню служат ссылками на VRML-графы этих групп.
Описания теорий  Структурное представление теорий Форма для выбора теории и ее представления в виде иерархического графа объектов
 Граф всех теорий из БД VRML-граф всех теорий из БД
 Интерактивная работа с описаниями теорий и синтезом их VRML-графов Форма для формирования запроса к БД о теориях
Специальные возможности (поиск, LaTex и т.п.) Поиск подтеорий и расширений теорий
Поиск ближайших теорий
Поиск альтернативных имен теорий
 Поиск библиографии по формальным теориям
Форма для выбора теории и генерации на основе данных из БД статьи в LaTeX про выбранную теорию
Пропозициональные теории  VRML-граф различных формализаций, фрагментов и расширений классической логики высказываний
 VRML-граф импликативных пропозициональные логики (по А.С.Карпенко)
 VRML-граф "нормальных" модальных логик
Список пропозициональных теорий из БД
Бескванторные силлогистические теории  VRML-граф силлогистик в языке LSa,e,i и их подтеории
 VRML-граф чистых негативных силлогистик А.А.Ильина
 VRML-граф расширений С2 в других языках
Список силлогистических теорий из БД
Бескванторные алгебраические теории  VRML-граф алгебраических теорий из БД
Список алгебраических теорий из БД
Кванторные теории  VRML-граф кванторных теорий из БД
Список кванторных теорий из БД
Классификации теорий  Граф всех теорий из БД VRML-граф всех теорий из БД
Классификация теорий по языку Список классов эквивалентности теорий по языку. Пункты меню служат гиперссылками на VRML-графы, представляющие соотношение теорий по дедуктивной силе внутри каждой группы
Классификация теорий по классу термов Список классов эквивалентности теорий по классу термов. Пункты меню служат гиперссылками на VRML-графы, представляющие соотношение теорий по дедуктивной силе внутри каждой группы
Некоторые классы индуктивной взаимопогружаемости Гипотетическое соотношение классов взаимопогружаемости CS, TS, Eq, BA и US1
Соотношение по дeдуктивной силе теорий класса CS (классическая силлогистика)
Соотношение по дeдуктивной силе теорий класса TS (традиционная силлогистика)
Соотношение по дeдуктивной силе теорий класса Eq (бескванторная теория равенства)
Соотношение по дeдуктивной силе теорий класса US1 (обобщенная силлогистика 1)
Соотношение по дeдуктивной силе теорий класса BA (бескванторная булева алгебра)
Дедукция Поиск формул, доказуемых в выбранной теории Форма для выбора теорий и поиска доказуемых в нихъ формул
Схемы аксиом с описанием и поиск теорий, в которых доказуема выбранная формула Список схем формул, использованных в БД для аксиоматического определения теорий, их интерпретация (для некоторых формул) и поиск теорий, в которых доказуема выбранная формула
Поиск подтеорий и расширений теорий Спискок теорий из БД и поиск для выбранной теории всех ее подтеорий и расширений (из БД) с возможностью просмотра их множеств в виде VRML-графа
Поиск ближайших теорий Спискок теорий из БД и поиск для выбранной теории всех (из БД) ее "ближайших" подтеорий и расширений относительно порядка по дедуктивной силе (включения по множеству теорем)
Теоретическая справка Метаязык описания теорий Использованные в БД обозначения при описании классов термов, языков и теорий
Интерпретация символов алфавитов из БД Список символов алфавитов из БД (кроме алфавита реконструкции Спинозы) с их содержательной интерпретацией
Принципы построения индексов алфавитов, классов термов, языков и теорий в базе данных Принципы построения в базе данных индексов и других обозначений для алфавитов, классов термов, языков и теорий
Моделирование логических знаний и знаниевого вывода средствами СУБД (статья, 2007) Список основных источников, использованных при наполнении БД; Список публикаций по гранту; Список более поздних публикаций; Таблица для скачивания файлов.
Литература по проекту Список основных источников, использованных при наполнении БД; Список публикаций по гранту; Список более поздних публикаций; Таблица для скачивания файлов.
Не решенные проблемы Описание задач, вставших при построении ИС и пока не решенных
Справка по сайту Титульная страница Ссылка на первую страницу сайта
Что такое "Информационная система по формальным теориям Theo.ru"?  
Требования к программному обеспечению  
 Как работать с системой Краткое описание возможных способов работы с нашим информационно-справочным комплексом и доступных сервисов
 Карта сайта Ссылка на настоящую страничку
Последние обновления Список основных обновлений сайта с марта 2008
Планируемые обновления Планы дальнейшего развития и обновления сайта
История создания и обновлений системы (2003-2005) История создания системы и ее обновлений с 2003 по январь 2006
История создания и обновлений объединенной системы (2008) История системы и ее обновления с марта по ноябрь 2008
О создателях системы О создателях системы. Контактная информация