Авторизация
Крутые фишки

Карпенко А.С. — Развитие многозначной логики

__rotator_param_f

Карпенко А.С. — Развитие многозначной логики

В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации.
Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний.
Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.

Содержание
Классическая логика
Логические связки. Истиностные таблицы
Законы логики высказываний
Функциональная полнота
Логическое следование. Аксиоматизация. Адекватность
Историческая справка
Логика Предикатов
Интуитивное понимание многозначной логики и ее возникновение
Трехзначные логики
Трехзначная Логика Лукасевича
Модальная трехзначная логика Лукасевича
Логика Гейтинга
Логика Брауэра
Трехзначная логика Бочвара
Сильная логика Клини
Трехзначные паранепротиворечивые логики
Штрих Шеффера для некоторых трехзначных логик
Решетка импликативных расширений регулярных логик Клини
Логические матрицы и решетки
Конечнозначные логики
Аксиоматизация конечнозначных логик
Многозначная логика как функциональная логика
Бесконечнозначные логики
Теория нечетких множеств и нечеткие логики
Истиностные значения – интерпретация многозначных логик

Название: Развитие многозначной логики
Автор: Карпенко А.С.
Издательство: ЛКИ
Год: 2010
Страниц: 444
ISBN: 978–5–382–01217–9
Формат: PDF
Размер: 38.2 Мб
Язык: русский


Ссылки:

Скачать с turbobit.net

Метки: Наука, Издательство «ЛКИ», Книги 2010 года, Карпенко А С, Книги в PDF, Язык: Русский

  • Комментарии [0]
  • Просмотров: 718 |
Поделитесь с друзьями:
Похожие публикации:
Комментарии:
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.