Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прикладная логика
Глава 1. Классификация логических задач
Предыдущая страница
Следующая страница
Table of contents
Введение
Глава 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. Синтаксический логический анализ
+
Глава 3. О выводах в секвенциальном исчислении
+
Глава 4. Преобразования выводов
+
Литература
Данный блок поддерживает скрол*