没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
Interactive+Theorem+Proving+and+Program+Development.
Interactive+Theorem+Proving+and+Program+Development.
Interactive
Theorem
Proving
需积分: 10
2 下载量
26 浏览量
2012-10-16
04:46:12
上传
评论
收藏
3.17MB
DJVU
举报
温馨提示
立即下载
Interactive+Theorem+Proving+and+Program+Development.
资源推荐
资源评论
Interactive Theorem Proving and Program Development
浏览：194
这是关于迭代算法的电子书，高清，最新版本，经典著作，英文版
coq's art interactive theorem proving and program development
浏览：50
5星 · 资源好评率100%
coq's art interactive theorem proving and program development
Spanner, TrueTime & the CAP Theorem.pdf
浏览：117
It manages replicated data at great scale, both in terms of size of data and volume of transactions. It assigns globally consistent real-time timestamps to every datum written to it, and clients can
Brewer’s CAP Theorem.pdf
浏览：102
At the Symposium on Principles of Distributed Computing in the year 2000, Eric Brewer held a keynote talk about his experience with the recent changes in the development of distributed databases....
米尔诺.Lectures.on.the.H-Cobordism.Theorem.-.John.W.Milnor
浏览：112
milnor 关于配边理论的讲义
自动定理证明Automated Theorem Proving
浏览：190
使学生对自动定理证明中的核心技术有透彻的了解，使他们能够将方法转移到不同的逻辑或应用程序中。
费马定理 13 Lectures on Fermat's Last Theorem.pdf
浏览：22
13 Lectures on Fermat's Last Theorem.pdf 13 Lectures on Fermat's Last Theorem.pdf
Farkas alternative and Duality Theorem.pdf
浏览：127
This set of notes proves one such theorem, called the Farkas alternative and shows that, in fact, it underpins all the duality theory of linear programming. It underlies, in fact, most of optimisaiton
The Complexity of Theorem-Proving Procedures
浏览：160
reducible, polynomial degrees of difficulty are defined, and it is shown that the problem of determining tautologyhood has the same polynomial degree as the problem of determining whether the first of
Thinking+and+Deciding.pdf
浏览：149
5星 · 资源好评率100%
his expanded treatment of topics such as risk, utilitarianism, Bayes’s theorem, and moral thinking. With the student in mind, the fourth edition emphasizes the devel- opment of an understanding of ...
Sampling_theorem.m
浏览：126
Sampling_theorem.m
Error Correction coding——mathematical methods and algorithms
浏览：178
5星 · 资源好评率100%
Error Correction Coding - Mathematical Methods and Algorithms (Source Files Contained).pdf Error Correction Coding Mathematical Methods and Algorithms Todd K. Moon Utah State University @ E ! C I E N
DB - Spanner, TrueTime and The CAP Theorem.pdf
浏览：156
5星 · 资源好评率100%
It manages replicated data at great scale, both in terms of size of data and volume of transactions. It assigns globally consistent real-time timestamps to every datum written to it, and clients can
A Critique of the CAP Theorem.pdf
浏览：72
The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases. In this paper we survey some of the confusion about the meaning of CAP,
Automated Theorem Proving
浏览：121
这是关于自动机理论的电子书，高清，最新版本，经典著作，英文版
Matrix Differential Calculus with Applications in Statistics and Econometrics
浏览：130
5星 · 资源好评率100%
3Matrices: addition and multiplication . . . . . . . . . . . . . . .4 4The transpose of a matrix . . . . . . . . . . . . . . . . . . . . .6 5Square matrices . . . . . . . . . . . . . . . . . . . . . .
Perspectives on the CAP Theorem.pdf
浏览：172
In this paper, we review the CAP Theorem and situate it within the broader context of distributed computing theory. We then discuss the practical implications of the CAP Theorem, and explore some ...
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：73
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：67
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
浏览：100
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：117
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：148
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：30
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：146
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形状/图形库
浏览：103
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
AxureRP9项目原型50套、案例20个、元件库1套.zip
浏览：16
AxureRP9项目原型50套、案例20个、元件库1套。非原创，其中一批比较好的案例值得参考，元件库直接可用，简洁美观。分享给需要的人。
北理工+成电+东南——通信/信号保研面试真题.pdf
浏览：66
本文档整理了本人在2019年推免过程中，面试老师问到的问题，本文具体包括以下三所院校：北京理工大学雷达技术研究所；电子科技大学泛在无线网络实验室、多维信息感知实验室、图像处理研究所；东南大学移动通信国家重点实验室。对于面试中涉及到的专业课问题，我在面试结束后查阅书籍并给出了个人解答，仅供参考。
数字信号处理——保研复习资料.pdf
浏览：72
本文档为数字信号处理（DSP）复习文档，参考书籍为高西全老师主编的《数字信号处理——原理、实现及应用》第二版，全文共33页，包含以下内容： 一、绪论 二、时域离散信号与系统 三、时域离散信号和系统的频域分析 四、离散傅里叶变换（ DFT）及其快速算法（ FFT） 五、模拟信号数字处理 六、数字滤波器 七、IIR数字滤波器（ IIRDF）设计 八、FIR数字滤波器（ FIRDF）设计 九、少量经
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
marissa_yao
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
Screenshot_20240425_151016.jpg
数据挖掘实验一-1数据表资源2
数据挖掘实验一-1数据表资源1
标准化相关知识，标准化试点申报
logic 2.4.14 软件、逻辑分析仪开源上位机
基于python实现使用BP神经网络识别MINST字符集
Python基于深度学习DenseNet密集连接卷积神经网络的岩石的识别与分类项目源代码+模型
web服务器之nginx资源
Vuforia AR篇（三）- AR模型出场效果
基于差分隐私保护技术的协同过滤推荐系统源码+论文.zip
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
