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

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

О проекте

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

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

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

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

К настоящему моменту в базе данных представлено:
    1. 165 формальных теорий;
    2. 48 формальных языков;
    3. 13 классов термов;
    4. 47 формальных алфавитов;
    5. соотношения внутри каждого их перечисленных четырех типов объектов;
    6. различные группы формальных теорий;
    7. библиография по формальным теориям (53 источника, 404 библиографических ссылки);