下载  >  课程资源  >  专业指导  > 数学家的逻辑-hamilton

数学家的逻辑-hamilton 评分:

数学家的逻辑-hamilton, 老版经典

...展开详情
2010-08-26 上传 大小:7MB
举报 收藏 (3)
分享
数学家的逻辑

详细介绍了数理逻辑与集合论的相关知识,是一个很好的参考资料,能够培养个人的逻辑意识,使自己的思想更具有逻辑条理性

立即下载
数理逻辑(中文版.原书第2版)-A.G.汉密尔顿-华东师范大学出版社-1986.pdf )

数理逻辑(中文版.原书第2版)-A.G.汉密尔顿-华东师范大学出版社-1986.pdf

立即下载
具体数学第二版中文高清

《具体数学》计算机科学基础(第2版).pdf 世界顶级数学家和计算机科学家经典之作,无可替代! 希望这本书能说服计算机科学以及数学领域的众多教育工作者,开设这样的课程定能取得成效! ——J. H. Van Lint,《国际教育评论》 翻阅这本书总是心情愉悦,书中充满了对数学的细致解释和满腔热忱的描述。 ——Volker Strehl,美国《数学评论》 这本书可能是我读过的最精美的书了,其中的所有证明都是那么地优雅,逻辑清晰,笔意酣畅,这大概是作者采用了优雅、有效的符号的缘故。 ——亚马逊评论 这本书非常值得一读,无论是书中清晰阐述的数学概念,还是穿插其中的风趣幽默的涂鸦

立即下载
数据库系统基础教程(原书第3版)--详细书签版

CruiseYoung提供的带有详细书签的电子书籍目录 http://blog.csdn.net/fksec/article/details/7888251 数据库系统基础教程(原书第3版) 基本信息 原书名: First Course in Database Systems, A (3rd Edition) 原出版社: Prentice Hall 作者: (美)Jeffrey D. Ullman    Jennifer Widom    译者: 岳丽华 金培权 万寿红 丛书名: 计算机科学丛书 出版社:机械工业出版社 ISBN:9787111268284 上架时间:2009-8-11 出

立即下载
haskell教材——中文版

haskell语言教材 Haskell(发音为 /ˈhæskəl/)是一种纯函数式编程语言,它的命名源自美国数学家哈斯凯尔·加里,他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”(Lambda)作为自己的标志。Haskell语言的最重要的两个应用是Glasgow Haskell Compiler (GHC)和Hugs(一个Haskell语言的编译器)。本语言的特式是利用很简单的叙述就可以完成链表、矩阵等数据结构。

立即下载
Probability Theory: The Logic of Science

  《概率论沉思录(英文版)》不仅适合概率和统计专业人士阅读。也是需要应用统计推断的各领域科技工作者的必读之作。   《概率论沉思录(英文版)》是一部奇书。它是著名数学物理学家Jaynes的遗作,凝聚了他对概率论长达40年的深刻思考。原版出版后产生了巨大影响,深受众多专家和学者的好评,并获得Amazon网上书店读者全五星评价。 在书中,作者在H.Jeffreys、R.T.Cox、C.E.Shannon和G.Polya等数学大师思想的基础上继续探索,将概率论置于更大的背景下考察,提出将概率推断作为整个科学的逻辑基础,以适应实际科学研究中对象往往都是信息不完全或者不确定的这一难题,从而超越了传统的

立即下载
AxureRP7破解版

Axure RP 原型的权力置于手中产品经理、 业务分析师和用户经验的专业人才。之前写一行代码,解决方案可以是原型和验证的最好的人了解您的业务、 产品和客户。 无需编写一行代码创建简单的单击通过图表或高功能、 丰富的原型与条件逻辑、 动态内容、 动画、 数学函数和数据驱动的交互作用。

立即下载
数据库系统基础教程(第3版).pdf

扫描版,算是比较清晰的版本,分享给大家 数据库系统基础教程(原书第3版) 基本信息 原书名: First Course in Database Systems, A (3rd Edition) 原出版社: Prentice Hall 作者: (美)Jeffrey D. Ullman Jennifer Widom 译者: 岳丽华 金培权 万寿红 丛书名: 计算机科学丛书 出版社:机械工业出版社 ISBN:9787111268284 上架时间:2009-8-11 出版日期:2009 年8月 开本:16开 页码:332 版次:3-1 内容简介   

立即下载
第四届 蓝桥杯 竞赛试题题目 C/C++高职高专组

第四届“蓝桥杯”全国软件专业人才设计与创业大赛选拔赛 C/C++高职高专组 1、题目标题: 猜年龄 美国数学家维纳(N.Wiener)智力早熟,11岁就上了大学。他曾在1935~1936年应邀来中国清华大学讲学。 一次,他参加某个重要会议,年轻的脸孔引人注目。于是有人询问他的年龄,他回答说: “我年龄的立方是个4位数。我年龄的4次方是个6位数。这10个数字正好包含了从0到9这10个数字,每个都恰好出现1次。” 请你推算一下,他当时到底有多年轻。 通过浏览器,直接提交他那时的年龄数字。    注意:不要提交解答过程,或其它的说明文字。    

