只为小站
首页
域名查询
文件下载
登录
首页
课程资源
专业指导
数理逻辑 汪芳庭 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
其他资源
请假管理系统
Orcad Pspice 16.6 精简版 免安装
希尔伯特变换(HT)
PISDK类库大全
学会用MATLAB实现时域采样定理
MSU_VQMT视频质量评价工具
路畅导航刷机文件CN-PRIMA-V1.55-60Hz.zip
课设图书管理.zip
FreeCAD0.17源码编译配套第三方库2
Boost.Asio C++ 网络编程.epub
tendermint编译与运行环境搭建
毕业答辩-ASP基于WEB购物系统(论文源代码开题报告答辩PPT操作说明).rar
2018西南交通大学数据结构与程序设计840
ibm_data_server_client_win32_v11.5.part3.rar
ELM algorithm
WPF多点触摸功能实现
选课授课信息管理系统
数据结构-二叉树(Java实现)
Tms320c55xdsp 语音录音滤波和回放例程
php学习预警信息管理系统的程序
金山词霸破解文件
基于Java的固定资产的设计与实现
python + selenium +pyquery 爬虫 爬取 1688详情图片 阿里巴巴详情图片 与标题 下载图片并进行压缩 仅供学习交流使用 .zip
双电机驱动btn 飞思卡尔智能车
毫米波雷达
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
3G/移动开发
C/C++
Java
.Net
PHP
嵌入式
软件测试
数据库
网络管理
网页制作
游戏开发
专业指导
讲义
热门下载
token登录器.rar
OLED显示温度和时间-STM32F103C8T6(完整程序工程+原理图+相关资料).zip
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
DBSCAN算法Matlab实现
RNN-LSTM卷积神经网络Matlab实现
PLECS中文手册.pdf
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
人体姿态检测
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
故障诊断数据集及实现代码
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
2020年数学建模B题穿越沙漠全部代码全国赛二等奖.zip
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
芯片验证漫游指南以及源代码.zip
长江流域shp.zip
最新下载
label matrix 32位破解版 亲测支持win10
图像轮廓提取
Vector Magic Desktop 汉化绿色版
PTGuiPRO(全景制作软件)v9.1.932位汉化纯净安装版(附注册码)
ARINC 600-19-2011 air transport avionics equipment interfaces.pdf
【毕业设计】人体感应智能温控风扇,PWM调速(原理图、仿真、源码、论文等)-电路方案
SEED-XDS560v2 USB Driver
支付宝App低保真原型设计(课后答案).rp
百度账号注册绑定邮箱解绑手机-易语言
XP SP3 修改TCP/IP 最大并发连接数