-
重言式的判别
资源描述
先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分:1
-
51单片机循迹小车
应用背景基于51 单片机的简单循迹小车,仅个人娱乐所用,采用6个传感器可实现90度直角转弯,还能转小于90度的,也有原地掉头功能(前方无路时),刚入门,程序好不好,望勿喷。关键技术大家都知道51程序很简单,方法也各式各样,我刚步入大学的一个小程序,个人认为还有很多不周到的地方,但是我亲测有用,基本功能实现没有问题,但传感器位置很重要。个人采用的是“八”字形排布。
- 2022-05-30 10:48:08下载
- 积分:1
-
发现主机网络
测试一个给定IP地址是否可以在本地使用,并且可以获得更多信息的设备使用的地址,使用ICMP探测网络层,在链路层只在本地网络上使用ARP探测主机
- 2023-01-18 23:15:04下载
- 积分:1
-
很简单的程序,只是一个+法运算,给大家玩玩,想下载个资源
很简单的程序,只是一个+法运算,给大家玩玩,想下载个资源-GOOD
- 2023-08-27 05:10:03下载
- 积分:1
-
本文件为线性方程组求解的指导,并赋有代码
本文件为线性方程组求解的指导,并赋有代码-This document is for the linear equations to solve the guidance of, and are endowed with the code
- 2022-04-02 03:14:45下载
- 积分:1
-
哈夫曼算法
数据结构与算法设计作业,有助于理解,哈弗曼算法简单实现,哈夫曼树,可用于写小型压缩解压缩软件作为核心算法,对数据结构有兴趣,或对压缩软件工作机理有兴趣者可以看看。
- 2022-11-28 09:25:03下载
- 积分:1
-
几个关于汉诺塔算法的C++源代码,对于理解递归算法很有帮助...
几个关于汉诺塔算法的C++源代码,对于理解递归算法很有帮助-Tower of Hanoi algorithm on a few of the C++ source code helpful for understanding the recursive algorithm
- 2022-02-25 22:03:59下载
- 积分:1
-
factorial algorithm calculation, calculation methods used Reverse the data struc...
计算阶乘的算法,方法采用逆序计算的数据结构,效率很高。-factorial algorithm calculation, calculation methods used Reverse the data structure, high efficiency.
- 2023-01-26 09:05:04下载
- 积分:1
-
GMM前景提取应用
基于OpenCV从采用混合高斯模型GMM算法应用在视频监控等场景下进行前景提取,通过大量的训练样本对背景的混合高斯模型进行训练,能够实时精确地提取出视频中的前景行人。
- 2022-09-09 06:25:06下载
- 积分:1
-
支持向量机 Python 项目
这是支持的向量机 (SVM) 的代码。在 SVMProject.zip 中,你会得到一个 eclipse 项目。将导入到 eclipse,python 的源代码和它的数据。svm.py 包含支持向量机算法和实用程序函数。matplot.py 是图的功能。main.py 是这个项目的中考。
- 2022-03-20 12:59:10下载
- 积分:1