计算系统的形式语义 书籍
经典好书《计算系统的形式语义》读书内容简介:两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情
数学与自然科学之哲学 书籍
经典好书《数学与自然科学之哲学》读书内容简介: 《数学与自然科学之哲学》原书以德文写作,发表于1926年,反映了20世纪20年代的数学与物理学以及数学基础的大发展与大争论。1949年的英译本,又以6个附录的形式反映了其后20年左右的科学发展,而且论述的范围也超出了物理学与数学,涉及其他学科的若士基本问题。作者简介详情
经典好书《数学、科学和认识论 哲学论文第2卷》读书内容简介:1974)出生于匈牙利的一个犹太商人家庭,原姓利普施茨。1944年在德布勒森大学毕业。纳粹德国占领匈牙利期间,他加入了地下抵抗运动,后又改姓为拉卡托斯。战后,他曾是G.卢卡奇的研究生,并加入匈牙利共产党。1947年任教育部高级官员,1948年获博士学...详情
经典好书《实体与形式:亚里士多德《形而上学》Z卷研究(Z10-17)(国家哲学社会科学成果文库)》读书内容简介:学教授,博士生导师,中华全国外国哲学史学会理事,国际前苏格拉底研究学会(IAPS)成员。1996-1999年在中国人民大学哲学系师从我国著名古希腊哲学专家、亚里士多德研究专家苗力田先生攻读博士学位。2005-2006年获希腊奥纳西斯基金会资助访学于希...详情
美国儿科学会育儿百科 书籍
经典好书《美国儿科学会育儿百科》读书内容简介:美国儿科学会是一个由53000名从事于保障婴幼儿和青少年体格、精神和社会生活健康的儿科医生、儿科医学专家和小儿内外科学者组成的组织。该学会拥有全面快捷的信息,是美国儿童养育及儿童健康的权威机构,并是美国及世界最具影响力的儿科研究学会。作...详情
经典好书《美国儿科学会育儿百科(第6版)》读书内容简介:构,这本书是其先进育儿理念的集中体现。本书经过6次修订,数百位专家的审核,充分保证了信息的及时性和准确性。儿科医生广泛推荐,新手父母首选。与世界儿科医学发展同步,紧跟时代,科学育儿。全球销量超过...详情
经典好书《中国少年儿童百科全书(科学技术)》读书内容简介: 作者简介详情
MIT认知科学百科全书 书籍
经典好书《MIT认知科学百科全书》读书内容简介:gnitive sciences have offered multidisciplinary ways of understanding the mind and cognition. The MIT Encyclopedia of the rep...详情
经典好书《美国初中主流理科教材•科学探索者》读书内容简介:他们提出问题,寻求答案,收集证据以及设计实验。他们致力于回答“是什么”以及“为什么”。这一版由帕迪利亚主编的《地球内部(第3版美国初中主流理科教材)/科学探索者》更加生动有趣,精彩纷呈,充满了各种学习的机会。令人兴奋的最新科学内容,赏心...详情
影片剧情摘要:原作所改编,连日本动画的时代巨作《新世纪福音战士》的导演庵野秀明都为之激赏的作品,将呈现给各位一段奇特的科学狂想!芝娜(CHINA)是一位中国姑娘,自己开了一家中国餐馆“天回”,而她的男友吉姆则是位科学家,跟在布兰克瑞奇博士身边从事研究工作,布兰克瑞...详情