只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
node-v12.12.0-x64.msi
c语言实现远程控制鼠标
你没有的food_info.csv文件
html5登录模板(动态星空背景)
人脸识别python代码
ClearCase使用中文教程
加快推进区块链技术应用 提高农产品供应链治理效能.docx
混动汽车增程器方案说明书.docx
一个截取视频生成动画gif的软件.zip
GetsTheClipboardImage.rar
libmodbus3.0.6库
基于mfc和sql的学生信息管理系统
采用jsp开发的酷狗网音乐播放器源码,可以实现播放酷狗音乐!!
计算机网络课程设计 电子购物网站也可用于电子商务网站
c8051f350 24位AD采集 4通道
直方图规格化
c3p0-0.9.5.2.jar
msvcp100d.dll x64
gmp大数库,静态链接库,无须编译,直接可以用,并附使用手册
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
数字图像处理[冈萨雷斯]
STM32F4时钟触发ADC双通道采样DMA传输进行FFT+测频率+采样频率可变+显示波形
航迹融合算法MATLAB仿真程序
SSM外文文献和翻译(毕设论文精品).doc
全国河流水文站坐标.xls
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
scratch版 我的世界.sb2
商用密码应用与安全性评估——霍炜.pdf
中国地面气候资料日值数据集(V3.0)2014-2019.zip
MATLAB之LSTM预测
MAC OS.X.10.8.iso 镜像文件
Microsoft Visual C++ 2015-2019 运行库合集,包含32位64位
sqlite运行所需Vc++运行环境,纯净版System.Data.SQLite.dll及SQLite.Interop.dll
python爬虫数据可视化分析大作业.zip
西安问题电缆-工程伦理案例分析.zip
最新下载
python + opencv 人脸识别代码(可以跨平台运行,linux windows均可以)
VC++图片控件(Picture Control)显示资源位图(BMP)、文件位图(BMP)、其它格式文件图片(JPG\PNG\BMP)实例
华为eNSP各种设备配置命令大全PDF版
IDA Pro 5.2 破解
c++小游戏(附源码)
MathNet.Numerics dll函数库
数据库系统概念(中文版)(第6版).zip
OA表单集合
CODESYS之切换可视化界面.docx
汇编语言 1~10的累加和