只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
数理逻辑 汪芳庭 XPS文档(可用IE直接打开)
上传者:
harrysummer
|
上传时间: 2019-12-21 19:51:00
|
文件大小: 3.58MB
|
文件类型: xps
数理逻辑
汪芳庭
国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。
文件下载
立即下载
评论信息
「已注销」 :
还可以的书,详细
2017-10-09
laomao22311 :
扫描质量一般。内容还可以i
2016-04-26
xiaoqian321 :
很好的书,写的条理清晰,容架构很好
2016-03-15
egg90 :
接触最早的数理逻辑书之一,内容架构还不错
2016-02-15
wangxingfeng1989 :
不错這的参考
2016-01-20
其他资源
des16轮加解密与三轮简化des攻击
FET-Pro430_MSP430烧录软件_支持写序列号
wpf中转换器的简单使用
讯景XFX580 8G BIOS
企业人事管理系统
QT项目:学生成绩管理系统
青年志愿者信息管理系统jsp+servlet+jdbc.zip
java比较两个mysql数据库中的表信息差异
广东工业大学操作系统实验程序及报告(全)
城市物流配送系统模型与优化
算法实践:알고리알고-源码
DMIEDITV210.7z
ipfs-desktop-master.zip
多标记-源码
S6D0110_V0.4_20020708.pdf
css3模糊demo.zip
敏捷新挑战:如何打造混合团队
winform 自定义日期控件--(201903)
3550smi升级到emi方法,带镜像文件
PIC串口发送接收多字节
libeay32.dll 、 ssleay32.dll动态链接库
MFC 贪吃蛇
oracle ojdbc6.jar (11.2.0.4)驱动
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
MPC 模型预测控制matlab仿真程序
Keil5安装包
基于LSTM模型的股票预测模型_python
Spring相关的外文文献和翻译(毕设论文必备)
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
基于STM32的FFT频谱分析+波形识别
2020年数学建模国赛C题论文
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
鲸鱼优化算法 WOA matlab源代码(详细注释)
PLECS中文手册.pdf
IEEE33节点配电网Simulink模型.rar
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
基于MQ2烟雾传感器的STM32F103程序
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
python爬虫数据可视化分析大作业.zip
最新下载
原创人机对战泡泡堂
易语言A星寻路算法
易变远航模块5.3版(易用好用)
远航模块4.27-2
远航模块4.35-1
GenSMBIOS-master.zip
电影站源码,视频站源码,影视站源码,前后端,苹果CMS maccms10 模板超简洁适合优化 访问快,自适应模板,自动采集入库
VeeamBackup&Replication;_9.5 lic
FixPhone.dylib
Endat2.2协议