本书的作者以全新的视角分析操作系统、BIOS，从自动控制原理的角度分析BIOS和操作系统，让人耳目一新，推荐学习操作系统和BIOS的朋友看看。

高数叔《离散数学》速成课配套讲义 #资源达人分享计划#.pdf

JAVA+SQL离散数学题库管理系统(源代码+论文+外文翻译) 摘 要 题库、试卷建设是教学活动的重要组成部分，传统手工编制的试卷经常出现内容雷同、知识点不合理以及笔误、印刷错误等情况。为了实现离散数学题库管理的信息化而开发了离散数学题库管理系统。 该系统采用C/S 模式，前台采用JAVA（JBuilder2006），后台采用SQLServer2000数据库。本文详细论述了系统总体设计思想、数据库设计以及功能模块设计等。应用软件工程中的瀑布开发模型，开发实现了以下功能：题库的管理与维护、自动生成试卷、手工改动生成试卷、生成WORD试卷和答案。 离散数学题库管理系统能够实现离散数学题库管理的信息化，规范化和试卷生成的自动化，并且在操作上实现简单、方便、快捷。 模型中主要的阶段映射为一些基本的开发活动： 1、 需求分析和定义 通过咨询系统用户建立系统的服务、约束和目标。并对其详细定义从而为系统描述服务。 2、 系统和软件设计 系统设计过程区分硬件和软件系统的需求。硬件设计是指建立一个总体的系统体系结构。软件设计包括识别和描述一些基本的软件系统的抽象及其之间的关系。 3、 实现和单元测试 在这个阶段，软件设计是作为一组程序或程序单元实现的。单元测试就是检验每个单元是否符合其描述。 4、 集成和系统测试 集成单个的程序单元或程序，并对系统整体进行测试以确保其满足需求。在测试之后，软件系统交付给客户使用。 5、 运行和维护 正常情况下（虽然不是必须的），这是一个具有最长生命周期的阶段。系统被安装并且进入实际的使用中。维护包括改正在早期各阶段未被发现的错误，改善系统单元的实现，当新的需求出现时提高系统的服务能力。 原则上，每个阶段的结果是一个或多个经过核准的文件。直到上一个阶段完成，下一阶段才能启动。在实际的过程中，这些阶段经常是重叠和彼此间有信息交换的。在设计阶段，需求中的问题被发现；在编程阶段，设计问题被发现，以此类推。软件过程不是一个简单的线性模型，它包括开发活动的多个反复。 第2章 需求分析 开发软件首先做的是开发过程中最主要的就是系统的需求分析，需求分析同时也是软件生存周期中关键的一步。根据软件工程学中开发软件的要求，对离散数学题库管理系统全部功能和相关的技术进行具体的分析，分析时采用结构化的分析方法，自顶向下、逐层分解问题。 2.1 项目内容及要求 根据此次项目的要求，主要完成对离散数学题库管理系统的设计。 2.1.1 具体完成功能 本系统具体完成的功能如下： 1)题库的管理与维护：新题的录入，修改，删除等功能。 2)生成试卷：包括自动生成与手工改动，要求可以对生成的试卷进行打印和WORD排版，并且对生成的试卷能自动生成其参考答案。 其次还应考虑到试题的实际应用性，如：题目的覆盖率，雷同度，难度系数及近三年内不能重题等问题。 2.1.2 实现目标 该系统具有较好的现实意义，特别是计算机发展迅速的今天，实现了由传统的手工化管理向信息化管理，充分

包含十五页

命题逻辑的永真公式的代换实例是谓词逻辑的永真公式 命题逻辑的永假公式的代换实例是谓词逻辑的永假式 （需要PPT私信加关注）

哈尔滨工业大学李涛班的数理逻辑课后作业，有详细的步骤解法，其中部分是书后习题

作者: Andrew Simpson / 冯速 本书通过大量简单易懂的示例和练习介绍了有关离散数学的基本概念与基础知识，并把理论知识与一系列实际应用联系起来。主要内容包括：命题逻辑和谓词逻辑、类型集合论、布尔代数、关系、函数、序列、归纳法、图论、组合数学等。通过适当的教学方法，可以加深学生对离散数学的理解。

Mathematics for Computer Science计算机科学的数学 课本

离散数学知识点干货总结，适合期末复习

西工大历年离散数学考试题集合，里面有很多比较经典的考题，对于复习有一定导向作用