Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прикладная логика
Глава 2. Синтаксический логический анализ
Поставить закладку
2.1. Логические исчисления
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 5 стр. из этой главы.
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Введение
Глава 1. Классификация логических задач
+
Глава 2. Синтаксический логический анализ
-
2.1. Логические исчисления
2.2. Непротиворечивость и полнота исчисления ГК
Непротиворечивость и полнота исчисления ГК
2.3. Свойство подформульности выводов
Глава 3. О выводах в секвенциальном исчислении
+
Глава 4. Преобразования выводов
+
Литература
Данный блок поддерживает скрол*