没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
高级数理逻辑第三章
高级数理逻辑第三章
高级数理逻辑
需积分: 20
4 下载量
125 浏览量
2012-12-30
09:10:17
上传
评论
收藏
1.39MB
PPT
举报
温馨提示
立即下载
高级数理逻辑第三章：命题演算，及其在计算机中的应用
资源推荐
资源评论
高级数理逻辑
浏览：60
高级数理逻辑课件，有关公式公理什么的~学计算机的同学可能用到，研究生阶段的课程
高级数理逻辑 模糊逻辑
浏览：6
高级数理逻辑相关的课程中的模糊逻辑，对模糊逻辑有了大致的分析
高级人工智能，数理逻辑
浏览：167
国科大高级人工智能，数理逻辑，形式推演。台湾大学 于天立教授 “人工智慧”课程
高级数理逻辑 教案 北京邮电
浏览：132
5星 · 资源好评率100%
逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。
高级数理逻辑第二章
浏览：11
高级数理逻辑第一章，数理逻辑划分，及现代逻辑体系
高级数理逻辑第八章
浏览：133
4星 · 用户满意度95%
高级数理逻辑第八章：模糊逻辑；并不是说逻辑本身是模糊的，而是指用来描述模糊的逻辑。模糊逻辑是模糊集的理论，模糊集能够校正含糊的知识
高级数理逻辑第八章（续）
浏览：141
高级数理逻辑第八章（续）：模糊逻辑的基本思想是任何事情都允许有一定的程度。
高级数理逻辑第七章
浏览：48
高级数理逻辑第七章：λ-演算（Lambda 演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统
北邮-高级数理逻辑全套资料
浏览：74
北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。
高级数理逻辑第一章
浏览：125
高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~
高级数理逻辑第六章
浏览：73
5星 · 资源好评率100%
高级数理逻辑第六章：时态逻辑的发展历史及详细内容
高级数理逻辑试卷参考答案-附件资源
浏览：69
高级数理逻辑试卷参考答案-附件资源
高级数理逻辑第五章
浏览：26
高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系
高级数理逻辑课件PPT
浏览：125
4星 · 用户满意度95%
西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎
数理统计第三章数理统计第三章
浏览：127
数理统计第三章数理统计第三章数理统计第三数理统计第三章章数理统计第三章数理统计第三章
高级数理逻辑第四章
浏览：172
4星 · 用户满意度95%
高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词
面向计算机科学的数理逻辑课后习题答案_1-5章
浏览：69
5星 · 资源好评率100%
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
高级数理逻辑课件下载
浏览：154
5星 · 资源好评率100%
高级数理逻辑课件下载，包含7章内容和绪论，含丰富的例题
数理逻辑答案数理逻辑
浏览：138
4星 · 用户满意度95%
数理逻辑答案，数理逻辑答案，数理逻辑答案，数理逻辑答案
哈工大数理逻辑课后答案
浏览：114
哈工大数理逻辑的课后答案，帮助学习学妹完成作业哦，仅供参考。 哈工大数理逻辑的课后答案，帮助学习学妹完成作业哦，仅供参考。
数理逻辑第三版英文答案
浏览：190
数字设计原理与实践第三版答案 1.2 Three definitions of “bit”: (1) A binary digit (p. 1). (2) Past tense of “bite” (p. 1). (3) A small amount (pp. 6, 10). 1.3 ASIC Application-Specific Integrated ...
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：159
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：158
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：166
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：119
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：33
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：67
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
mibunuo
粉丝: 1
资源:
33
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
基于树莓派pico和python3的自动浇水程序
C语言输出母亲节祝福（内含详细描述）
JLink-Windows-V796g
C语言输出母亲节祝福（内含详细描述）
一个用于Vue.js应用程序的状态管理模式 + 库 它充当应用程序中所有组件的集中存储，其规则确保状态只能以可预测的
关于java出租车计价器设计与实现.zip
C语言输出母亲节祝福（内含详细描述）
智能家居app-v1.0.apk
Value.ipynb
母亲节祝福 Python 代码（包含详细介绍）
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
