在数百年的历史中,曾有不同方式的数学证明被认为是正确的,毫无疑问的只有一条:牵涉到数学证明时必须有个证明的程序,且不管其程序的形式如何。古印度的几何中才去的形式常常是画一个几何图形,再加上一个箭头线,旁边写上“瞧瞧!”两个字;欧几里得则要求证明一个理论时必须从公理开始,按照一定的推理规定步步紧扣,一步也不能少。
——引自第159页
你是否在择业中陷入了迷茫,需要找到正确的方向?你是否在工作中还一事无成,需要成绩来证明自己?你是否在职场中无望地煎熬,需
丁磊美国俄亥俄州立大学人工智能专业博士,美国哥伦比亚大学博士后。人工智能商业化落地先行者,曾为PayPal创立人工智能平台,历任百度金融首席数据科学家、PayP...
2005年底烽火开始在起点中文网发文,后一直以挖“坑”不填而广受读者抱怨,因此被称为“大内太监总管”。 代表作《陈二狗的妖孽人生》《天神下凡》等其作品订阅极高、...
余党绪:上海市语文特级教师,正高级教师,上海市“双名工程”高峰计划主持人。整本书阅读“三题定位,思辨读写”首创者,多年来致力于将“批判性思维”引入语文教学,倡导...
罗伟章,四川人,中国作家协会会员。著有长篇小说《饥饿百年》《大河之舞》《声音史》《世事如常》等,中篇小说集《我们的成长》《奸细》《寂静史》,中短篇小说集《白云青...
阿加莎·克里斯蒂被誉为举世公认的侦探推理小说女王。她的著作英文版销售量逾10亿册,而且还被译成百余种文字,销售量亦逾10亿册
Thecompletionofthehumangenomeprojectin2000dramaticallyemphasizedtheimminentsucce...
藍雲舒女,北京海澱人。每天都埋頭寫故事,平均字數在六千字以上。相信只要有寫字、編故事的天分,相信只要能安下心來認認真真地寫,總會有收穫的。作品有:《大唐明月》、...
◆ 编辑推荐云林森眇的仙山意象,墓葬中逝者头顶的引魂灵璧,桃花源式画卷尽头无字的石碑……著名美术史家巫鸿悉心解读中国古代视觉文化与艺术表现。与石质的西方废墟不同...
Chapter1字说——说说汉字那点事Chapter2字梳——梳理文字的构成Chapter3字思——字体设计的思维方法Chapter4字法——字体设计的
”付款之痛”背后的行为学动机是什么?明明过去已经多花了很多钱,为什么之后在购买同一件产品时,依然理所当然地愿意为它多掏钱?度假时愿意花4美元买的汽水,为什么在社...
山右匠作辑录:山西传统建筑文化散论 内容简介 本书对山西的传统建筑进行了全面、深入的研究,对于这些传统人文景观提出了科学合理的保护与发展理论。山右匠作辑录:山西...
Thiscollectionofpoemsrepresentswritingscomposedbytheauthorduringthemorematureyea...
我们跟随着人工智能发展的脚步正走向第四次工业革命的浪潮之巅。在这本书中,作者别出心裁地从文学、哲学和计算机科学三个方向探索了人工智能。他打开历史的时光隧道,带我...
曾有一个人并非为这个世界而来,所以走的时候,也并不改变这个世界。她仿佛一阵穿过弄堂的、有故事的风,等你想抓住她的时候,早已看不见她。你看似拥有她,却又无法拥抱她...
平鳥コウ本在網路上連載作品,「女高中生小春在異世界成為娼妓」為該作者首部紙本化作品。本書為前作之後日談。
取国际学术之精粹融世界佛法之优长《世界佛学名著译丛》一书自在台湾问世以来,佛教界、学术界的反响,至为热烈,此书的出版对于台湾佛教界的学术研究与佛教文化的复兴起到...
畅销悬疑作家九滴水全新推理系列第2季,聚焦横跨多年悬而未破的旧案。证据虽一时失声,但不会永久沉默。每起悬案背后,都是赤裸的人性与欲望。【油桶封尸】数年前,有位老...
实用猪病诊疗新技术 内容简介 本书内容包括猪的病毒性疾病、细菌性疾病、寄生虫性疾病、营养代谢性疾病、内科病、外科病及产科病等,并阐述了每种猪病的病源、流行病学、...
北京大学校友工作办公室、北京大学党委政策研究室