只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
离散数学知识点总结
离散数学知识点总结
上传者:
38545463
|
上传时间: 2022-02-25 09:00:39
|
文件大小: 2.11MB
|
文件类型: -
命题的否定
命题逻辑
数学
一、知识框架图 二、数理逻辑 1.命题符号化 命题:能判断真假的陈述句 命题包含两个要素:陈述句,能判断真假 命题题符号化的步骤: 1 )对于不太好理解的联结词或表达方式,如有必要,做适当的文字翻译。 2 )找出其中所有的原子命题并符号化。 3 )用适当的联结词将原子命题连接起来,如有必要,在适当位置配上括号。 2.真值表 设A是一命题公式, P1,P2….
文件下载
立即下载
评论信息
其他资源
MIPS 54条多周期CPU
Matlab 多目标优化
胡寿松自动控制原理配套PPT课件
Iedis-2.56(idea集成redis可视化插件)
PSIM9.1.4 Professional x86破解版
中文文本预处理;k-means聚类
matlab卷积码编译码 维特比软判决(2,1,3)
被动时反通信MATLAB仿真
在LabVIEW中自定义控件.pdf
K-Means聚类算法C#实现
STM32L152例程
ABBACS800说明书
基于java视频播放器
AVR单片机程序编写软件
sqlite-winrt-3340100.vsix
批量word文档转HTML文档(Win版)
6-11(本地化与国际化).7z
falco:云原生运行时安全性-源码
央视新闻微博数据(2019-12-30至2020-12-31)
wishbone总线
CAD arxobject二次开发入门之动态属性
精通Eclipse整合Web开发——Struts,Spring,Hibernate,JBPM-part1
emma_matlab
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
MPC 模型预测控制matlab仿真程序
先进PID控制Matlab仿真第4版-PDF+代码.zip
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
Plexim Plecs Standalone 4.1.2 x64.7z
基于Matlab的IEEE14节点潮流计算.zip
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
王万良-人工智能导论(第五版)课件
多智能体的编队控制程序的补充(之前上传少了一个文件)
BP_PID控制仿真.rar
基于MQ2烟雾传感器的STM32F103程序
java-spring-web-外文文献翻译40篇.zip
Steam离线安装版
voc车辆检测数据集(已处理好,可直接训练)
Keil5安装包
最新下载
labview出租车计价
群晖7.0套件nastool-2.9.0-x64-DSM7.spk
汇川IS620P伺服驱动器简易版手册
CCToolbox matlab
WebEx Recorder Editor 40.6.3.8.rar
PADS9.5破解工具和方法
三星easy display manager win7/10 64位
NACA 翼型生成器及使用说明
【已支持D11】DevExpressVCL一键编译安装工具_v11.1
GOF设计模式(超清晰中文).pdf