没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
数理逻辑与机器证明(陆钟万)
数理逻辑与机器证明(陆钟万)
人工智能
机器证明
5星
· 超过95%的资源
需积分: 50
61 下载量
153 浏览量
2009-11-25
23:01:36
上传
评论
收藏
2.57MB
PDF
举报
温馨提示
立即下载
本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！
资源推荐
资源评论
面向计算机科学的数理逻辑(PDF:陆钟万)
浏览：134
5星 · 资源好评率100%
1) PDF格式，带目录 2) 陆中万著，科学出版社
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
浏览：128
5星 · 资源好评率100%
面向计算机科学的数理逻辑第二版-陆钟万 习题答案
面向计算机科学的数理逻辑
浏览：57
面向计算机科学的数理逻辑（第二版）-陆钟万(1).pdf
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：150
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：171
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
浏览：18
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：60
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：75
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：38
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：82
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：45
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览：192
AxureRP9项目原型50套、案例20个、元件库1套。非原创，其中一批比较好的案例值得参考，元件库直接可用，简洁美观。分享给需要的人。
北理工+成电+东南——通信/信号保研面试真题.pdf
浏览：11
本文档整理了本人在2019年推免过程中，面试老师问到的问题，本文具体包括以下三所院校：北京理工大学雷达技术研究所；电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所；东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题，我在面试结束后查阅书籍并给出了个人解答，仅供参考。
数字信号处理——保研复习资料.pdf
浏览：179
本文档为数字信号处理（DSP）复习文档，参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版，全文共33页，包含以下内容： 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换（ DFT）及其快速算法（ FFT） 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器（ IIRDF）设计 八、FIR数字滤波器（ FIRDF）设计 九、少量经
风电和储能并网Simulink模型
浏览：163
3星 · 编辑精心推荐
在MATLAB2017a中搭建了风电和储能并网Simulink模型，风机采用传统的双闭环矢量控制策略，电池储能系统采用的是PQ矢量控制策略，可以稳定的向电网传输功率，电压电流波形较好。
使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速
浏览：8
5星 · 资源好评率100%
使用STM32F103C8T6+L298N+MG513P30电机使用外部中断法和输入捕获法进行编码器测速，配套博客使用
COMSOL各个模块中文使用手册及教程，入门必备
浏览：118
第一款真正的任意多物理场直接耦合分析软件COMSOL Multiphysics 中文使用手册。 AC/DC模块(AC/DC Module) 声学模块(Acoustics Module) CAD导入模块(CAD Import Module) 化学工程模块(Chemical Engineering Module) 地球科学模块（ Earth Science Module） 热传导模块(Heat Tra
FMEA第五版（中文版）
浏览：31
5星 · 资源好评率100%
FMEA第五版Draft中文版，FMEA第五版Draft中文版。。。
离散数学及其应用第八版偶数题答案
浏览：187
离散数学及其应用第八版偶数题答案（英文
xmind软件所需文件.7z
浏览：10
4星 · 用户满意度95%
xmind教程所需文件
通信原理——保研复习资料.pdf
浏览：3
4星 · 用户满意度95%
本文档为通信原理复习文档，使用于保研复习基本概念及常见保研面试的问答知识点，参考书籍为张辉老师主编的《现代通信原理与技术》第四版，全文共38页，包含以下内容： 一、绪论 二、随机过程 三、信道与噪声 四、模拟调制系统 五、数字基带传输系统 六、模拟信号的数字传输 七、数字频带传输系统
专接本_汇编工具_2021年授课专用.exe
浏览：82
5星 · 资源好评率100%
用于专接本课程的最重要的汇编课程实例测试。
基于python+django学生信息管理系统设计与实现（毕业论文+毕设源码）.zip
浏览：136
5星 · 资源好评率100%
1 系统需求分析 1.1系统概述 1.2功能需求 1.3用例图 1.4数据流程图 2 系统技术及运行环境 2.1 运行平台 2.2 开发工具使用 2.3 选用数据库 3 系统设计 3.1 功能树设计 3.2 数据库设计 4 软件设计 4.1界面设计 4.2程序设计 5. 系统测试 5.1 测试用例及过程 5.2 测试报告 结论 致 谢 参考文献
zotero GB/T 7714-2005 毕业论文参考文献 中国引文样式 完整修改版.csl文件
浏览：177
5星 · 资源好评率100%
zotero官方的引文格式以下问题都解决了：1、作者名大写问题；2、英文作者名后出现“等”的问题；3、硕博论文后出现[D/OL]的问题；4、参考文献后多出插入日期，如[2020–02–25]，的问题；5、会议[C]后没有//的问题。
智能控制-刘金琨 -第4版.pdf
浏览：42
5星 · 资源好评率100%
智能控制用书，清晰版本，学生用书
数字孪生体白皮书(全版)2019完成.pdf
浏览：167
5星 · 资源好评率100%
主要讲述数字孪生体得关键技术，中调描述数字孪生制造、数字孪生生产、数字孪生城市、数字孪生战场等，数字孪生涉及到人工智能、云计算、区域链等核心关键技术，是一个高科技新技术得综合体。
墨墨背单词破解版（无限单词）
浏览：82
3星 · 编辑精心推荐
亲测非常好用，再也不用担心单词不够了
CISP题库（带答案）【精品】
浏览：167
5星 · 资源好评率100%
注册信息安全专业人员 CISP 模拟试卷，共84页，364道题目，附有答案，精品试题。================================================================
模型预测控制陈虹.pdf
浏览：11
模型预测控制陈虹.pdf
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
xoyoxian
2017-02-20
这种教材很不好找了，体积小巧的，非常好用。
bingqilin55yh
2013-07-04
经典入门教材 ~
ancylostomiasis
2016-11-17
这么小的文件还是扫描版，太棒了。
pgser
粉丝: 10
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
csdn中x-ca-key,x-ca-nonce,x-ca-signature与x-ca-signature-headers探索
Image_1714012264770.png
wine_quality.arff
Fortran.zip00002
电气类112、锂离子电池生产温度预测数据集
719535213496899PDF电子版.zip
VIDEO.LST
原生js调用chatgpt接口，流式回复逐字输出
基于Java web的网页选择图片按需裁剪图像并上传后台接收源码.zip
mysql自带的lib文件
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
