|
Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2010, выпуск 4, страницы 172–185
(Mi vuu200)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
КОМПЬЮТЕРНЫЕ НАУКИ
Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств
Ю. М. Сметанин Кафедра высшей математики и информатики Института экономики и управления УдГУ, Россия, г. Ижевск
Аннотация:
В статье обосновывается необходимость применения альтернативного Аристотелевскому ортогонального базиса силлогистики и выборе в качестве инструмента для решения задач взамен алгебре логики расширенной алгебры множеств. Сформулирован алгоритм построения всех возможных классов интерпретаций решения в терминах множеств конечной меры. Проведены компьютерные эксперименты по решению классических задач Буля, Шредера, Порецкого. При этом получены дополнительные результаты к имеющимся решениям.
Ключевые слова:
силлогистика, полисиллогизм, алгебра, множества, ортогональный базис силлогистики, базис Аристотеля.
Поступила в редакцию: 15.11.2010
Образец цитирования:
Ю. М. Сметанин, “Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств”, Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 2010, № 4, 172–185
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vuu200 https://www.mathnet.ru/rus/vuu/y2010/i4/p172
|
Статистика просмотров: |
Страница аннотации: | 265 | PDF полного текста: | 190 | Список литературы: | 32 | Первая страница: | 1 |
|