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