- 博客(4)
- 收藏
- 关注
原创 期末总结:面向计算机科学的数理逻辑:系统建模与推理
Chapter 1 命题逻辑——逻辑符号——证明规则——作为形式语言的命题逻辑——命题逻辑的语义——范式Chapter 2 谓词逻辑——作为形式语言的谓词逻辑——谓词逻辑的证明论————自然演绎规则——谓词逻辑的语义——谓词逻辑的不可判定性——谓词逻辑的表达能力Chapter 3 通过模型检测进行验证——模型检测——线性时态逻辑通过将证明规则(proof rules)应用于前提(premises)公式,推断(infer)出结论(conclusion)ϕ1,ϕ2,…,ϕn⊢ψ 称为矢列(sequent),如果
2023-07-24 15:53:36 201
原创 操作系统重点复习
死锁:是指两个或两个以上的进程在执行过程中,因争夺资源二造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。称这些永远在互相等待的进程为死锁进程。所占用的资源或者需要它们进行某种合作的其他进程就会相继陷入死锁,最终可能导致整个系统处于瘫痪状态。产生死锁必须同时满足以下四个必要条件,缺一不可**互斥条件:**只有对必须互斥使用的资源的争抢才会导致死锁(如哲学家的筷子、打印机设备)。像内存、扬声器这样可以同时让多个进程使用的资源是不会导致死锁的(因为进程不用阻塞
2022-01-08 12:58:03 979
原创 C++期末课程设计:设计一个学生学籍管理系统
学生信息包括:姓名、学号、性别和英语、数学、程序设计、体育成绩。 从键盘输入数据,建立数据文件student.dat。 实现对学生或学号查询,显示信息。 对所有学生,按照班级计算平均成绩。 分别按照英语、数学、程序设计和体育成绩排序生成结果文件。话不多说,上测试结果图代码如下:#include <iostream>#include <fstream>#include <Windows.h>using...
2021-12-21 12:07:29 2886 4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人