点数信息
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
c语言离散数学程序设计,求真值表,析取,合取
c语言离散数学程序设计,求真值表,析取,合取 真值表,析取,合取程序设计,离散数学,C语言,小程序,报告 自己编的小程序,拿来和大家分享 希望有用,初学离散懒得算的也可以用用
所属分类:
C
发布日期:2010-11-06
文件大小:11264
提供者:
sanshuiyu
求合取、析取、条件、双条件的程序-C语言
求合取、析取、条件、双条件的程序-C语言
所属分类:
C
发布日期:2010-12-19
文件大小:1023
提供者:
wddp045
数理逻辑辅助工具-合取范式&析取范式生成器
数理逻辑的辅助小程序,可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档
所属分类:
其它
发布日期:2011-01-22
文件大小:8388608
提供者:
yjt98765
数理逻辑-合取析取范式源代码
数理逻辑中,程序实现合取析取范式的源代码
所属分类:
专业指导
发布日期:2011-09-14
文件大小:712704
提供者:
jackywu1010
输出多个命题公式的合取式真值表
给出任意变元的合式公式,构造该合式公式的真值表
所属分类:
C/C++
发布日期:2012-02-28
文件大小:107520
提供者:
mrhoo7793
离散 合式公式 析取 合取转换
离散数学中的范式转换,C++实现合式转换为合取、析取范式
所属分类:
C++
发布日期:2012-03-18
文件大小:10240
提供者:
wangzwsx
离散数学简单析取合取程序连接词的运算
1. 从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A) 2. 求任意一个命题公式的真值表(B,并根据真值表求主范式(C))
所属分类:
专业指导
发布日期:2012-10-17
文件大小:362496
提供者:
hyx_116688
范式 合取 析取 蕴含 等价
范式 合取 析取 蕴含 等价 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++
发布日期:2018-07-17
文件大小:5120
提供者:
weixin_40583313
南京邮电大学实验一真值表法求主析取主合取范式
实 验 一利用真值表法求取主析取范式以及主合取范式的实现 实验名称:利用真值表法求取主析取范式以及主合取范式的实现 实验目的:通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型:验证 实验学时: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
4
5
6
7
8
9
10
...
41
»