大约有522,215项符合查询结果项。（搜索耗时：0.5988秒）
为您推荐： 科学发现的逻辑后记 波普尔哲学著作集 中国逻辑的发现 海外 研究丛书 持续执政的逻辑 从制度文化发现中国历史 改变世界的100件科学大事 发明与发现 中国 发明与发现的国度中国科学技术史精华 科学的发现
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
我的第一本航天科学探索发现全纪录
张宇编著2012 年出版231 页ISBN：7806888276本书内容涉及人类航天史上人们探究宇宙奥秘的过程以及在不同阶段所付出的努力，如我国神六的发射就是我们航天事业发展的里程碑。该书着重阐述了世界航天事业发展中的重大事件，如人类首次登月，还展望了航天事业...
-
-
-
重新发现中国 中国社会科学辑刊 2009年12月冬季卷
邓正来主编2010 年出版190 页ISBN：9787309069969本书收录多位学者的研究成果，以“直面中国，以学术为本，求索发展，弘理性精神”为宗旨，以加快中国社会科学走向世界的步伐。
-
我的第一本动物科学探索发现全纪录
张宇编著2012 年出版231 页ISBN：9787806888223本书主要介绍了动物进化的过程，全书分为三个部分：第一部分介绍了世界上著名的动物学家以及他们的重大发现；第二部分介绍动物界的重大发现以及目前动物界存在的主要争论；第三部分是关于现代动物界主要猜想。本书...
-
我的第一本医药科学探索发现全记录
张宇编著2012 年出版231 页ISBN：7806888284健康与疾病是和人息息相关的，本书用通俗的语言向青少年学生介绍了中医、西医的由来和发展以及特点，如针灸的神奇之处等。同时阐述了中医的灿烂文化和西医在人类医学史上的重大发明、发现，如疫苗的普遍使用等。...
-
谜团与传奇系列 科学发现之谜
宋璐璐主编2013 年出版183 页ISBN：9787307111127本系列是一套探索古今中外有关地理、自然、社会、历史、宇宙、人类等神奇之谜的丛书，揭示从失落的文明到世界历史未解之谜，再到历史真相解密，人类在完成着一个一个自身的跨越，每一次点滴的跨越都是人类智慧的结...
-
让幼儿在主动探索中学习科学 经历发现过程 体验科学真谛
刘占兰，沈心燕主编2001 年出版230 页ISBN：730305698X我国自改革开放以来，经济、社会的快速发展既推动着教育的进步，又向教育提出新的挑战，首先，体现教育平等的义务教育日益普及化，这就要求教育淡化选拔功能，面向每一位具有不同差异的受教育个体，经济领域中经营方......
-
逻辑与演绎科学方法论导论
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译2017 年出版259 页ISBN：9787100005203本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。