Справка
x
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Математическая логика и булевы функции
Оборот титула
Table of contents
Введение
Раздел 1. Логика высказываний
+
Раздел 2. Исчисление высказываний
Раздел 3. Логика предикатов
-
3.1. Понятие предиката. Классификация предикатов
3.2. Логические и кванторные операции над предикатами
3.3. Понятие формулы логики предикатов. Равносильные формулы логики предикатов
3.4. Сравнение логики предикатов и логики высказываний
Раздел 4. Булевы функции
+
Close Menu
Раздел
4
/
5
Страница
7
/
30
Раздел 3. Логика предикатов
/
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Registration
General Catalogue
Издательства
УГС
Мои списки
Скачать приложение
Математическая логика и булевы функции
Table of contents
Введение
Раздел 1. Логика высказываний
+
Раздел 2. Исчисление высказываний
Раздел 3. Логика предикатов
-
3.1. Понятие предиката. Классификация предикатов
3.2. Логические и кванторные операции над предикатами
3.3. Понятие формулы логики предикатов. Равносильные формулы логики предикатов
3.4. Сравнение логики предикатов и логики высказываний
Раздел 4. Булевы функции
+