法理逻辑基础

本书涉及逻辑学和法学两个领域，既阐述了逻辑学的基本理论，又突出了法律思维的基本特点，适合法律专业在校学生及法律工作者使用。

概率论与数理统计讲义 基础篇

本书介绍了高等数学知识。

逻辑设计基础 原书第5版

本书详细阐述了理解逻辑设计基本概念所必需的理论，适合作为高等院校电子工程、计算机科学及相关专业的本科生和研究生的教材。

数字逻辑基础

本书系统地介绍了数字逻辑的基本原理与设计方法。全书共7章，主要内容包括：逻辑代数基础、逻辑门与组合逻辑分析、组合逻辑设计、触发器与时序逻辑分析、时序逻辑设计、可编程逻辑器件及开发、信号产生与变换...

应用数学基础 概率论与数理统计

《应用数学基础》系列教材是教育科学“十五”国家规划课题研究成果，依据“工科数学课程教学基本要求”编写而成。全书包括微积分、线性代数、概率论与数理统计3门基础课程的主教材及相关辅导书，本书是其中的...

高等职业教育基础类课程规则划教材 新编经济应用数学 线性代数 概率论与数理统计第4版

程序设计基础 逻辑编程及C++实现实训教程

本书是普通高等教育“十五”国家级规划教材《程序设计基础——逻辑编程及C++实现》的配套实训指导用书。它紧扣主教材各章所要求掌握的技能，组织每一章的有效实训方案，方案包括：【实训名称】、【实训目标】、...

现代逻辑学讲义 数理逻辑

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

代数与数理逻辑 王世强文集

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。