Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://lib.mexmat.ru/books/94001
Дата изменения: Unknown
Дата индексирования: Tue Apr 12 02:41:44 2016
Кодировка: Windows-1251
Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Моделирование античного софистического 'Парадокса крокодила' в рамках современной классической формальной логики нулевого порядка
Автор: Ахвледиани А.Н.
Аннотация:
В настоящей работе исследуется известный софистический 'Парадокс крокодила' и предлагается вариант его решения на основе современной классической формальной логики нулевого порядка. Формализация представленного решения проверена вычислительной логической программой математического пакета MATCAD 12.
|
|
О проекте