交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
从经验立场出发的心理学 书籍
经典好书《从经验立场出发的心理学》读书内容简介:p>第一卷是“作为一种科学的心理学”。其中第一章探究心理学的概念与目的,阐明了现代心理学与古希腊“灵魂论”的实质性关联及形式上的区别,指出心理学在现代人文学科中的核心地位。第二章到第四章详细探究心理学的方法。与同时期的新康德主义理性-规则心理学...详情
地理大发现研究 书籍
经典好书《地理大发现研究》读书内容简介:史。内容包括:介绍文明人类征服大西洋、印度洋、太平洋、北冰洋的历程;论述发现南部非洲、南北美洲、澳洲一大洋洲、北部亚洲的经过;阐述人类对大地是个圆球,海洋相通并包围陆地的认识过程;评说地理大发现方面风云人物的是非功过;探讨地理大发现的原因及其对人类历...详情
影片剧情摘要:andTheoreticallyPossibleDisaster"isaPolishchildren'sadventurefilmfrom2012,directedbyVictorSkrzynecki.Itisanadaptationoftheboo...详情
影片剧情摘要:
一个是纽约拥有舒适大房子的事业成功的心理医生,一个是巴黎乱糟糟小屋里糊里糊涂却心地善良的舞蹈演员,他们都厌倦了各自的生活。一次偶然机会,他们交换了一下角色,世界有时就是浪漫的不可思议,爱情就这么自然地闯进了原本陌生的两个人的世界里。
详情
冒险王卫斯理之无名发剧情介绍 电视剧
电视剧【冒险王卫斯理之无名发剧情介绍】剧情介绍: 卫斯理和罗约翰到日本度假,偶遇正在协助日本警察 调查神秘凶杀案的白素。白素仍有心结,不肯接纳卫斯理, 要卫斯理离开日本。罗约翰却在机缘巧合下遇见了酷似自己初恋的女子无名。无名的神秘出现,使罗约翰处于爱与正义两难抉择中,而卫斯理和白素也因此卷入了新的风波......详情
经济发展理论 书籍
经典好书《经济发展理论》读书内容简介:地位可以和凯恩斯的《通论》相提并论,是对古典经济学的重大突破。熊彼特首先依据古典经济学的静态范式构建了虚构的“循环之流”。然后,熊彼特指出,发展是打破静态体系的动力所在,而构成发展的两个核心要素是企业家和货币(或者说信用)。发展就是企业家在信用的帮助...详情
软件开发项目管理 书籍
经典好书《软件开发项目管理》读书内容简介:理的专业著作,全书以以现代化项目管理的指南和理念作为基础,论述了软件开发项目管理的方法,内容涉及从项目的概念到项目管理、项目的流程概念和领域适应的综合运用、项目管理领域知识运用和项目启动管理、软件开发项目计划阶段的管理、软件开发项目的范围和需求分析、...详情
发展心理学 书籍
经典好书《发展心理学》读书内容简介:>美国佐治亚大学Joshah Meigs杰出荣誉退休教授奖获得者,佐治亚大学本科教学项目、毕生发展心理学项目以及社会心理学项目前任主席。他在过去的36年中一直在佐治亚大学为本科生与研究生教授人类发展心理学课程。他发表了众多有关亲社会行为、态度与说服、...详情
发现与推理 书籍
经典好书《发现与推理》读书内容简介:不需要有想象力,以及在多大程度上运用想象力?假如没有想象力,很多考古发现便无从谈起;然而,过度解读甚至误读,又往往差之毫厘、谬以千里。该如何与无言的地下遗迹进行对话?这不仅依托于文物的发现,考古学家自身的专业敏感与推理能力也很重要。书中...详情