Русская вероятностная логика : азбука математической логики

Description

РУССКАЯ ВЕРОЯТНОСТНАЯ ЛОГИКА ПРЕДИСЛОВИЕ ЧАСТЬ 1 Инженерная логика. Глава первая КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ ЦЕПИ 1.1 Основные положения алгебры логики 1.2 Алгебра множеств. 1.3. Синтез комбинационных схем 1.4.Минимизация полностью определённых булевых функций. 1.5.Карты Карно для 7, 8, 9 и 10 переменных. Алгоритм «НИИРТА» графической минимизации булевых функций. 1.6.Оценка сложности реализации булевых функций 1.8. Формы задания булевых функций. 1.9. Минимизация недоопределённых булевых функций 1.10. Минимизация системы булевых функций. Глава вторая МИНИМИЗАЦИЯ ЛОГИЧЕСКИХ ФУНКЦИЙ МЕТОДОМ ОБОБЩЁННЫХ КОДОВ. 2.1. Общий алгоритм определения МОК. 2.2. Алгоритм соседнего определения базы МОК (алгоритм Мавренкова). 2.3. Выводы. ЧАСТЬ 2 Математическая логика суждений и предикатов. Глава первая Глава вторая 2.1.Законы логики суждений Алгоритм «Импульс» анализа законов логики суждений. Алгоритм «Импульс-С» синтеза импликативного заключения. 2.2. Практикум по логике суждений. Глава третья Силлогистика. Троичная логика. Базисы силлогистики. 3.1. Все x суть y(Axy). 3.2. Ни один x не есть y(Exy). 3.3. Некоторые x суть y. Глава четвёртая Силлогистика Аристотеля - Жергонна. 4.1. Алгоритм «Осташ-Т» (тест, анализ) 4.2. Алгоритм «ТВАТ» (графический синтез силлогизмов). 4.3. Алгоритм «РЕДАН» (синтез недостающей посылки). 4.4. Алгоритм «НИИДАР» графического нахождения исходных посылок. 4.5. Алгоритм «СГА» аналитического нахождения исходных посылок. 4.6. Алгоритм "ИЭИ "(аналитический синтез заключения) 4.7. Ошибки Аристотеля. Заключение Глава пятая Атомарная силлогистика. 5.1. Практикум по силлогистике. 5.2. Практикум по решению соритов. Алгоритм «Осташков» синтеза соритов. Импликативно-силлогистические законы и их связь с силлогистикой. Глава шестая Естественный вывод и кванторы. Глава седьмая Логика П.С.Порецкого. Глава восьмая Логика Л.Кэрролла. Задачи Л.Кэрролла. Силлогизмы Л.Кэрролла для самостоятельного решения. Сориты Л.Кэрролла для самостоятельного решения. Глава девятая Вероятностная логика. Алгоритм «Циклон» (синтез многовариантных силлогизмов). Алгоритм «Комета» вероятностного синтеза недостающей посылки Глава десятая Дисциплина мышления. Заключение в этом случае получается совершенно иным: Глава одиннадцатая. Логические уравнения и обратные функции. 11.1. Решение логических уравнений и 4-значная комплементарная логика. 11.2. Алгоритм «Селигер» решения логических уравнений. 11.3. Равносильные преобразования. 11.4. Отыскание обратных функций. Алгоритм «Селигер-С» синтеза обратных функций. Заключение. Краткий справочник по русской логике. Перечень сокращений Литература ЛОБАНОВ ВЛАДИМИР ИВАНОВИЧ. АВТОБИОГРАФИЯ. Оглавление