Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Гуманитарные наукиТруды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X

Труды научно-исследовательского семинара Логического центра Института философии РАН. Выпуск X
Автор: коллектив
Название: Труды научно-исследовательского семинара Логического центра ИФ РАН. Выпуск X
Издательство: М.: ИФРАН
Год: 1994
Формат: djvu
Размер: 4,63 Мб

Статьи сборника написаны на основе докладов, сделанных на семинаре в 1993 году. Главное внимание уделяется семантическому и синтаксическому анализу известных и нестандартных исчислений релевантной и четырехзначной логики, а также сравнению различных формальных реконструкций систем силлогистики. Исследуется исчисление предикатов с универсалиями и предлагается один из возможных методов логической формализации понятий физики.

Нажмите для скачивания Logik_IFRAN_1993.rar!Logik_IFRAN_1993.rar
Размер: 4.63 Mb(cкачиваний: 0)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional