-
重言式的判别
资源描述
先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分:1
-
crc计算字符串的代码
han"scrc计算字符串的代码,里面还包含有日期转换,字符串转换为日期等例子,CRC计算安装16或10进制输入,系统自行判断。
- 2022-03-28 21:23:18下载
- 积分:1
-
slam_simulator_sp_map模型
SLAM_simulator_SP_map model
- 2023-03-14 11:20:06下载
- 积分:1
-
差分进化算法的无功分配
应用背景差分进化(Differential Evolution,DE)算法是目前对于遗传算法的修正,和GA,PSO,ACO等进化算法一样,都是基于群体智能的随机并行优化算法,通过模仿生物群体内个体间的合作与竞争产生的启发式群体智能来指导优化搜索。关键技术基于差分进化算法的无功优化,采用IEEE30节点测试系统,接入分布式能源风电机组,程序为C语言编写,可算最小网损,若更改测试系统,可根据数据文件自行替换,支持环网。
- 2022-06-03 12:13:05下载
- 积分:1
-
人脸识别降维算法代码
里面包含各种人脸识别算法,LDA,PCA,LPP,GE。。。等,一一俱全。这几种都是快速有效的人脸识别算法 ,算法是用matlab实现的,里面都是m文件,需要的朋友要抓住机会,希望对大家有用。
- 2022-12-28 20:25:04下载
- 积分:1
-
BIG5和GB码转换
Big5和GB码相互转换-Big5 and GB code conversion
- 2022-07-10 12:18:02下载
- 积分:1
-
经典的基于vc++的小波滤波程序。很适合作信号处理的朋友
经典的基于vc++的小波滤波程序。很适合作信号处理的朋友-Based on the classic vc++ The wavelet filtering procedure. Very suitable for signal processing Friend
- 2022-01-22 07:03:50下载
- 积分:1
-
线性判别算法的代码以及讲解
这是一个线性判别算法的matlab 代码,里面有详细讲解的pdf文件,并且程序有具体实例的运行结果,很好理解哦
- 2022-02-04 14:34:58下载
- 积分:1
-
LUHN算法
LUHN算法-LUHN algorithm
- 2022-08-22 15:41:47下载
- 积分:1
-
Dijkstra算法
资源描述
给定一张带权有向图和图中任意两个顶点,用Dijkstra算法求出这两个顶点之间的一条最短路径。
- 2022-03-06 09:58:55下载
- 积分:1