Поиск :
Личный кабинет :
Электронный каталог: Труды научно-исследовательского семинара логического центра ИФ РАН
Труды научно-исследовательского семинара логического центра ИФ РАН
Нет экз.
Электронный ресурс
Автор:
Вып. 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 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.
основной = ЭБС Университетская библиотека