КАТАЛОГ ДИССЕРТАЦИЙ

Логика

Название	Год выпуска	Вид работы	Страниц	Цена

АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ	2004	диссертация	106	800 руб.
Теория вывода в многозначный логиках	2003	диссертация	142	800 руб.
Обоснование дедуктивного подхода в научном объяснении	2003	диссертация	131	800 руб.
Расширение выразительный возможностей языка современной логики	2003	диссертация	160	800 руб.
Применение системной модели аргументации к анализу текста	2003	диссертация	167	800 руб.
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр	2003	диссертация	151	800 руб.
Паранепротиворечивость и релевантность	2004	диссертация	150	800 руб.
Аналитико—табличная формализация систем временной логики	2004	диссертация	106	800 руб.
Семантический анализ простых паранормальных логик	2005	диссертация	163	800 руб.
Теория рассуждений Ч. Пирса	2005	диссертация	141	800 руб.
Логико-философские исследования Боэция	2006	диссертация	186	800 руб.
Автоматический поиск натурального вывода в классической логике предикатов	2004	диссертация	106	800 руб.
Логико—методологическое исследование происхождения теории поиска вывода	2004	диссертация	153	800 руб.
Современные проблемы использования табличный методов в логике	2005	диссертация	330	800 руб.
Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков	2005	диссертация	139	800 руб.
Интуиционистская логика и теория множеств	2004	диссертация	177	800 руб.
Теория смысла в общей интенсиональной логике	2006	диссертация	381	800 руб.

Логика

Реклама: