Информационная система
по формальным теориям Theo.ru
Основные обновления справочно-информационного комплекса Формальные теории
Основные обновления сайта
(март октябрь 2008)
11 26 октября 2008. Работа над словарем по логике: разработка словаря
персоналий, попутное расширение других разделов Словяря, изменение
внешней рубрикации словаря.
26 октября 2008:
Дальнейшая доработка статей в словаре персоналий.
Доработка статей словаря по истории логики.
Пополнение словарей греческих (на 4) и латинских (на 1) терминов.
Расширение словаря русскоязычных терминов по логике до 116 статей.
Начато создание английской оболочки.
Разные мелкие изменения.
21 октября 2008:
Расширение словаря персоналий до 111 статей, написание пропущенных и доработка
текста ряда прежних статей, обновление и расширение иллюстративного материала.
19 октября 2008:
Расширение словаря персоналий до 110 статей, написание пропущенных и доработка
текста ряда прежних статей, обновление и расширение иллюстративного материала.
Раздел Персоналии разбит на подразделы (по алфавитному принципу).
18 октября 2008:
Расширение словаря персоналий до 107 статей, написание пропущенных и доработка
текста ряда прежних статей, обновление и расширение иллюстративного материала.
Раздел по терминологии расширен до 86 статей.
Устранение замеченных ошибок, опечаток, другие мелкие изменения.
16 октября 2008:
Расширение словаря персоналий до 102 статей (работа над текстами пока
идет).
Раздел по истории логики расширен до 16 статей.
Добавлен новый раздел "Семиотика" (пока пустой). Запланирован еще ряд
новых разделов.
Добавление ссылки на новый источник в библиотеку и в теоретическую справку.
Устранение замеченных опечаток и другие мелкие изменения.
56 октября 2008:
Временное блокирование ссылок на справочник по силлогистикам.
Расширена библиография до 53 источников и 404 библиографических ссылок.
Устранение замеченных опечаток и ошибок.
26 марта 21 апреля 2008. Возобновлена работа над сайтом, обновлен
и исправлен ряд материалов. Изменена структура сайта, на его базе начали создаваться
Словарь по логике, Логическая библиотечка, Справочника
по формальным силлогистикам.
1821 апреля 2008:
Исправление в базах данных теорий и терминов ряда разночтений и испорченных
ссылок, расширение нескольких статей. Добавление в БД ссылок.
Наконец исправлены битые ссылки в Справочнике силлогистических языков (2003 г., см. в Библиотечке).
1516 апреля 2008:
Приведено в порядок меню Справочника по формальным реконструкциям силлогистических
учений: все гиперссылки поверены и исправлены; в разделе "Аристотелевская
силлогистика" выверены тексты в пунктах меню; не откорректированные
ссылки заблокированы.
Исправлены испорченные ссылки в карте сайта. Внесен ряд других мелких
исправлений.
1214 апреля 2008:
Улучшена навигация по сайту. Изменена система переркрестных ссылок между
некоторыми справочными скриптами. Добавлено верхнее меню, в связи с чем,
отредактированы боковые меню и ряд других скриптов.
В Словаре по логике модуль современных логических терминов разделен (на
уровне меню) на четыре рубриками: "Математика", "Символическая
логика", "Силлогистика", "Общая логика". Отредактирован
ряд старых статей в блоке современной терминологии (в частности, в связи
с рекурсивностью по Смирнову).
Расширено описание формальных теорий. Отредактирован ряд дополнительных
материалов.
1011 апреля 2008:
Расширены словари: персоналий (до 28 статей), Латинских и греческих терминов
(до 64 статей), современных логических терминов (до 80). Создан словарь
по истории логики (пока 2 статьи). Расширена библиография по формальным
теориям (42 источника, 310 ссылок). Написаны формы лексического поиска по
всем словарям системы.
Начато написание текста по силлогистике Аристотеля.
18 апреля 2008:
Начато изменение дизайна сайта. Немного изменена рубрикация (раздел о
формальных теориях разделен на два: "Описания теорий" и "Классификации
теорий"). Внесены различные мелкие правки и изменения.
Рубрика "Логический словарь" выделена в отдельный блок "Словарь
по логике". Изменена его рубрикация. БД расширена: словарь логических
терминов до 70 статей, словарь персоналий до 25 статей, словари латинских
и греческих терминов и выражений по логике до 31 статьи.
Рубрика "Библиотечка" выделена в отдельный блок. Имеющийся материал
разбит на рубрики (пока временные). Модуль ссылок на логические ресурсы
в Интернете расширен до 31 ссылки.
Для "Справочника по формальным реконструкциям силлогистических учений"
доработаны статьи по персоналиям (планируется к ним еще раз возвратиться
после доработки остальных материалов).
2631 марта 2008:
Начало обновления сайта. Обновлен ряд вспомогательных материалов. Немного
изменена рубрикация.
Возобновлена работа над "Справочником по формальным реконструкциям
силлогистических учений": приведен в порядок глоссарий и Приложение.
Создан раздел "Логический словарь", куда в качестве подраздела
пошел прежний "Глоссарий". В прежней части словаря исправлен ряд
найденных опечаток и недочетов. Созданы подразделы "Персоналии"
и "Латинские и греческие термины и выражения по логике".
Создан раздел "Библиотечка", в который вошли материалы прежнего
раздела "Литература". Туда же мы поместили ссылки на различные
логические ресурсы в сети.
26 марта 2008. Начало обновления сайта.
Январь 2006март 2008. Автономная работа системы без обновлений,
исправлений и т.д.