逻辑的引擎 = Engines of logic
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
湖南科学技术出版社
|
Publisher Address: | 长沙 |
Publication Dates: | 2007 |
Literature type: | Book |
Language: | Chinese |
Edition: | 2版 |
Series: |
第一推动. 综合系列 |
Subjects: | |
Carrier Form: | 293页: ; 22cm |
ISBN: | 978-7-5357-4239-1 |
Index Number: | K816 |
CLC: | K816.1 |
Call Number: | K816.1/4824 |
Contents: | 本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。 |