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

Логика

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

АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ	2004	диссертация	106	290 руб.
Теория вывода в многозначный логиках	2003	диссертация	142	290 руб.
Обоснование дедуктивного подхода в научном объяснении	2003	диссертация	131	290 руб.
Расширение выразительный возможностей языка современной логики	2003	диссертация	160	290 руб.
Применение системной модели аргументации к анализу текста	2003	диссертация	167	290 руб.
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр	2003	диссертация	151	290 руб.
Паранепротиворечивость и релевантность	2004	диссертация	150	290 руб.
Аналитико—табличная формализация систем временной логики	2004	диссертация	106	290 руб.
Семантический анализ простых паранормальных логик (34) Неверно, что \| (-, В)\ а = или I (-i (-, В))\ а = 1 (из (30) и (33)) Утверждение (34) противоречит утверждению (5). Поэтому неверно допущение (1). Итак, утверждение (-i 1.1) доказано. Докажем теперь, что для формулы В: (-,1.2)\|(-,5)\|а=1и\|(-,(-.Д))\|в"=0=> !(->?) lvaMo=l.	2005	диссертация	163	290 руб.
Теория рассуждений Ч. Пирса Бираем конструкции, преследующие цель получения какой-либо информации, не будут учитываться прагматические и оценочные моменты, которые, безусловно, присутствуют в наших вопросах. Не поддаются формализации вопросы с неясными ответами, например, философские вопросы.	2005	диссертация	141	290 руб.
Логико-философские исследования Боэция	2006	диссертация	186	290 руб.
Автоматический поиск натурального вывода в классической логике предикатов - Ап-1 = Ак & Ап, то: a) Ап и Ап-1 устраняются из ПЦ. b) Текущей целью становится предыдущая цель и в ПВ включается формула Ап-ь которая является результатом применения правила &" к формулам Ап и Ak. c) На формулу Ak & Ап из ПВ ставится метка МО. d) Если на цели An-i стояла метка М7, то с соответствующей вц-формулы снимается метка М7.	2004	диссертация	106	290 руб.
Логико—методологическое исследование происхождения теории поиска вывода Разрешающие алгоритмы, а неразрешающие могут в некоторых случаях продолжать работу сколь угодно долго, не выдавая никакого результата (например, в случае попытки доказательства недоказуемой формулы в логике предикатов). Кроме того, алгоритм не обязательно должен быть основан на переборе возможных решений.	2004	диссертация	153	290 руб.
Современные проблемы использования табличный методов в логике Параметр а в правиле FCV должен быть новым. В заключение отметим, что табличный метод, как никакой другой, выражает тесную связь между синтаксисом и семантикой классической и интуиционистской логик. Семантика того или иного исчисления может быть "выведена" из соответствующего табличного или секвенциального исчислений.	2005	диссертация	330	290 руб.
Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков Таким образом, учение о времени, как форме явления души самой себе, Грот расценивает как главную ошибку кантовской философии. "Время, -говорит он, - есть только субъективный способ представления, а его "объективный коррелят" находится во внешней среде. А отождествление внешнего с пространственным, как и внутреннего с временным, - это просто "логическая ошибка" Канта.	2005	диссертация	139	290 руб.
Интуиционистская логика и теория множеств	2004	диссертация	177	290 руб.
Теория смысла в общей интенсиональной логике Для его устранения Чёрч в указанной работе использует разветвленную теорию типов, причем ветвление касается не только предиката Д, но и всех сущностей языка. Это средство является максимально сильным. Но разветвления одного только предиката А недостаточно.	2006	диссертация	381	290 руб.