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