- 博客(2)
- 收藏
- 关注
RSS订阅原创 用C语言解决逻辑推理问题
有关数学上的逻辑推理程序题 题目 警察需要侦破某重大案件，已抓获一嫌疑人，并且搜集了与该嫌疑人30项有关的证据。任何证据之间都不能互相矛盾，要一致地推出嫌疑人有罪，才能定案。但是要理清这些证据是否矛盾，对于人脑来说，太过复杂。警察恰巧学过数理逻辑，他把证据变成了15个原子命题：p1, p2, p3 …,p15，把这些原子命题之间的联系(即30项证据)，描述成了30个复合命题q1, q2，q3, …，q30；他想用计算机算出以下推理是否有效： q1 & q2 & a3 ...
2021-03-02 22:23:21
1799
原创 用Java完成的九九乘法表
用Java完成的九九乘法表 工具 ** eclipse （注：用的版本是汉化过的） ** ** ** 首先，创建Java文件 文件 —>新建 —>Java项目 —>填写“项目名” —>点击“完成” 注： “项目名”可随意更改 然后创建一个类 双击项目名 —> src —> 新建 —>类 —> 填写 “名称” —> 点击 “完成” 注：“名称”可随意更改；在 “想要创建那些方法存根（占位代...
2021-02-25 19:05:03
526
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人