| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Статья из журнала
Красненкова, А. В.
Алгоритмы вывода для негативных силлогистик / А. В. Красненкова
// Вестник Московского университета. Серия 7, Философия. — 2008. — № 2. - С. 109 - 115. — Примеч.
Алгоритмы вывода для негативных силлогистик / А. В. Красненкова
// Вестник Московского университета. Серия 7, Философия. — 2008. — № 2. - С. 109 - 115. — Примеч.
Подробнее
Авторы: Красненкова А. В.
Аннотация: Автор описывает алгоритм поиска доказательств для различных силлогистических систем и его компьютерную реализацию
Отраслевые рубрики: логика, философские науки, информационные технологии
Ключевые слова: алгоритмизация силлогистики, негативные силлогические системы, позитивные силлогические системы, силлогистика, силлогические системы
Индексы ББК: 87.443.13с51
Представления: Формат MARC21