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

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

О проекте

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

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

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

Информационная система по формальным теориям Theo.ru
Основные обновления справочно-информационного комплекса Формальные теории

Последние обновления ИС по формальным теориям

(с ноября 2009)

2010 – 2014

11.03.2014. – Обновления БД, исправлен ряд обнаруженных опечаток.

3.03.2014 – Работа системы восстановлена в полном объеме после сбоя базы данных.

5.05.2011 – Система восстановлена после сбоя баз данных.

7.11.2010 – Правка ссылок на литературу в связи с переносом и переименованием некоторых файлов.

2009

24–25.11.2009 – Исправлены нарушения, вызванные модификацией кода. Приведение Карты системы в соответствие с ее структурой.

23.11.2009 – ИС по формальным теориям на уровне интерфейса выделена в отдельный проект; проведена необходимая редактура кодов.

19–23 ноября 2009. Проведено отделение ИС по формальным теориям от проектов Словаря и Библиотечки.

26 марта – 26 октября 2008. Начало обновления сайта системы, расширение системы за счет добовления Словаря по логике и Библиотечки, но без последовательного их разделения на уровне интерфейса. Историю обновлений объединенной системы см. здесь...

Январь 2006 – март 2008. Автономная работа системы без обновлений, исправлений и т.д.

2002–2005. Система была создана в 2003-2005 гг. О истории и создателях см. здесь...