计算机科学理论程序设计途径相关电子书下载

2222 年出版62 页ISBN：

沈恩绍著2003 年出版198 页ISBN：7030110471

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...

（美）R. Mark Meyer著；王瑾等译2003 年出版138 页ISBN：7505387049

本书通过实验讲述了计算机科学的各个基础部分，包括数字系统、逻辑电路、计算机周期、低级语言、计算机绘图、操作系统、磁盘规划、电子数据表、数据库、人工智能、网络、HTML基础、计算的局限性等内容。每个...

（苏）高斯切夫（В.Гостев）撰；陈冬序译1949 年出版62 页ISBN：

国丽华2222 年出版1 页ISBN：

（苏）斯丽维兹卡雅（Х.Р.Сливцкая）著；闵盘荣译1959 年出版36 页ISBN：15040·1327

Todd Landman著；周志杰译；王业立主编2007 年出版370 页ISBN：9867557808

陈沛霖曹叔维郭建雄编著1987 年出版206 页ISBN：

张红军编译2012 年出版231 页ISBN：9787511223647

本书是一本“大家”写给大家的科普书。在这本书中，作者只用很少的篇幅，就全面系统地展示出自然科学发展的全景，深入浅出地阐释了每一个对人类文明产生重大的影响的科学理论，把一些深奥难懂的科学知识，用每个人都...

师教民著2222 年出版535 页ISBN：9787537521246

本书作者有对数理理论进行潜心研究基础上，在辩证否定前人科学大师的前提下，提出了自己独特的理论体系。