Дискретная математика. Формально-логические системы и языки
E-Book (pdf)Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания … Продолжить
-
автор (соавторы):
Сергей Авдошин, Алексей Набебин
-
правообладатель
ДМК Пресс
-
название оригинала:
Дискретная математика. Формально-логические системы и языки
-
выход в свет:
01.01.2018
-
ISBN:
978-5-97060-622-3
-
EAN:
9785970606223
-
для возраста:
12+
- ндс РФ
- можно полистать
-
формат скачивания
pdf
-
объем файла в зависимости от формата, кб
14251
-
автор (соавторы):
Сергей Авдошин, Алексей Набебин
-
правообладатель
ДМК Пресс
-
название оригинала:
Дискретная математика. Формально-логические системы и языки
-
выход в свет:
01.01.2018
-
ISBN:
978-5-97060-622-3
-
EAN:
9785970606223
-
для возраста:
12+
- ндс РФ
- можно полистать
-
формат скачивания
pdf
-
объем файла в зависимости от формата, кб
14251
