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

Информационная система “Формальные теории” создается при организационной поддержке Института логики, когнитологии и развития личности (ИЛКиРЛ - www.logic.ru) и финансовой поддержке Российского гуманитарного научного фонда (РГНФ - www.rfh.ru), грант №03-03-12003в.

Рабочая группа проекта:

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

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