𝔖 Scriptorium
✦   LIBER   ✦
📁

应用逻辑原书第二版

✍ Scribed by it-ebooks

Publisher
iBooker it-ebooks
Tongue
Chinese
Leaves
299
Series
it-ebooks-extra
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

应用逻辑
📁 应用逻辑
✍ Anil Nerode Richard A.Shore 📂 Library 📅 2007 🏛 机械工业出版社 🌐 Chinese

书签已装载， 书签制作方法请找 [email protected] 完全免费 “本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……” ——美国计算机协会自动机与可计算性理论专业组 (SIGACT) 这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的许多概念，是一本真正面向计算机科学的逻辑著作。另外，每章最后给出了进一步阅读建议，书末又分主题给出了相

逻辑学导论：原书第三版
📁 逻辑学导论：原书第三版
✍ Harry J. Gensler,沈榆平,文学锋 📂 Library 📅 2021 🏛 科学出版社 🌐 Chinese

(This file is a scanned version of its corresponding physical book and has not yet undergone OCR processing) 本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细节进行了简化，在证明体系中依次介绍若干符号逻辑系统，使各类读者能够较为直接地了解和掌握相关知识点。另外，在每章或每节后面列了一些习题，以便读者加深对前面所学内容的理解。 Contents

线性代数及其应用（原书第5版）
📁 线性代数及其应用（原书第5版）
✍ David C. Lay; Steven R. Lay; Judi J. McDonald 📂 Library 📅 2018 🏛 机械工业出版社 🌐 Chinese

<p>《线性代数及其应用》是一本的现代教材，给出新的线性代数基本介绍和一些有趣应用，目的是帮助学生掌握线性代数的基本概念及应用技巧，为后续课程的学习和工作实践奠定基础。主要内容包括线性方程组、矩阵代数、行列式、向量空间、特征值与特征向量、正交性和小二乘法、对称矩阵和二次型、向量空间的几何学等。此外，本书包含大量的练习题、习题、例题等，便于读者参考。</p>