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

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

О проекте

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

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

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

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

О рабочей группе проекта theo.ru

О создателях системы

 

В настоящее время сайт поддерживается Т.А. Шияном (taras-shiyan.narod.ru).

 

Создание системы

"Информационная система по формальным теориям Theo.ru" создавалась в 2003-2005 годах при организационной поддержке Института логики, когнитологии и развития личности (www.logic.ru) и финансовой поддержке Российского гуманитарного научного фонда (www.rfh.ru), грант №03-03-12003в.

Система была создана усилиями следующих человек.

  1. Григорьев Олег Михайлович (2004-2005) – доработка скриптов для формирования статей на LaTEX, подготовка информации для БД о модальных теориях.
  2. Комендантский Владимир Евгеньевич (2002-2003) – совместное с Т.А. Шияном оформление заявки в РГНФ, первые скрипты для формирования статей на LaTEX.
  3. Шиян Тарас Александрович (руководитель проекта) – теоретические разработки, структура и наполнение БД, сайт, генерация VRML, справочные материалы.
  4. Шумаков Артем Витальевич (2003-2005) – формы и скрипты для интерактивного формирования запросов к БД и генерации VRML-графов.

Контактная информация:
taras_a_shiyan@mail.ru