只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
完整的ssm商城项目 + JavaWEB商城项目(包括数据库)
Python决策树可视化代码.zip
随机信号分析基础第二章习题答案
Matlab实现图像风格化 倒影,浮雕,素描.zip
基于基于遗传算法matlab优化程序
Optilux光通信仿真资源包
STM32CubeMx+Protues+VSPD仿真实现调试串口
如何使用CiteSpace进行中文的文献分析(I):CNKI部分
广工编译原理的复习资料(试卷等)
FFmpeg+Qt+RTSP
java开发实现163邮件发送(支持附件
android-studio-ide-193.6514223-mac.dmg
UML软件建模之UML的构成
visualvm_206
FileZilla_3.5.3_win32-setup.rar
app-release:IoT解决方案,这是android版本的app | 在应用商店中下载ios应用-源码
论代码级性能优化变迁之路(二)
Unity里面对于Mesh编程的教程
《例说STM32》随书光盘
高仿微信界面
周立功CAN接口开发资料
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
全国河流水文站坐标.xls
Alternative A2DP Driver 1.0.5.1 无限制版
simulink仿真实现光伏发电MPPT+能量管理
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
elsevier 爱思唯尔 系列期刊的word模板,template,单栏,双栏
西安问题电缆-工程伦理案例分析.zip
python实现的学生信息管理系统—GUI界面版
多目标优化算法(四)NSGA3的代码(python3.6)
RentingSystem.rar
先进PID控制Matlab仿真第4版-PDF+代码.zip
画程(版本6.0.0.127)setup个人版
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
opcua服务器模拟器+opcua客户端工具.rar
长江流域shp.zip
云视通端口扫描器.rar
最新下载
C++数值算法(第三版)英文版(内附有源码)
类似滴滴打车,多辆小车在地图上平滑移动的实现,基于百度地图实现(轨迹已画好和无轨迹)
PHP网约车H5打车系统源码-乘客端与司机端完整解决方案
我要打车--Android安卓打车软件源码
华为光猫ONT使能维修工具773-华为ONT组播版本配置工具773最新版本
BOE NE156QHM-NY4屏幕校色文件
扬声器系统设计手册 第七版
微信小程序个人中心-我的界面
郑莉《c++语言程序设计第四版 》课件及课后答案
软件工程及应用_张斌东北大学出版社