用Python实现的主范式计算器，用Tkinter写的一个简单的GUI，用堆栈法和一些结合的方法处理各种逻辑计算符。这个代码是离散数学课程的一个作业，网上太多代码都是错的，后来把那些代码改来改去还是bug奇多。最后还是自己写了一个。支持括号、析取合取、蕴含等价。
2021-12-14 22:36:21
6KB
1
这是这个学期数据库实践课程的期末项目，做的是一个超市系统的数据库设计，项目要求：1.自选一个数据库应用进行需求分析；2.用E-R模型描述；3.将E-R模型转换为关系模型；4.关系模型中，是否满足第三范式的要求，并阐述原因；5.用SQL的定义语句描述上述各关系模式，要求写出完整性约束条件；6.用SQL语句，进行数据更新（增删改操作）
2021-11-19 12:37:51
356KB
1
通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。
要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。
2021-10-28 22:53:20
8KB
1