ПОЛНОЕ СОБРАНИЕ ГОТОВЫХ ДИССЕРТАЦИЙ
Диссертации, готовые диссертации, заказ диссертаций
 
Подобные работы:
Эпистемологические основания дедуктивного вывода
Логистика вывода новых товаров на малоконцентрированный рынок
Логистика вывода новых товаров на малоконцентрированный рынок
Допустимые и выводимые правила вывода в нестандартный логиках
Экономические методы вывода предприятия из кризисный ситуаций
Логистика вывода новых товаров на малоконцентрированный рынок
Автоматический поиск натурального вывода в классической логике предикатов
Методы управления проектом вывода предприятия из кризисного состояния
АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ
Логико—методологическое исследование происхождения теории поиска вывода
Экономическое обоснование стратегии вывода угледобывающего предприятия из предкризисного состояния
Сравнительная оценка различный сроков и способов вывода пчелиных маток
Экономическое обоснование стратегии вывода угледобывающего предприятия из предкризисного состояния
Основные направления вывода виноделия России из кризисного состояния и дальнейшего его развития
Исследование и разработка основных направлений вывода акционированных предприятий из кризисного состояния
Управление процессом вывода предприятия из экономического кризиса (На примере Липецкого АО "Завод Железобетон")
Историко—технические аспекты и инженерно-экологические особенности вывода из эксплуатации объектов атомной энергетики
Системное обеспечение вывода крупного промышленного региона на устойчивый экономический рост, методология и практика
Динамические модели деградации оборудования атомных станций на этапах эксплуатации и вывода из эксплуатации
  ГЛАВНАЯ |    КАТАЛОГ ДИССЕРТАЦИЙ |    ПОИСК ДИССЕРТАЦИЙ |  ПОДТВЕРЖДЕНИЕ ОПЛАТЫ |  ОПЛАТА И ДОСТАВКА |  КОНТАКТЫ

Диссертация - Теория вывода в многозначный логиках

Содержание
Оглавление
Введение 4
1 Истинностно-функциональные семантики 14
§1 Семантика голосования... 17
§2 Перерандомизирующая семантика... 20
§3 Семантика сходства... 21
§4 Семантика рисков, или диалоговая семантика... 26
§5 Семантика допустимости... 28
§6 Рассуждения в теории меры...,... 32
§7 Семантика приближений... 33
§8 Импликация ... 36
§9 Отрицание... 39
2 Формализация многозначных логик 41
§1 Логика высказываний... 41
§2 Логика первого порядка... 44
§3 Алгебра... 48
§4 Вывод... 51
§5 Логика отмеченных формул... 56
§6 Секвенциальные и табличные исчисления... 59
§7 Резолюция ... 64
3 Функциональный анализ многозначных логик 66
§1 Основные понятия... 66
§2 Критерии полноты и 5-полноты...70
§3 Предикатная характеризация 5-замкнутых классов...73
4 Метод резолюций для смешанной логики Поста 76
§1 Смешанная логика Поста PostL... 78
§2 Резолюция для PostL... 81
§3 Замечания ... 86
5 Теорема Чена 88
§1 Идеалы, отношения конгруэнтности и проблема представления 89
§2 Линейно упорядоченные MV-алгебры...93
§3 Упорядоченная абелева группа G[c]...96
§4 Применение к бесконечнозначной логике Лукасевича...103
6 Метод резолюций на основе теоремы представления дистрибутивных решёток с операторами 104
§1 Дуальность по Пристли...105
§2 Модели, основанные на дуале Пристли...115
§3 Автоматическое доказательство теорем...118
§4 Канонические расширения...120
7 Эффективное доказательство теорем в логиках Лукасевича 126
§1 Логика Лукасевича и линейная алгебра...126
§2 Первый метод проверки общезначимости...132
§3 Второй метод...134
Заключение 137
A OTTER и доказательство рефлексивности импликации 142

  Скачать введение в формате MS Word.

Год

Страниц

Стоимость
2003 142 900 рублей
Для покупки этой работы, необходимо заполнить нижеследующую форму:
Способ оплаты:
от способа оплаты зависит срок доставки работы
- - Для просмотра информации о способе оплаты выберите его из списка.
Фамилия, Имя, Отчество: *
Город проживания:*
Почтовый адрес с индексом:*
(без города)
Контактный телефон:*
Пример: 8 (код города) номер
Ваш email: *
желательно указывать ящик, зарегистрированный на общедоступных бесплатных почтовых серверах, типа mail.ru, rambler.ru, yandex.ru. В противном случае получение вами ответного письма не гарантируется
Дополнительный email:
рекомендуем заполнять это поле, в случаях утери письма оно дублируется на дополнительный ящик
Код проверки *
- - введите цифры которые видите слева на картинке.
 Я прочитал и полностью согласен с условиями доставки работы.
поля помеченные * - обязательны для заполнения
©2005-2008г.