-
重言式的判别
资源描述
先来明确一下概念:一个逻辑表达式如果对于其变元的任一种取值均为真,则成为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式,然而,更多的情况下,既非重言式,也非矛盾式。 对于一个逻辑表达式,到底属于上面三种情况的哪一种,可以有很多种判断方法,如真值表法,直接证明法等等,这些你可以参考 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报
- 2023-04-13 03:40:04下载
- 积分:1
-
非线性PCA
资源描述非线性的主成因分析法,基于常用的PCA方法中改进的非线性PCA。内有详细程序,包括算法,绘图等。
- 2022-03-24 11:34:02下载
- 积分:1
-
DESIGN OF STEEL STRUCTURES
DESIGN OF STEEL STRUCTURES
- 2023-04-30 22:35:03下载
- 积分:1
-
NRF51822 UART
/* Copyright (c) 2013 Nordic Semiconductor. All Rights Reserved.
*
* The information contained herein is property of Nordic Semiconductor ASA.
* Terms and conditions of usage are described in detail in NORDIC
* SEMICONDUCTOR STANDARD SOFTWARE LICENSE AGREEMENT.
*
* Licensees are granted free, non-transferable use of the information. NO
* WARRANTY of ANY KIND is provided. This heading must NOT be removed from
* the file.
*
*/
- 2022-06-19 21:29:20下载
- 积分:1
-
矢量控制
基于TMS320F2812的永磁同步电动机SVPWM空间矢量控制算法实现的源代码,
- 2022-08-25 23:36:59下载
- 积分:1
-
关于ACM分类的文档
对于初学者有帮助
关于ACM分类的文档
对于初学者有帮助-ACM Documents on the classification of help for beginners
- 2022-01-25 17:30:28下载
- 积分:1
-
piscaled pic
皮斯卡带领 utilizando c 段 microprocessadores pic。
皮斯卡带领 utilizando c 段 microprocessadores pic。
皮斯卡带领 utilizando c 段 microprocessadores pic。
皮斯卡带领 utilizando c 段 microprocessadores pic。
- 2022-02-06 09:27:21下载
- 积分:1
-
自适应滤波理论
Adaptive Filter Theory
- 2022-08-08 21:02:56下载
- 积分:1
-
神经计算,里面包含的代码和说明,程序员可以根据自己的需要修改任何一步分...
神经计算,里面包含的代码和说明,程序员可以根据自己的需要修改任何一步分-nerve, which contains the code and description, programmers can according to its own need to amend any step pm
- 2023-06-19 12:05:03下载
- 积分:1
-
基于C++标准模板类库的全文检索算法
基于C++标准模板类库的全文检索算法 -Based on C++ standard template library of full-text search algorithm
- 2022-07-27 18:05:52下载
- 积分:1