只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
ptrace安卓程序注入例子
PPL锁相环matlab
BP神经网络预测超详细
利用50层ResNet实现手势数字的识别
依相燃气调试系统
zynq使用的OLED(芯片SSD1306)驱动程序
CocosCreator精品塔防 游戏源码
六种设计模式结合的Java绘图板
SPH算法 流体仿真模拟 亲测可运行
在页面中导入excel文件并以表格显示
基于51单片机的直流电动机调速器程序
ARM-MMU(中文手册).pdf
DSP中的DSP芯片主流厂商分析与常用芯片
基于汇编语言的万年历的设计
踢屁股30-源码
工业品出厂价格(PPI)(1993.1-2019.10).csv
PHP对接阿里OSS API
SmartGit19.1.3_Crack
基于C51的单片机温度控制系统设计
动态分区分配方式的模拟
调用系统相机拍照并压缩保存,视频录制并播放功能
the art of scalability(架构即未来)英文版
GB/T 36334-2018 智慧城市 软件服务预算管理规范-其它文档类资源
ARUBA控制器上的常用命令
jsp问卷调查系统完整
学习cocos2d-x 3.0自己写的游戏2048
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
matpower5.0b1.zip
故障诊断数据集及实现代码
2022学术英语写作(东南大学) 章节测试+期末test答案
2020年数学建模国赛C题论文
现代操作系统原理与实现.pdf
基于FPGA的DDS信号发生器设计(频率、幅度、波形可调)
IBM CPLEX 12.10 学术版 mac操作系统安装包
基于MATLAB的Filter使用,低通、带通和高通滤波器的仿真
云视通端口扫描器.rar
2019和2021年华为单板通用硬件笔试题及答案
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
2021华为芯片研发岗位笔试题
avantage 软件 xps 处理软件30天后不能使用问题
基于matlab扩频通信系统仿真(整套代码)
最新下载
微信助手 3.9-2(MiYou-3.9.2)
【电子设计自动化】Proteus 9.0 SP6安装包
欧盟 Ecall/NgEcall EN17240/2024 法规文档
小黄条便签java版
增值税普通发票-数据集
2026 GEO优化源码方案[源码]
MW310R-V4升级软件20140123.rar
Cesium for unity源码编译以及我碰到的问题解决方法(我奶奶来了都能整出来)
增值税发票相关的数据集
康耐视cognexVisionpro C#二次开发多相机视觉对位框架:涵盖多相机逻辑运算、运动控制、自动标定与TCP/IP通讯功能,康耐视cognexVisionpro二次开发多相机视觉对位框架:实现