Информационная система по формальным теориям Theo.ru
(1442/308) / 8
Информационная система по формальным теориям содержит описание более 160 теорий, в основном формальных силлогистик. Соотношение теорий представлено в графическом виде (3D-графы в VRML). Реализована возможность просматривать графы теорий для произвольных и некоторых стандартных выборок из БД. Имеются некоторые возможности псевдо-дедукции. На сайте имеется небольшой словарь логических терминов и небольшая БД литературы по формальным теориям (с возможностью автоматического поиска). [x]
http://theo.ru Язык(и): русский; Добавил: Шиян Тарас Александрович
Вычислительная логика
(1076/4) / 8
На сайте приводятся статьи и курс лекций для студентов, в которых рассматривается разработанный автором алгебраический подход к логическому анализу систем и рассуждений, позволябщий расширить аналитические возможности логики. [x]
http://logic-cor.narod.ru/ Язык(и): русский; Добавил: Борис Кулик
Логика и философия интеллекта
(1040/406) / 7
Вопрос о перспективах философии в современном мире можно поставить намного шире обычного понимания, переведя его в принципиально иной аспект, – о тех перспективах, которые открываются перед человечеством благодаря современной философии. [x]
http://www.elkanovich.ucoz.ru/ Язык(и): русский; Добавил: илья