只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
常用AD元件库、封装库、3D封装库.zip
[Unity3D] R-Life0.8完美存档、全解锁教程
ADRC自抗扰控制simulink仿真程序
基于simulink的储能逆变器VF控制仿真matlab.zip
stm8S103控制TM1650
路由器 RT5350F openwrt固件
NC-Verilog 中文教程
工控图库安装软件(组态软件图库)
Truetime manual Truetime2.0 使用手册
简单多边形的屋脊线计算算法
基于Web的选课系统
032--新员工入职培训.pptx
阿里p4-p6面试题.pdf
tsmc90工艺standardcell库pdk
连恩精益排产LPS简介.pdf
Solidity官方文档中文版
网上书店系统 java+sql+jsp
LC-3 Editor和LC-3 Simulator
基于redis服务的tomcat容器session共享配置相关jar包
ST电机库5.3.3_FUL版本
libevent-2.1.8-stable
three.min.js多版本集合
popupwindow列子解决黑边框,点击外部不消失
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
DS证据理论的MATLAB案例程序源代码
PLECS中文手册.pdf
python实现的学生信息管理系统—GUI界面版
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
空间谱估计理论与算法------程序.rar
MAC OS.X.10.8.iso 镜像文件
EBSD分析软件——Channel5下载安装教程
EasyMedia-ui.zip
BP神经网络+PID控制simulink仿真
画程(版本6.0.0.127)setup个人版
MATLAB之LSTM预测
长江流域shp.zip
Keil5安装包
基于hadoop商品推荐系统课程设计
刚萨雷斯《数字图像处理》第四版答案.pdf
最新下载
SQLCipher是一个SQLite扩展,它提供数据库文件的256位AES加密。-C/C++开发
CAD vlx fas解码程序 fas61.rar
汽车安卓导航固件allapp.Pkg打包解包 方易通9853
frozen_inference_graph.pb
java jdk11 安装包合集(linux&windows各版本).zip
RFC5389 中文版
oppo s9 s9k等机型刷固件工具
骑士PHP人才系统(74CMS)源代码 v3.0
狐狸和兔子代码-Java
动森全四弹amiibo数据集合.rar