经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《数学证明》读书内容简介:碰到某种程度的数学证明，有些人甚至把做数学与进行数学证明等同起来。但究竟数学证明这种工夫在数学活动中有何作用？它是否真正确立无可置疑的结论？它是事后的装扮工夫抑或它能导致前所未知的新发现？这种独特的思考方式是怎样发展起来的？本书试以大量实例与读者探讨...详情

影片剧情摘要: 年轻的凯瑟琳（格温妮斯?帕特洛饰）正经历着人生中考验，她既要工作，又要照顾体病重的老父亲罗伯特（安东尼?霍普金斯饰）。罗伯特虽然是一名著名的数学家，但晚年得病的还是无法很好的照顾自己。 详情

影片剧情摘要:sterydetectivefilmdirectedbyLeslieS.HiscottandstarringAustinTrevor,FranklinDyall,andElizabethAllen.Thefilmwasadaptedfromthe19...详情

影片剧情摘要:上又遇到了危机。他和一个叫马维的女孩交往，有个男人也在追求着马维。尼科洛正在准备拍摄一部爱情片，但却始终无法选出女主角。他和马维为了躲避另外男人的追踪，开车前往乡下，但他和马维都搞不清楚两人的感情和关系。马维后来却失踪了，尼科洛怎么也找不到。 ...详情

影片剧情摘要:道母亲（买红妹饰）在外找了“野男人”,当父亲被活活气死后，幼小心灵便播下了仇恨的种子。二十年后鬼使神差，曾经的仇人（朱永棠饰）因另外一起命案成为犯罪嫌疑人，郭竟远无论于公还是于私毅然下定决心要将犯罪嫌疑人绳之于法。然而，取证的过程跌宕起伏、困难重重，...详情

影片剧情摘要:ozewiczcreatedthenovellafilm"BirthCertificate"incooperationwithhisbrother,TadueszRozewiczasscreenwriter.Suchbrothertandemsare...详情

电视剧【无罪证明剧情介绍】剧情介绍:Innocent》（前名《恶名 Infamy》），《嘻哈帝国 Empire》主创之一Danny Strong负责的该剧由David Elliot执笔，讲述一家由女主Madeline Scott主导的律师事务所，这事务所专门处理错误定罪案件，为无辜者昭...详情

电视剧【人性的证明剧情介绍】剧情介绍:庭广众之下。正义感十足的警视厅搜查一课刑警栋居弘一良（竹野内丰 饰）和当地警察横渡笃（大杉涟 饰）前去调查，发现根本找不到嫌犯的蛛丝马迹，唯一线索只有死者生前嗫嚅过的奇怪单词。与此同时，小有名气的随笔作家郡恭子（松坂庆子 饰）正在为神奈川知事的选举活...详情

经典好书《青春的证明》读书内容简介:道太郎而牺牲了，笠冈便与他的女儿结了婚，因为没有感情，婚后生活并不美满；富家女朝山由美子的未婚夫矢村重夫在登山遇难。矢村的表兄便取而代之，与由美子结了婚；矢吹祯介是神风敢死队的队员，他死里逃生，未婚妻却死于空袭，他便与未婚妻的妹妹结了婚。这三对夫妻在...详情