立即下载
深入理解计算机系统(中文PDF)(

·AMAZON五星图书,最伟大计算机科学教材之一; ·卡耐基梅隆大学计算机学院院长,IEEE和ACM双院士倾力推出; ·超过80所美国和世界一流大学计算机专业选用本书为教材。 本书被赞誉为价值超过等重量黄金的无价资源宝库;第一本将软件和硬件理论结合讲述的教程;覆盖计算机导论、体系结构和处理器设计等多门课程;经过大量学生使用,效果优秀,并获教师和学生一致推崇;完善的教学网站,为教师和学生提供在线支持。所有想写出更快、更可靠程序的开发人员必读之书!   所有想写出更快、更可靠程序的开发人员必读之书!   ★ AMAZON五星图书,最伟大计算机科学教材之一   ★ 卡耐基梅隆大学计算机学院院长,IE

立即下载
深入理解计算机系统(英文版)

·AMAZON五星图书,最伟大计算机科学教材之一; ·卡耐基梅隆大学计算机学院院长,IEEE和ACM双院士倾力推出; ·超过80所美国和世界一流大学计算机专业选用本书为教材。 本书被赞誉为价值超过等重量黄金的无价资源宝库;第一本将软件和硬件理论结合讲述的教程;覆盖计算机导论、体系结构和处理器设计等多门课程;经过大量学生使用,效果优秀,并获教师和学生一致推崇;完善的教学网站,为教师和学生提供在线支持。所有想写出更快、更可靠程序的开发人员必读之书!   所有想写出更快、更可靠程序的开发人员必读之书!   ★ AMAZON五星图书,最伟大计算机科学教材之一   ★ 卡耐基梅隆大学计算机学院院长,IE

立即下载
Introduction to Algorithms 算法导论 原书 第3版 中文版+英文原版 合集 PDF格式 有书签目录 高清版 机械工业出版社

Introduction to Algorithms 算法导论 原书 第3版 中文版+英文原版 合集 PDF格式 有书签目录 高清版 无水印 机械工业出版社 作者: Thomas H.Cormen / Charles E.Leiserson / Ronald L.Rivest / Clifford Stein 出版社: 机械工业出版社 原作名: Introduction to Algorithms, Third Edition 译者: 殷建平 / 徐云 / 王刚 / 刘晓光 / 苏明 / 邹恒明 / 王宏志 内容简介 · · · · · · 在有关算法的书中,有一些叙述非常严谨,但不够全面

立即下载
C语言解析教程(原书第4版)(美) 凯利.pdf

C语言教程(原书第4版) 《c语言教程(原书第4版)》是一本优秀的c程序设计语言教材,完整描述了ansi c语言及其语法特性,并对c语言的高级特性和应用作了深入阐述,介绍了从c到c++和java过渡的相关知识。《c语言教程(原书第4版)》的一个鲜明特色就是结合大量示例描述c语言的重要特征,并对很多工作代码给出了逐步的分析,以这种独特的教学方法向读者解释新接触的编程元素及一些惯用法。   《c语言教程(原书第4版)》系统、完整,可作为c语言的参考手册,也非常适合作为学习c语言的入门和高级课程教材。 前言 第0章 从零开始 0.1 为什么要用c 0.2 ansi c标准 0.3 从c到c++ 0

立即下载
Visual C++程序员实用大全(精华版).(水利水电.邓劲生.张晓明译).part2

书名:《Visual C++程序员实用大全(精华版)》(水利水电出版社.(美)Charles Wright等著.邓劲生.张晓明译) PDF格式扫描版,全书分为38章,共863页。2005年5月出版。 全书压缩打包成4部分,这是第2部分。 内容简介   本书深入浅出地讲述Visual C++各种编程诀窍,以高屋建瓴的眼光看待MFC编程的技巧和思想,详尽分析了具体实现中的技术内幕。本书以其翔实知识面的覆盖、大量实用的示例和作者自身丰富的编程经验,阐述了从C语言编程基础、C++面向对象语法、MFC类库、控件及高级应用、进程和线程到异常处理等各个方面的诀窍,是一本系统而全面的编程经典图书。 全书面

立即下载
深入理解计算机系统

中文名: 深入理解计算机系统 版本: PDF 发行日期: 2004年05月 简介: 出版社 : 中国电力出版社 原出版社:Pearson Education 系列名 :国外经典计算机科学教材系列 作者  : (美)Randal E. Bryant/ Davic O'Hallaron/ 译者  : 龚奕利/ 雷迎春/ 出版日期:2004年5月 版别版次:2004年5月北京第一版第一次印刷 国标编号:ISBN 7-5083-2175-8 条形码 :9787508321752 字数  :1209千字   内容提要:   本书英文版久负盛名,被众多专业人士称为“最伟大的计

立即下载
深入理解计算机系统(中文版)

中文名: 深入理解计算机系统 版本: PDF 发行日期: 2004年05月 简介: 出版社 : 中国电力出版社 原出版社:Pearson Education 系列名 :国外经典计算机科学教材系列 作者  : (美)Randal E. Bryant/ Davic O'Hallaron/ 译者  : 龚奕利/ 雷迎春/ 出版日期:2004年5月 版别版次:2004年5月北京第一版第一次印刷 国标编号:ISBN 7-5083-2175-8 条形码 :9787508321752 字数  :1209千字   内容提要:   本书英文版久负盛名,被众多专业人士称为“最伟大的计

立即下载
天猫淘宝秒杀抢购插件源码

天猫淘宝秒杀抢购360插件完整源码crx包,用rar或者zip解压,可得到源码进行修改,不做修改,可直接导入浏览器使用

立即下载
C#调用WebService实例和开发(wsdl)

C#调用WebService实例和开发,对于初学者来说,在vs2012环境中,大家有可能不知道Web References文件夹是如何来的,它是通过右击项目,选择其中的”添加服务引用“。

立即下载
LZ78算法实现对任意字符串的压缩与解压

运行程序之后输入任意的字符串,将字符串转化成二进制数字字符串,然后利用LZ78算法实现对二进制字符串压缩解压,最后再恢复原来的字符串

立即下载
基于Android的图书共享平台的设计与实现

本文阐述的是基于Android端的图书共享平台的设计与实现。通过对看电子书给人造成伤害的分析,以及翻阅大量问卷调查后的数据,得出了图书共享平台的功能需求。系统实现由安卓前台和后台组成,前台模块提供捐书,借书,还书,书籍的查询、推荐,写随笔,用户的关注,留言,书籍的评论,点赞,收藏等功能。后台模块为管理员提供管理用户,意见咨询、反馈,评论管理,意见回复等功能。 系统采用Mysql数据库做数据平台,MyEclipse作为后台开发环境,Eclipse作为安卓前台开发环境, Tomcat7.0作为服务器[2],并选择java语言开发后台系统。后台界面主要使用jsp,CSS3,JavaScript等技术

立即下载