搜索【命题人】的结果

2021-01-28 04:36:15 3.23MB 远处背

1

2019考研数学命题人终极预测8套卷（数学一）张宇

2020-01-03 11:40:21 73.28MB 2019考研数学

1

人工智能命题逻辑归结反演

人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树附源代码与实验报告，仅供参考

2019-12-22 19:28:21 251KB 人工智能 逻辑归结

1

张宇命题人8套卷数一 2019

张宇命题人8套卷，题目还行，有的难度挺大，不过可以用来后期练练手

2019-12-21 21:38:03 73.49MB 张宇 8套卷 数一

1

离散数学上机实验指导及参考源程序.pdf

集合、命题逻辑表达式、关系、函数等相关实现程序编辑代码。

2019-12-21 21:00:01 626KB 集合 命题逻辑 离散数学

1

命题公式合法性的判定

2019-12-21 20:41:26 429KB 数据结构

1

命题逻辑中的归结推理系统

实现了命题逻辑的归结推理

2019-12-21 20:19:21 13KB C++写的

1

对输入的表达式判断其是否是合法的命题公式

1. 题目：对输入的表达式判断其是否是合法的命题公式 2. 要求：有关命题公式的定义，请严格使用我们使用的教材上的定义。五种联接词的规定如下：  非：！  与：+  或：-  蕴含：$  等价：#

2019-12-21 20:11:12 4KB 表达式 判断 命公式

1

c++程序判断离散数学中命题公式

c++程序判断离散数学中命题公式，MFC开发

2019-12-21 20:10:11 271KB c++ MFC 离散数学 命题公式判断

1

2019考研数学命题人终极预测8套卷（数学一）张宇

2019考研数学命题人终极预测8套卷（数学一）张宇pdf

2019-12-21 19:38:50 74MB 2019 考研数学 预测8套 命题人

1