|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Алгоритм поиска вывода для систем негативной силлогистикидиссертация
- Научный руководитель: Бочаров В.А.
- Автор: Красненкова Анастасия Владимировна
- Год защиты: 2009
- Шифр диссертационного совета: Д 053.05.20
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Философия
- Специальность: 09.00.07 - Логика
- Тип диссертации: Кандидатская
-
Аннотация:
В диссертации приведен алгоритм поиска вывода для систем негативных силлогистик, к-рые построены как расширение позитивных. Также приведена соответствующая программа поиска вывода на языке Object Pascal.
- Добавил в систему: Красненкова Анастасия Владимировна