在数百年的历史中,曾有不同方式的数学证明被认为是正确的,毫无疑问的只有一条:牵涉到数学证明时必须有个证明的程序,且不管其程序的形式如何。古印度的几何中才去的形式常常是画一个几何图形,再加上一个箭头线,旁边写上“瞧瞧!”两个字;欧几里得则要求证明一个理论时必须从公理开始,按照一定的推理规定步步紧扣,一步也不能少。
——引自第159页
人机交互系统是汽车产业与信息化技术不断融合发展的产物,面对不断推陈出新的汽车交互技术,汽车人机交互系统界面无论从理论研究还是实际应用方面都展现出前所未有的蓬勃生...
大众农学史 本书特色 读史使人明智,科学使人深刻。科学技术史既蕴含着科技知识,又充满了人的故事。《大众科学技术史丛书》由科技史专家撰写,面向大众读者;兼顾知识与...
新波斯人信札 内容简介 《波斯人信札》出版于1721年,可算是孟德斯鸠的成名之作。作者在本书中,以书信的形式,借两个波斯人之口,对当时的法国社会,作了细致的观察...
首饰史,即文化史。本书通过文献整理、美学赏析和文化阐释等方法,将首饰的缘起、定名、门类、材料、款式、制作工艺、佩戴方式、装饰纹样,及相应的典章制度、附着其上的其...
作品目录自序/011第一章人生中最重要的一课一、学会判断病情/0141.遇到急病时该如何保命/0142.急救争的就是一口气/015二、心肺复
《国际移民(中文版)》内容简介:《国际移民》告诉了我们移民问题为何重要,它与全球化、发展、贫困和人权究竟有何关联。作者着重
《卡耐基交际训练》全面、系统、具体、详尽地介绍卡耐基交际学的原则和方法,结合我国现代社会交际实践,以精湛的理论和丰富的实
李开复博士联手科幻作家陈楸帆,预测无限接近真实的科技未来解析未来20年人工智能等科技发展趋势,思考科技落地对人与人类社会的冲击刘慈欣、杨立昆、萨蒂亚·纳德拉、瑞...
作品目录第一章 在路上想 吃 008湖南湖北之旅 012十号胡同 022杭州之旅 026大连之旅 030汪姐的狂欢宴 034情忆草原的羊宴 038爆肚
※ 田园诗与悲歌交织的双重世界,一个中德混血女孩记忆中上个世纪的重庆往事※ 阴影笼罩下真实的重庆大轰炸,再现抗日战争时期,大轰炸前后的重庆※ 重庆版 《城南旧事...
[美]丹尼尔•平克(Daniel H. Pink) 趋势专家、《全新思维》作者,畅销书作家,《纽约时报》、《哈佛商业评论》、《快公司》和《连线》杂志撰稿人,美...
最新公民常用合同诉状写作技巧与范本大全 内容简介 根据《合同法》和国家工商总局等部门发布的示范文本和参考文本编写。 选取公民生活常用的合同和诉讼...
基于脆弱性视角的灾害管理整合研究 本书特色 《基于脆弱性视角的灾害管理整合研究》旨在完善我国灾害社会科学研究,改变灾害研究的碎片化现状,力图以脆弱性概念为基础,...
蜜蜂饲养与蜂产品的加工利用 本书特色 《蜜蜂饲养与蜂产品的加工利用》由刘劲军主编,言简意赅,幽默生动,理论与实践并重,力图将可读性、趣味性、原理性和可操作性融为...
中国针灸外科治疗学 内容简介 本书分上、下两篇。上篇论述了中医外科疾病的病因病理、外科疾病的辨证、针灸治疗外科疾病的辨证特点和外科疾病的针灸治法。下篇列出针灸治...
欧文·琼斯,出生于谢菲尔德,成长于斯托克波特,毕业于牛津大学历史专业,《卫报》专栏作家、评论员、政治活动家,2013年荣获政治图书奖(the Political...
莫菲勒,起点签约作者。在起点上发表了《暖痕》,《米露露相亲日记》等作品。
StevenTaylorBradford,knownasColonelStevenTaylor,spypilotfortheCIAfindshimselfina...
李零,北京大学人文讲席教授。研究、著述范围涉及诸多领域,如考古、古文字、古文献,以及方术史、思想史、军事史、艺术史和历史地理。李零已在三联书店出版了《我们的经典...
Harold Pinter CH CBE (/ˈpɪntər/; 10 October 1930 – 24 December 2008) was a Nobel...