𝔖 Scriptorium
✦   LIBER   ✦
📁

面向计算机科学的数理逻辑系统建模与推理

✍ Scribed by 哈斯

Publisher
机械工业出版社
Year
2007
Tongue
Chinese
Leaves
291
Series
计算机科学丛书
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

📜 SIMILAR VOLUMES

面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
📁 面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理
✍ 胡思 📂 Library 📅 2005 🏛 机械工业 🌐 Chinese

书签已装载， 书签制作方法请找 [email protected] 完全免费 数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-S

科学推理: 逻辑与科学思维方法
📁 科学推理: 逻辑与科学思维方法
✍ 周建武 📂 Library 📅 2017 🏛 化学工业出版社 🌐 Chinese

<p>提高科学思维能力的主要途径在于改进思维方法，作为逻辑与科学思维方法论的研究课题，本书在科学逻辑的框架下，从科学推理的实用角度来编写。不仅详细介绍了科学的思维方法，而且结合丰富的科学案例来阐明如何发现问题、分析问题和解决问题，以此论述科学推理的原理与方法，从而启发思维并提升读者的科学推理技能。</p> <p>本书共分为九章，内容包括科学概论、归纳推理、类比推理、统计推理、因果分析、因果推断、因果探究、演绎推理、科学假说，并附录了科学推理测试，具有系统性、科学性、实用性的特点。本书适合作为高等院校逻辑学、科学逻辑、科学推理以及科学思维方法等相关课程的教材或参考用书，也适合对此感兴趣的各类读者

非经典数理逻辑与近似推理
📁 非经典数理逻辑与近似推理
✍ 王国俊 📂 Library 📅 2000 🏛 科学出版社 🌐 Chinese

中国科学院科学出版基金资助出版陕西师范大学康德出版基金资助出版