| |
КАТАЛОГ РАБОТ |
| № |
Название |
Год выпуска |
| 1 | Теория вывода в многозначный логиках
| 2003 | | 2 | Обоснование дедуктивного подхода в научном объяснении
| 2003 | | 3 | Расширение выразительный возможностей языка современной логики
| 2003 | | 4 | Семантический анализ простых паранормальных логик
А,Ве Form
Опираясь на (V6 11) и (V6 12), нетрудно получить, что
(Уб13)?г-Ню(Л'ЭЯ').
(V6 14) (А' Э Я') G ? (из (V6 13) и (II))
Снимая допущение (V6 10), получаем, что
(V6 15)В' е ?=>(Л' DB') е Е.
Из (V6 9) и (V6 15) получаем, что
(V6 16) А' g Е или В' е Е => (A' D В') е Е.
| 2005 | | 5 | Теория рассуждений Ч. Пирса
Получается, что "в этом смысле стратегические принципы абдуктивно-го рассуждения - те же самые, что и стратегические принципы дедукции" 32. Хотя Хинтикка заявляет, что "не может быть ничего менее похожим, нежели дедукция, которая только обстоятельно объясняет предыдущую информацию, и интеррогативный шаг, согласно которому ответ на вопрос привносит новую информацию"33, для нас важно само признание существования различного вида интеррогативных стратегий.
| 2005 | | 6 | Автоматический поиск натурального вывода в классической логике предикатов
Зв. Пусть формула ЗаА(а) является текущей целью в ПЦ. Если среди неисключенных формул из ПВ найдется формула A(t), где t - произвольный терм, то к формуле A(t) применяется правило Э", формула ЗаА(а) добавляется в ПВ, а цель ЗаА(а) помечается как достигнутая.
| 2004 | | 7 | Логико—методологическое исследование происхождения теории поиска вывода
Правило резолюций есть правило вывода, которое порождает резольвенты для множества дизъюнктов. Порождение пустого дизъюнкта эквивалентно невыполнимости множества дизъюнктов.
Шаги доказательства невыполнимости множества S могут быть представлены в виде растущего вверх дерева вывода, в котором каждому начальному узлу приписывается дизъюнкт из S, а каждому следующему -резольвента дизъюнктов, приписанных к его непосредственным предшественникам.
| 2004 | | 8 | Современные проблемы использования табличный методов в логике
Важно отметить, что уничтожение формулы связано с большими опасностями, и необходимо быть осторожными с этим понятием уничтожения формулы. Если просто уничтожить формулу, то информация о выводе, содержащаяся в табличной конструкции, может быть утеряна. Для этого Фиттинг обозначает формулы, подлежащие уничтожению, знаком "V".
| 2005 | | 9 | Трансформация идей И. Канта в работах русский логиков конца XIX - начала XX веков
Так как S - название целого, содержащего в себе ряд частных представлений, интергированных друг с другом. Но если предложение "все S есть Р" это выражение результатов интеграции, а предложение "S1 есть Р" не является выражением настоящей дезинтеграции, так как оно не взаимоисключает само по себе предложение "все S есть Р", то мы имеем здесь пример умозаключения-дифференциации.
| 2005 | | 10 | Интуиционистская логика и теория множеств
| 2004 | | 11 | Теория смысла в общей интенсиональной логике
А" принадлежат Dan+X, но не обязательно исчерпывают его. Домен Dap- сложного типа, т. е. типа функций содержит все функции из Dp в Da.
Одна из особенностей ЛСД состоит в методе анализа концепта функции - он понимается как характеризующая функция на концептах.
| 2006 | | |
|
| |
|
 |
Приобретем оптом курсовые, дипломные работы.
Обращаться: pokupka-rabot@mail.ru
|
|
|
|
 РЕКЛАМА |
|
|
|
|
