Русская логика для инженеров

РУССКАЯ ЛОГИКА ДЛЯ АКАДЕМИКОВ И
ШКОЛЬНИКОВ
ПРЕДИСЛОВИЕ
ЧАСТЬ 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. Практикум по логике суждений
2.2.1. Задачи Катречко С.Л. [23]
2.2.2. Задачи Р.М.Смаллиана [69]
2.2.3. Задачи неизвестного автора
Глава третья
Силлогистика
Троичная логика
Базисы силлогистики
3.1. Все х сутьу(Аху)
3.2. Ни один х не есть у(Еху)
3.3. Некоторые х суть у.
Глава четвёртая
Решение проблем классической силлогистики
4.1. Алгоритм "Осташ-Т" (тест, анализ)
4.2. Алгоритм "ТВАТ" (графический синтез
силлогизмов)
4.3. Алгоритм "РЕДАН" (синтез недостающей
посылки)
Алгоритм "Комета" аналитического синтеза
недостающей посылки.
4.4. Алгоритм "НИИ ДАР" графического нахождения
исходных посылок силлогизма.
4.5. Алгоритм "СГ4" аналитического нахождения
исходных посылок силлогизма.
4.6. Алгоритм "ОМТ'" нахождения исходных
посылок сорита.
4.7. Алгоритм "ИЭИ "(аналитический синтез
заключения)
4.8. Ошибки Аристотеля
Заключение
Глава пятая
Атомарная силлогистика. Базис Лобанова
5.1. Практикум по силлогистике
Силлогизмы с четырьмя терминами
5.2. Практикум по решению соритов
Алгоритм "Осташков" синтеза соритов
5.3. Анализ рассуждений
Алгоритм "Русь "
Проверка модусов Аристотеля по алгоритму "Русь "
Импликативно-силлогистические законы и их связь
с силлогистикой
Глава шестая
Естественный вывод и кванторы
Глава седьмая
Логика П.С. Порецкого
Глава восьмая
Вероятностная логика
Алгоритм "Циклон" (синтез многовариантных
силлогизмов)
Базовые силлогизмы
Силлогистика с вероятностными посылками
Алгоритм "Асгард" синтеза силлогизмов со
случайными посылками и заданным заключением
Глава девятая
Дисциплина мышления
Глава десятая
Логические уравнения и обратные функции
10.1. Решение уравнений и 4-значная
комплементарная логика.
10.2. Алгоритм "Селигер" решения уравнений в 4-
значной логике.
10.3. Алгоритм "Волга" решения уравнений в
двоичной логике.
10.4. Равносильные преобразования логических
уравнений.
Законы Лобановой С.В
10.5. Отыскание обратных функций
Алгоритм "Селигер-С" синтеза обратных функций.
10.6. Разложение логических функций на
множители.
Алгоритм "ОМТ" аналитического нахождения
посылок сорита.
10.7. Алгебра 6-значной комплементарной логики
10.8. Парадоксы Русской логики
10.9. Замечания по Русской логике
Выводы
Глава одиннадцатая
11.1. О невежестве, безграмотности и
бестолковости современных логиков
11.2. Русская логика против нечёткой
11.3. Дебилизация молодого поколения
Заключение
Краткий справочник по Русской логике
Перечень сокращений
Литература
ЛОБАНОВ ВЛАДИМИР ИВАНОВИЧ
Автобиография
Список публикаций автора
Отзывы читателей на форумах
Ответы на вопросы предисловия