Logic for Computer Scientists 2024 pdf epub mobi 电子书
简体网页||繁体网页
Logic for Computer Scientists 2024 pdf epub mobi 电子书 著者简介
Logic for Computer Scientists 电子书 图书目录
点击这里下载
发表于2024-12-29
Logic for Computer Scientists 2024 pdf epub mobi 电子书
Logic for Computer Scientists 2024 pdf epub mobi 电子书
Logic for Computer Scientists 2024 pdf epub mobi 电子书
喜欢 Logic for Computer Scientists 电子书 的读者还喜欢
Logic for Computer Scientists 电子书 读后感
图书标签: 计算机 逻辑编程 数理逻辑 数学 logic
Logic for Computer Scientists 2024 pdf epub mobi 电子书 图书描述
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
Logic for Computer Scientists 2024 pdf epub mobi 电子书
Logic for Computer Scientists 2024 pdf epub mobi 用户评价
Logic for Computer Scientists 2024 pdf epub mobi 电子书
分享链接
Logic for Computer Scientists 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Everything that Linguists have Always Wanted to Know about Logic 2024 pdf epub mobi 电子书 -
Paradoxes 2024 pdf epub mobi 电子书
-
Set Theory, Logic and their Limitations 2024 pdf epub mobi 电子书
-
The Reasoned Schemer, Second Edition 2024 pdf epub mobi 电子书
-
Logical Effort 2024 pdf epub mobi 电子书
-
Modern Logic 2024 pdf epub mobi 电子书
-
PADS Logic高速电路设计 2024 pdf epub mobi 电子书
-
Truth, Knowledge, Or Just Plain Bull 2024 pdf epub mobi 电子书
-
From Logic to Logic Programming (Foundations of Computing) 2024 pdf epub mobi 电子书
-
小獵犬號航海記（上下） 2024 pdf epub mobi 电子书
-
寻找食人部落 2024 pdf epub mobi 电子书
-
动物探秘 2024 pdf epub mobi 电子书
-
Introduction to the Theory of Coherence and Polarization of Light 2024 pdf epub mobi 电子书
-
Statistical Optics 2024 pdf epub mobi 电子书
-
飞碟之谜 2024 pdf epub mobi 电子书
-
Signal Processing, Image Processing and Pattern Recognition, 2024 pdf epub mobi 电子书
-
Introduction to Statistical Optics 2024 pdf epub mobi 电子书
-
An Introduction to Wavelet Analysis 2024 pdf epub mobi 电子书
-
实用小波分析入门 2024 pdf epub mobi 电子书
-
最优阵列处理技术 2024 pdf epub mobi 电子书
