- 实验1：利用真值表法求取主析取范式以及主合取范式的实现
- 实验2：集合上二元关系性质判定的实现
- 实验3：偏序关系中盖住关系的求取及格论中有补格的判定
- 实验4：图的随机生成及欧拉（回）路的确定
-
Notifications
You must be signed in to change notification settings - Fork 0
Zephyrrro/Discrete-Mathematics
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
离散数学实验
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published