只为小站
首页
域名查询
文件下载
登录
首页
开发技术
其它
离散数学知识点总结
离散数学知识点总结
上传者:
38545463
|
上传时间: 2022-02-25 09:00:39
|
文件大小: 2.11MB
|
文件类型: -
命题的否定
命题逻辑
数学
一、知识框架图 二、数理逻辑 1.命题符号化 命题:能判断真假的陈述句 命题包含两个要素:陈述句,能判断真假 命题题符号化的步骤: 1 )对于不太好理解的联结词或表达方式,如有必要,做适当的文字翻译。 2 )找出其中所有的原子命题并符号化。 3 )用适当的联结词将原子命题连接起来,如有必要,在适当位置配上括号。 2.真值表 设A是一命题公式, P1,P2….
文件下载
立即下载
评论信息
其他资源
基于stm32简易闹钟,采用DS3231实时时钟模块
osg3.6+OE2.10帮助文档
五子棋大作业(C++实现)
Keil.STM32F0xx_DFP.2.0.0.rar
计算机科学与技术毕业论文+项目+视频展示
张正友相机标定python实现
DNS隐秘隧道pcap包
下位机Arduino和上位机LabVIEW共同组成的智能密码锁
matlab进行HARQ协议仿真
太阳能小屋的设计
高维数据支持向量机特征选择
Zemax 2016破解.zip
基于node.js和h5的在线电影网站
jsp在线考试系统外文翻译
局域网与城域网
Android读取ppt和pdf文件的代码例子
Grails与Maven集成
Redis-x64-5.0.10.zip
嵌入式imx6核心板
Chrome扩展(popup页面,content页面,还有background通信)
jackson-databind jackson-annatation jackson-core jackson-mapper
java实战项目code部分(15个项目)
货物管理系统--vfp课程设计
rs232串口收发verilog程序
MATLAB环境下的船用柴油机故障诊断的模拟研究
C++实验5代码5
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
Actionscript
C
C#
C++
Delphi
Java
Javascript
Perl
PHP
Python
VB
Web开发
硬件开发
其它
热门下载
scratch版 我的世界.sb2
中国地面气候资料日值数据集(V3.0)2010-2019.rar
多目标优化算法(四)NSGA3的代码(python3.6)
商用密码应用与安全性评估——霍炜.pdf
DS证据理论的MATLAB案例程序源代码
android开发期末大作业.zip
非线性本构关系在ABAQUS中的实现.pdf
csma/ca和csma/cd的matlab仿真源代码带有详细的注释
PLECS中文手册.pdf
多目标微粒子群算法MOPSO MATLAB代码
EEupdate_5.35.12.0 win10下修改intel网卡mac
avantage 软件 xps 处理软件30天后不能使用问题
Plexim Plecs Standalone 4.1.2 x64.7z
quartus II13.0器件库.zip
雷达信号处理仿真程序(MTI,MTD等)
最新下载
基于matlab鲸鱼优化算法求解开放式路径优化问题
TE过程模型 故障1 PCA诊断
建筑物外墙缺陷数据集(开裂,鼓包,脱皮)
STM32+OV7670+LCDTFT(显示256灰阶)
高速手势识别系统解决方案
SDRAM控制器(用Verilog编写)
光栅投影三维精密测量.zip
全国中小学学校数据库(包含地市及学校类型等信息)完整版(附使用说明)
人邮教育出版社教程 - 微信小程序开发实战(第2版)课本项目源代码
CocosCreator 框架设计