05  мар

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


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

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

depositfiles.com

ifolder.ru





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






Похожие по теме публикации:


Комментарии:
Добавление комментария

Ваше Имя:
Ваш E-Mail: (необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent