点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 合取范式
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
求公式的主合取范式和主析取范式
求公式的主合取范式和主析取范式 c++写的类
所属分类:
C++
发布日期:2009-12-13
文件大小:3072
提供者:
jackiesteed
合取范式(CNF)可满足性算法PPT
DPLL算法解决CNF可满足性 合取范式(CNF)可满足性算法PPT
所属分类:
其它
发布日期:2010-10-18
文件大小:1048576
提供者:
mcdure
数理逻辑辅助工具-合取范式&析取范式生成器
数理逻辑的辅助小程序,可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档
所属分类:
其它
发布日期:2011-01-22
文件大小:8388608
提供者:
yjt98765
数理逻辑-合取析取范式源代码
数理逻辑中,程序实现合取析取范式的源代码
所属分类:
专业指导
发布日期:2011-09-14
文件大小:712704
提供者:
jackywu1010
离散 合式公式 析取 合取转换
离散数学中的范式转换,C++实现合式转换为合取、析取范式
所属分类:
C++
发布日期:2012-03-18
文件大小:10240
提供者:
wangzwsx
离散数学简单析取合取程序连接词的运算
1. 从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A) 2. 求任意一个命题公式的真值表(B,并根据真值表求主范式(C))
所属分类:
专业指导
发布日期:2012-10-17
文件大小:362496
提供者:
hyx_116688
范式消除等价蕴含等算法
消除等价式 2. 消除蕴含式 3. 化简否定式 4. 去掉多余的括号 5. 化简成为合取范式
所属分类:
C/C++
发布日期:2013-08-18
文件大小:125952
提供者:
lifesoldier
范式 合取 析取 蕴含 等价
范式 合取 析取 蕴含 等价 1. 消除等价式 2. 消除蕴含式 3. 化简否定式 4. 去掉多余的括号 5. 化简成为合取范式 6. 判断是否有互补对,是否为永真式
所属分类:
C/C++
发布日期:2014-01-02
文件大小:13312
提供者:
lifesoldier
主析取范式的求法及其应用
本文综述了求主析取范式的方法及各种方法的应用技巧。
所属分类:
讲义
发布日期:2016-09-25
文件大小:286720
提供者:
qq_16621645
析取范式与合取范式
析取范式与合取范式
所属分类:
讲义
发布日期:2016-09-25
文件大小:61440
提供者:
qq_16621645
主析取范式
简要介绍合取范式与析取范式的求取
所属分类:
讲义
发布日期:2016-09-25
文件大小:194560
提供者:
qq_16621645
关于主合取与主析取范式的代码实现
关于离散数学中主合取与主析取范式的实现,主要通过c++实现
所属分类:
C++
发布日期:2018-01-10
文件大小:11264
提供者:
qq_39382127
离散上级作业 C语言
用C写的离散上级作业,/笛卡尔积序偶简单矩阵输出输出/给定一个命题公式, 可以求出该公式的主吸取范式和主合取范式
所属分类:
C/C++
发布日期:2018-03-17
文件大小:100352
提供者:
hqy_0306
范式计算器 windows窗口显示
windows窗口显示范式计算器,弹窗显示结果,可以计算两变量或三变量主合取范式与析取范式
所属分类:
C/C++
发布日期:2018-04-24
文件大小:22020096
提供者:
qxy119
范式计算器
文件是范式计算器的python代码,含有图形界面,可以计算主析取范式和主合取范式。
所属分类:
Python
发布日期:2018-02-03
文件大小:10240
提供者:
sinat_41706676
南京邮电大学实验一真值表法求主析取主合取范式
实 验 一利用真值表法求取主析取范式以及主合取范式的实现 实验名称:利用真值表法求取主析取范式以及主合取范式的实现 实验目的:通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型:验证 实验学时:4 实验环境:Windows+VC 从屏幕输入含三个以内变量的合式公式(其中联结词按照从高到底的顺序出现) 可用字符数组a记录输入的合式公式 如:输入PQPQ !表示;&表示;|表示;>表示;-表示 规范列出所输合式公式的真值表 多重循环显示真值表(1表
所属分类:
专业指导
发布日期:2018-09-17
文件大小:257024
提供者:
qq_42324327
主合取范式转主析取范式.ipynb
研究生人工智能课的作业,主合取范式转主析取范式,敲了四五个小时,亲测可用,python版本的,用anaconda可直接运行,注释详细,要的自取
所属分类:
专业指导
发布日期:2019-06-11
文件大小:5120
提供者:
as1246170471
合取范式转析取范式python.zip
研究生人工智能课的作业,主合取范式转主析取范式,敲了四五个小时,亲测可用,python版本的,两个文件,ipynb用anaconda可直接运行,txt的复制到编译器可直接运行,注释详细,需要的自取
所属分类:
专业指导
发布日期:2019-06-11
文件大小:3072
提供者:
as1246170471
计算主合取范式,主析取范式
通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求:能够列出含三个以内变量的合式公式的真值表,并给出相应的主析取和主合取范式。
所属分类:
C/C++
发布日期:2020-07-01
文件大小:8192
提供者:
fufang3155
真值表、主析取范式、主合取范式
离散数学 编程实现求解逻辑表达式的真值表、主析取范式、主合取范式对于一个含n个命题变元的表达式(n为相异的命题变元总个数),其真值表可看作由从0到2ⁿ-1的二进制数的变化表。因此,可以通过按行列举0到2ⁿ-1的二进制数来模拟真值表中命题变元的值。而对于表达式,在每一行,其值可通过运用该行的命题变元的值来求解。为此,应考虑:
所属分类:
C/C++
发布日期:2020-10-25
文件大小:700416
提供者:
si_yu_ge
«
1
2
3
»