没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数理逻辑-合取析取范式源代码
数理逻辑-合取析取范式源代码
共20个文件
obj:4个
idb:2个
exe:2个
数理逻辑
合取析取范式
4星
· 超过85%的资源
需积分: 19
41 下载量
63 浏览量
2011-09-14
12:57:19
上传
评论
1
收藏
696KB
RAR
举报
温馨提示
立即下载
数理逻辑中,程序实现合取析取范式的源代码
资源推荐
资源详情
资源评论
合取范式转析取范式python.zip
浏览:82
研究生人工智能课的作业,主合取范式转主析取范式,敲了四五个小时,亲测可用,python版本的,两个文件,ipynb用anaconda可直接运行,txt的复制到编译器可直接运行,注释详细,需要的自取
关于主合取与主析取范式的代码实现
浏览:82
关于离散数学中主合取与主析取范式的实现,主要通过c++实现
数理逻辑辅助工具-合取范式&析取范式生成器
浏览:54
5星 · 资源好评率100%
数理逻辑的辅助小程序,可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档
求合取、析取、条件、双条件的程序-C语言
浏览:97
求合取、析取、条件、双条件的程序-C语言
合取范式(CNF)可满足性算法PPT
浏览:22
3星 · 编辑精心推荐
DPLL算法解决CNF可满足性 合取范式(CNF)可满足性算法PPT
离散 合式公式 析取 合取转换
浏览:51
5星 · 资源好评率100%
离散数学中的范式转换,C++实现合式转换为合取、析取范式
Java版主析取范式
浏览:122
包里有两个类,每个类为一个单独的主析取范式。
离散数学计算器
浏览:185
5星 · 资源好评率100%
1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别
C++离散数学真值表的实现
浏览:133
4星 · 用户满意度95%
不用介绍了吧,离散数学的玩意,求真值表,用C++编程序实现的,可以学习一下哦。 1. 我们在上传前对每款软件都进行了病毒查杀和插件检查,全力为您提供绿色下载环境。某些含有采集程序的代码可能会误报病毒,实际上是安全文件,如果您想进一步确保安全,可在解压使用前自行检查。 2. 如果某软件侵犯了您的版权,请立即告之我们,以便尽快得到处理。 3. 我们提供的程序意在学习和研究,未经作者或本站许可请不
81数理诱导计算器(用于取名字)
浏览:111
可怜天下父母心,为了自己的宝宝有一个好的名字,常花费大钱去取一个好名字,有了此软件,再结合五行缺补,都可以自己取一个好的名字(全吉),特上传此计算器。
数理逻辑-考试必备-童世炜.pdf
浏览:72
数理逻辑-考试必备-童世炜.pdf
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览:130
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
中大数理逻辑教案-不错的数理逻辑教案
浏览:3
5星 · 资源好评率100%
中大数理逻辑教案-不错的数理逻辑教案。。
概率论与数理统计-手写笔记-期末考试复习
浏览:111
概率论与数理统计-手写笔记-期末考试复习概率论与数理统计-手写笔记-期末考试复习概率论与数理统计-手写笔记-期末考试复习概率论与数理统计-手写笔记-期末考试复习概率论与数理统计-手写笔记-期末考试复习概率论与...
析取范式与合取范式
浏览:184
析取范式与合取范式
离散课件第一部分数理逻辑
浏览:142
离散课件,帮助你学习,有什么问题,可以查找
中介真值程度的度量及应用2
浏览:160
结合中介逻辑中的模糊否定词和真值程度词的语义, 论述了研究中介真值程度的度量对于应用的必要 性;在对个体研究的基础之上, 从离散型和连续型两个方面讨论了集合的真值程度的度量;在建立中介标准度后, 提出模糊程度概念, 提出中介熵定义, 并讨论了中介熵的最大值.针对反对对立强调两个概念之间存在“ 最大的差 异” , 提出弱化“ 两极” , 突出“ 过渡” 的观点.在对过渡与对立进行了一般性讨论后, 建
java设计范式 原版....................
浏览:53
5星 · 资源好评率100%
java设计范式 原版......................
离散感知器训练逻辑与例子C#源码
浏览:191
采用C#编写的一个利用离散感知器原理训练逻辑与的一个源码例子,喜欢的朋友可以下载参考。
本计算器可以实现对诸如 3+(1+7)*6+4*((5+4))这样的表达式的计
浏览:37
功能描述: // 本计算器可以实现对诸如 3+(1+7)*6+4*((5+4))这样的表达式的计 // 算,目前仅限于带括号的 +, * 运算
数理逻辑引论-王宪均
浏览:109
王老师的经典之作,可以认真研读,尤其是关于独立性的证明,对数理逻辑的发展有清晰的解释
数理逻辑基础
浏览:168
4星 · 用户满意度95%
数理逻辑基础 数理逻辑基础 数理逻辑基础
数理逻辑答案数理逻辑
浏览:20
4星 · 用户满意度95%
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
哈工大数理逻辑2006-2007试卷A+答案
浏览:86
3星 · 编辑精心推荐
哈工大数理逻辑2006-2007试卷A+答案
哈工大数理逻辑2003-2004试卷+答案
浏览:138
哈工大数理逻辑2003-2004试卷+答案 希望对大家复习有帮助啊
计算命题公式的真值 数据结构
浏览:177
4星 · 用户满意度95%
所谓命题演算公式是指由逻辑变量(其值为TRUE或FALSE)和逻辑运算符AND、OR、NOT按一定规则所组成的公式(蕴含之类的运算可以用与或非来表示)。公式运算的先后顺序为非、与、或,而括号()可以改变优先次序。已知一个命题演算公式及各变量的值,要求设计一个程序来计算公式的真值.
范式 合取 析取 蕴含 等价
浏览:87
5星 · 资源好评率100%
范式 合取 析取 蕴含 等价 1. 消除等价式 2. 消除蕴含式 3. 化简否定式 4. 去掉多余的括号 5. 化简成为合取范式 6. 判断是否有互补对,是否为永真式
范式计算器
浏览:126
5星 · 资源好评率100%
文件是范式计算器的python代码,含有图形界面,可以计算主析取范式和主合取范式。
数理逻辑(俞瑞钊)
浏览:115
数理逻辑---讲的非常清楚: 形式系统,命题逻辑,谓词逻辑,归结原理, 还有递归论等内容.
收起资源包目录
数理逻辑-合取析取范式.rar
(20个子文件)
数理逻辑-合取析取范式
Release
StdAfx.obj
228B
vc60.idb
41KB
合析析合.obj
84KB
合析析合.exe
116KB
合析析合.ncb
49KB
合析析合.plg
250B
合析析合.dsp
3KB
StdAfx.cpp
295B
合析析合.dsw
541B
StdAfx.h
667B
合析析合.opt
48KB
合析析合.cpp
10KB
Debug
StdAfx.obj
2KB
vc60.idb
97KB
合析析合.ilk
815KB
合析析合.obj
263KB
vc60.pdb
148KB
合析析合.pdb
1.1MB
合析析合.exe
568KB
ReadMe.txt
1KB
共 20 条
1
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
zhyingxin
2013-04-25
还是要自己写啊,不是Matlab,感谢一下
vampiredawn
2012-03-23
C++程序实现的,不是想要的
LFAnSh
2013-12-06
程序写的还有拼音模式,代码写的不算是规整,不是自己要用的
lllxxxyyy1994910
2014-03-20
C++ 代码程序结构严谨 还输出了真值表
学术渣
2012-08-28
程序实在是长啊,,,后面自己用手算了。。。呵呵。。
1
2
前往
页
jackywu1010
粉丝: 37
资源:
35
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
滑动窗口:深入理解与应用.zip
WRF(Weather Research and Forecasting Model)模型:深入解析与实用操作指南.zip
IngeekDK.json
DHT11温湿度传感器:原理、应用与操作指南.zip
猫狗二分类数据集,可用于分类项目中
基于vision transformer(ViT)实现猫狗二分类项目实战
植物大战僵尸西游版(画质修复)_dp.apk
真风计算.apk
QDReader.apk
2023年国际数学建模竞赛成绩上报前公示(6.13) (1).xlsx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
- 1
- 2
前往页