Logic for Computer Scientists pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签: 计算机 逻辑编程 数理逻辑 数学 logic
喜欢 Logic for Computer Scientists 的读者还喜欢
点击这里下载
发表于2024-11-22
Logic for Computer Scientists epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Logic for Computer Scientists epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Logic for Computer Scientists pdf epub mobi txt 电子书 下载 2024
图书描述
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 pdf epub mobi txt 电子书 下载
用户评价
读后感
评分
评分
评分
评分
Logic for Computer Scientists pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
Everything that Linguists have Always Wanted to Know about Logic pdf epub mobi txt 电子书 下载 -
Paradoxes pdf epub mobi txt 电子书 下载
-
Set Theory, Logic and their Limitations pdf epub mobi txt 电子书 下载
-
The Reasoned Schemer, Second Edition pdf epub mobi txt 电子书 下载
-
Logical Effort pdf epub mobi txt 电子书 下载
-
Modern Logic pdf epub mobi txt 电子书 下载
-
PADS Logic高速电路设计 pdf epub mobi txt 电子书 下载
-
Truth, Knowledge, Or Just Plain Bull pdf epub mobi txt 电子书 下载
-
From Logic to Logic Programming (Foundations of Computing) pdf epub mobi txt 电子书 下载
-
小獵犬號航海記（上下） pdf epub mobi txt 电子书 下载
-
寻找食人部落 pdf epub mobi txt 电子书 下载
-
动物探秘 pdf epub mobi txt 电子书 下载
-
Introduction to the Theory of Coherence and Polarization of Light pdf epub mobi txt 电子书 下载
-
Statistical Optics pdf epub mobi txt 电子书 下载
-
飞碟之谜 pdf epub mobi txt 电子书 下载
-
Signal Processing, Image Processing and Pattern Recognition, pdf epub mobi txt 电子书 下载
-
Introduction to Statistical Optics pdf epub mobi txt 电子书 下载
-
An Introduction to Wavelet Analysis pdf epub mobi txt 电子书 下载
-
实用小波分析入门 pdf epub mobi txt 电子书 下载
-
最优阵列处理技术 pdf epub mobi txt 电子书 下载
