Раздел 2 / 6

Страница 30 / 91

Глава 1. Классификация логических задач

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Прикладная логика

Оглавление

Введение

Глава 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. Преобразования выводов +

Литература