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