|
|
Составляющие |
Описания |
|
|
Информационная
система по формальным теориям:
Создано: 2003-2005 гг.
Последние изменения: 11.03.2014. |
- содержит описание более 160 формальных теорий и информацию
о соотношении теорий по множеству теорем, позволяет представлять соотношения
выбранных теорий в виде 3d-графов (на VRML);
- содержит ряд графовых ("структурных") классификаций теорий
(с использованием VRML-графов);
- предоставляет возможности частичного псевдо-дедуктивного поиска;
- содержит библиографию по формальным теориям;
- в виде отдельных блоков содержит информацию о формально-семиотических
объектах, используемых для формулирования теорий (языков, классов термов,
алфавитов); представляет их соотношение в виде 3d-графов (на VRML).
Подробнее...
|
|
|
Словарь по логике:
Последние изменения: 4.09.2014. |
Содержит 751 терминов из логики и смежных областей семиотики, математики, философии, термины по истории логики, персоналии.
Подробнее...
|
|
|
Библиотечка:
Последние изменения: 22.03.2012. |
- в настоящее время содержит ряд текстов, презентаций и программных
продуктов, связанных с разработкой "ИС по формальным теориям";
- включает ссылки на логические ресурсы в сети;
- в перспективе планируется создание библиотечки по логике и смежным
областям.
Подробнее...
|
|
|