Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика и булевы функции
Раздел 3. Логика предикатов
Предыдущая страница
Следующая страница
Оглавление
Введение
Раздел 1. Логика высказываний
+
Раздел 2. Исчисление высказываний
Раздел 3. Логика предикатов
-
3.1. Понятие предиката. Классификация предикатов
3.2. Логические и кванторные операции над предикатами
3.3. Понятие формулы логики предикатов. Равносильные формулы логики предикатов
3.4. Сравнение логики предикатов и логики высказываний
Раздел 4. Булевы функции
+
Данный блок поддерживает скрол*