计算机科学逻辑基础（2卷）
Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes ― propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms ― Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
英文|2025 |国际标准图书编号：9811289360 | 1336页| PDF（正确）| 16 MB 逻辑学是计算机科学的一门基础数学学科。这本独特的简编提供了源于逻辑的主要思想和技巧。它分为两卷——命题逻辑和谓词逻辑。本书介绍了一些最重要的概念，从各种逻辑形式主义开始，包括命题逻辑和一阶逻辑中的Hilbert/Frege系统、表、序列和自然演绎，以及这些形式主义之间的转换。详细讨论了电路设计、分辨率、切割平面、Hintikka集、参数调制和程序验证等主题，这些主题在逻辑书籍中并不常见。有用的参考文本有近800个练习和补充，以加深对该主题的理解。它强调证明，并通过提供详细的论证来克服技术困难。计算机科学家和数学家将从这本书中受益。本站不对文件进行储存，仅提供文件链接，请自行下载，本站不对文件内容负责，请自行判断文件是否安全，如发现文件有侵权行为，请联系管理员删除。
Flux - Jinwoo Chong
La montagna e il mio mondo
La ricchezza che il denaro non ti puo dare
Tabbner's Nursing Care: Theory and Practice, 7th Edition
Small Animal Surgery, 4th Edition
Musculoskeletal Examination and Assessment: A Handbook for Therapists, 5th Edition
Perioperative Nursing: An Introduction, 2nd Edition
La legge delle colline
Quattro re. Leonard, Hagler, Hearns, Duran e l'ultima grande era della boxe
Fra gli ultras. Viaggio nel tifo estremo