|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/zhurnal/tom_2003/v4r304.html
Дата изменения: Tue Feb 13 16:29:59 2007 Дата индексирования: Mon Oct 1 20:17:29 2012 Кодировка: Windows-1251 |
|
Геометрическая интерпретация пропозициональных формул Суворов В.В. |
|
Излагается метод логического анализа, основывающийся на геометрической интерпретации пропозициональных формул. Логическая формула представляется в виде единичного гиперкуба в ортогональном базисе с размерностью, равной местности формулы. Показывается, что анализ сечений куба по простым визуальным критериям позволяет достоверно выделять логические аксиомы. Обсуждается возможность построения в вычислительной среде инструментальных средств для выполнения истинностных оценок формул по зрительным критериям. |
| Суворов В.В. - Научно-исследовательский вычислительный центр, Московский государственный университет им. М. В. Ломоносова, 119992, Москва; e-mail: svv@srcc.msu.ru |