没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
C/C++
高级数理逻辑
高级数理逻辑
高级数理逻辑
需积分: 10
7 下载量
138 浏览量
2013-11-07
18:14:53
上传
评论
收藏
126KB
DOC
举报
温馨提示
立即下载
高级数理逻辑课件,有关公式公理什么的~学计算机的同学可能用到,研究生阶段的课程
资源推荐
资源评论
高等数理逻辑2018
浏览:196
高等数理逻辑课件,2018复习资料,utf8面向计算机的数理逻辑电子版
高等数理逻辑ppt第一章.pdf
浏览:32
高等数理逻辑ppt
高级数理逻辑 教案 北京邮电
浏览:184
5星 · 资源好评率100%
逻辑是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容: 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
高级数理逻辑课件PPT
浏览:143
4星 · 用户满意度95%
西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎
北邮-高级数理逻辑全套资料
浏览:164
北邮全套的研究生高级数理逻辑资料哦,还有个人整理的部分试卷答案,资源丰富。
高级数理逻辑第八章
浏览:120
4星 · 用户满意度95%
高级数理逻辑第八章:模糊逻辑;并不是说逻辑本身是模糊的,而是指用来描述模糊的逻辑。模糊逻辑是模糊集的理论,模糊集能够校正含糊的知识
汪芳庭 数理逻辑
浏览:144
3星 · 编辑精心推荐
作者: 汪芳庭 出版社: 中国科学技术大学出版社 出版年: 1990年9月 页数: 273
北京大学数理逻辑
浏览:89
4星 · 用户满意度95%
北京大学数理逻辑,讲述了数理逻辑的相关内容,希望对你的学习有帮助。
数理逻辑课件
浏览:152
Probabilistic Model Checking 英文版 和中文版的 上课老师的课件
高级数理逻辑第四章
浏览:150
4星 · 用户满意度95%
高级数理逻辑第四章:谓词演算和一阶逻辑,一阶逻辑谓词
高级数理逻辑第六章
浏览:24
5星 · 资源好评率100%
高级数理逻辑第六章:时态逻辑的发展历史及详细内容
高级数理逻辑第一章
浏览:119
高级数理逻辑的第一章,介绍了高级数理逻辑的发展,及相关应用~
高级数理逻辑第三章
浏览:191
高级数理逻辑第三章:命题演算,及其在计算机中的应用
高级数理逻辑第五章
浏览:4
高级数理逻辑第五章:讲述模态逻辑,可能、必然与任意、存在的关系
高级数理逻辑第二章
浏览:193
高级数理逻辑第一章,数理逻辑划分,及现代逻辑体系
高级数理逻辑课件下载
浏览:162
5星 · 资源好评率100%
高级数理逻辑课件下载,包含7章内容和绪论,含丰富的例题
高级数理逻辑第八章(续)
浏览:23
高级数理逻辑第八章(续):模糊逻辑的基本思想是任何事情都允许有一定的程度。
高级数理逻辑第七章
浏览:98
高级数理逻辑第七章:λ-演算(Lambda 演算);λ-演算是一套用于研究函数定义、函数应用和递归的形式系统
高级数理逻辑 模糊逻辑
浏览:22
高级数理逻辑相关的课程中的模糊逻辑,对模糊逻辑有了大致的分析
高级人工智能,数理逻辑
浏览:123
国科大高级人工智能,数理逻辑,形式推演。台湾大学 于天立教授 “人工智慧”课程
高级数理逻辑试卷参考答案-附件资源
浏览:151
高级数理逻辑试卷参考答案-附件资源
Qt上位机软件串口通讯,视频源码,免费下载
浏览:128
3星 · 编辑精心推荐
Qt上位机软件串口通讯,视频源码,免费下载,视频上我的b站主页找https://space.bilibili.com/401094174
代码随想录算法PDF.rar
浏览:70
3星 · 编辑精心推荐
代码随想录算法PDF.rar
张玉生《C语言程序设计》双色版 C语言程序设计理论教材习题参考答案.pdf
浏览:69
5星 · 资源好评率100%
张玉生《C语言程序设计》双色版 教材课后习题答案,仅供参考,大家一定要自己做一遍再校对答案,实验书的答案已经以文章的形式发布了。
cloud compare用户手册(中文+英文)
浏览:120
4星 · 用户满意度95%
cloud compare用户手册官方英文版本和中文翻译版本(WPS翻译的260页),我之前都没有找到靠谱的帮助文档,自己找了半天,花了50块钱翻译的。希望能给大家提供帮助。
CRC8/CRC16/CRC32常见几个标准的算法及C语言实现
浏览:15
5星 · 资源好评率100%
用表驱动法来实现CRC8、CRC16、CRC32的数据校验,程序简洁,通俗易懂
STM32F4 ADC采样FFT运算测试代码
浏览:17
5星 · 资源好评率100%
模拟信号经过ADC采样后变成数字信号,数字信号可以进行FFT运算,在频域中更容易分析信号的特征。此代码用STM32F407的ADC-DMA模式采集4096个点的数据,利用DSP库里的FFT算法进行快速傅里叶变换,经实测可以使用。
第十二届蓝桥杯大赛模拟赛(第三期).pdf
浏览:193
5星 · 资源好评率100%
蓝桥杯
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
lylingjs
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
上市公司-各企业广告支出数据(2000-2022年).txt
大学毕业设计《Python在线考试系统后端+前端》+源代码+设计资料
云计算笔记(第二次)111
基于51单片机对直流电机的控制和测速
中心频率为2.45GHz,板材为FR4的微带带通滤波器,为平行耦合线结构
Java《基于SSM的在线考试系统 》+源代码+设计资料
基于Flink框架的实时智能营销系统研究.pdf
基于Django的放疗流程管理系统的实现与临床应用.pdf
乡村高质量发展匹配新质生产力数据.dta
《基于python的PCA人脸识别算法 》+实现源码+设计资料
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功