Первая помощь

Что такое "Информационная система по формальным теориям Theo.ru"?
Требования к программному обеспечению
Как работать с системой?
Карта сайта

О проекте

Последние обновления
История создания и обновлений системы (2003-2005)
История создания и обновлений объединенной системы (2008)
О создателях системы

Состояние системы

Информация в БД формальных теорий
Сервисы ИС по формальным теориям
English version

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

Как работать с ИС по формальным теориям theo.ru

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

В системе представлена информация о соотношении четырех групп логико-семиотических объектов: формальных теорий, их языков, классов термов и алфавитов.

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

Теории и языки представлены в виде структур информационных блоков. Связи показывают подчиненность информации левого блока правому. Назначение каждого блока можно узнать, наведя на него указателем мыши. Для работы с графом выберите теорию из списка и кнопкой загрузите информацию в VRML-структуру. Теперь, нажимая на вершины графа, Вы можете выводить информацию этого блока в правом окне.

Формирование выборки объектов

Эта подсистема позволяет Вам сформировать выборку объектов для дальнейшей работы с ней. Выбранные объекты отмечаются галочками в левой колонке. Комплекс позволяет:

  • увидеть соотношение выбранных объектов по дедуктивной силе в виде VRML-графа (возможность реализована для алфавитов, классов термов и языков);
  • выбрать, какая дополнительная информация о теориях Вас интересует и в какой форме Вы хотите получить результаты (таблица или заметка на HTML).

Упорядоченные множества объектов

Для каждого из четырех основных типов объектов реализована возможность визуализации некоторого упорядоченного множества объектов данного типа. В БД заложены диаграммы Хассе упорядоченных множеств объектов каждого из четырех основных типов, что позволяет генерировать диаграммы Хассе для различных групп объектов и представлять в виде VRML-графов. С помощью VRML-браузера (обычно встраивается в web-браузер, наличие его в Вашем web-браузере можно проверить на первой странице) можно поворачивать, увеличивать или уменьшать граф. При наведении курсора на вершину появляется псевдониим объекта, представленного этой вершиной. Вершины графа служат гиперссылками, открываюшими в правом окне информацию об объекте, связанном с данной вершиной.

Создание статьи на LaTeX

На этой странице Вы можете получить информацию о теории в виде статьи на LaTeX. Для создания статьи выберите теорию из списка и кнопкой загрузите информацию в генератор TeX. В окошке появится код статьи на LaTeX.

Просмотр БД посредством фиксированных запросов

Для пользователей старых и слабых браузеров реализована возможность ознакомления с БД через набор фиксированных запросов. Эта возможность требует от браузера только понимания основных команд HTML 4.0. В большинстве разделов имеются ссылки на описания материала в виде таблиц.