-
重言式的判别
资源描述
先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分:1
-
此文件包含某大学ACM暑期培训课程中关于二分匹配的讲义ppt和匈牙利算法代码。...
此文件包含某大学ACM暑期培训课程中关于二分匹配的讲义ppt和匈牙利算法代码。-This file contains a university summer ACM training courses on the two sub-matching algorithm lectures ppt and Hungary code.
- 2022-03-21 14:46:08下载
- 积分:1
-
数列计算
例如,当k=3时,这个序列是:
1,3,4,9,10,12,13,…
(该序列实际上就是:3^0,3^1,3^0+3^1,3^2,3^0+3^2,3^1+3^2,
3^0+3^1+3^2,…)
请你求出这个序列的第N项的值(用10进制数表示)。
例如,对于k=3,N=100,正确答案应该是981。
输入格式
输入只有1行,为2个正整数,用一个空格隔开:
k N
(k、N的含义与上述的问题描述一致,且3≤k≤15,10≤N≤1000)。
输出格式
输出为计算结果,是一个正整数(在所有的测试数据中,结果均不超过2.1*10^9)。(整数前不要有空格和其他符号)。
样例输入
3 100
样例输出
981
- 2022-03-12 08:20:11下载
- 积分:1
-
独立分量分析,利用此程序可以提取独立分量
独立分量分析,利用此程序可以提取独立分量-independent component analysis, the use of this procedure can be extracted ICA
- 2022-02-12 03:12:23下载
- 积分:1
-
文件系统及其相关的操做
资源描述本章主要介绍了文件系统及其相关的操作。文件系统是应用程序设计中很重要的部分,也是Visual
Basic 6.0的一个重点。读者在了解文件结构的基础上,应该学会对顺序文件、随机文件及二进制文件的进行读写等操作。
- 2022-04-14 22:37:09下载
- 积分:1
-
用c++实现的矩阵运算类,包括了各种矩阵的运算
用c++实现的矩阵运算类,包括了各种矩阵的运算-With c++ Realization matrix calculation categories, including a variety of matrix operations
- 2022-03-25 07:07:16下载
- 积分:1
-
感兴趣区域切割
应用背景自适应地切割图像局部区域,该局部区域的特征是纹理变化比较大,也就是纹理特征的熵比较大,这种情况下代表的图像特征也就比较明显。这个区域的特征点数量多而且稳定,适用于图像匹配、图像拼接等领域。关键技术借用opencv图像处理库函数,实现图像的轮廓提取,形态学运算,图形块分割,先将小于设定的面积阈值的图像块删除,在通过纹理熵比较获得纹理变化最大的图像块。
- 2022-08-16 23:03:29下载
- 积分:1
-
oil commonly used unit conversion of suitable geophysical the people
石油常用单位换算,适合学地球物理方面的人-oil commonly used unit conversion of suitable geophysical the people
- 2023-04-08 03:40:03下载
- 积分:1
-
Java压缩解压ZIP
用Java压缩解压ZIP文件,将利用java.util.zip 包中提供的类来实现压缩和解压zip 格式文件的功能。当然,本例在功能上完全没有Winzip 等成熟的压缩软件那么强,也不能做的很强,本例仅仅是演示如何来使用java.util.zip 包中的类。
- 2022-07-23 12:53:47下载
- 积分:1
-
Kalman Optical Flow 算法的入门级例子
Kalman Optical Flow 算法的入门级例子-Kalman Optical Flow Algorithm for the entry-level example
- 2022-01-28 21:41:45下载
- 积分:1