Книга
Содержание
Вернуться в библиотеку
Прикладная логика
Закрыть (Esc)
Прикладная логика
Попов С.В.
Брошкова Н.Л.
Титульный лист
Введение
Глава 1. Классификация логических задач
1.1. Переменные. Формулы. Связки
1.2. Сведения из теории множеств
1.3. Геометрическая интерпретация. Нормальные формы
1.4. Логическое следование, эквивалентность
1.5. Свойства логического следования
1.6. О разложении функций
1.7. Логические матрицы
1.8. Локальные логические матрицы
1.9. Нелокальные логические матрицы
1.10. Алгебра матриц
1.11. Алгоритм построения обратной матрицы
1.12.логические задачи
Глава 2. Синтаксический логический анализ
2.1. Логические исчисления
2.2. Непротиворечивость и полиота исчисления Гк. Непротиворечивость и полнота исчисления Гк
2.3. Свойство подформульности выводов
Глава 3. О выводах в секвенциальном исчислении
3.1. Предполные множества аксиом
3.2. Канонические выводы
3.3. Канонические диаграммы выводов
Глава 4. Преобразования выводов
4.1. Система схем преобразований выводов
4.2. Приведение выводов к каноническому виду
4.3. Локальность задач по выводимости
Литература