Поиск :
Личный кабинет :
Электронный каталог: Труды научно-исследовательского семинара логического центра ИФ РАН
Труды научно-исследовательского семинара логического центра ИФ РАН
Нет экз.
Электронный ресурс
Автор:
. Вып. 10: Труды научно-исследовательского семинара логического центра ИФ РАН
Издательство: ИФ РАН, 1994 г.
ISBN 5-201-01857-2
Автор:
. Вып. 10: Труды научно-исследовательского семинара логического центра ИФ РАН
Издательство: ИФ РАН, 1994 г.
ISBN 5-201-01857-2
Электронный ресурс
Вып. 10 : Труды научно-исследовательского семинара логического центра ИФ РАН / ред. В. А. Смирнов . - Москва : ИФ РАН, 1994 . - 112 с. - Режим доступа : http://biblioclub.ru/index.php?page=book&id=40182 . - http://biblioclub.ru/ . - На рус. яз. - ISBN 5-201-01857-2 .
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
основной = ЭБС Университетская библиотека
Вып. 10 : Труды научно-исследовательского семинара логического центра ИФ РАН / ред. В. А. Смирнов . - Москва : ИФ РАН, 1994 . - 112 с. - Режим доступа : http://biblioclub.ru/index.php?page=book&id=40182 . - http://biblioclub.ru/ . - На рус. яз. - ISBN 5-201-01857-2 .
Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
основной = ЭБС Университетская библиотека