计算系统的形式语义 书籍
经典好书《计算系统的形式语义》读书内容简介:两大方向之一,其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础,为第一章。第二部分包括第二到第五章,概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情
经典好书《统计思维:程序员数学之概率统计》读书内容简介:员的概率统计开心辞典;开放数据集,全代码攻略。现实工作中,人们常被要求用数据说话。可是,数据自己是不能说话的,只有对它进行可靠分析和深入挖掘才能找到有价值的信息。概率统计是数据分析的通用语言,是大数据时代预测未来的根基。<...详情
经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域,是自然语言计算机处理的关键。自然语言是信息主要的负荷者,在当今信息网络时代,计算机已经日益普及,普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的,它已经成为了极为丰富的语言信息资源;移动...详情
经典好书《代数几何学原理 I 概形语言》读书内容简介:著作,由法国著名数学家Alexander Grothendieck(1928—2014)在J. Dieudonné的协助下于20世纪50—60年代写成。在此书中,Grothendieck首次在代数几何中引入了概形的概念,并系统地展开了概形的基础理论。...详情
经典好书《传统语文教育教材论 暨蒙学书目和书影》读书内容简介: 本书主要论述了初期识字教育和写字训练,识字教育与思想教育、知识教育相结合及读写训练等问题。作者简介详情
经典好书《基督教传统——大公传统的形成》读书内容简介:教的本质,对基督教教义发展的了解便不可或缺。帕利坎的五卷本《基督教传统:教义发展的历史》历时十九年(1971-1989),现呈献给读者的便是第一卷:《大公传统的形成》,本卷内容翔实,差不多含摄基督教的全部教义:如三位一体,基督论,救赎论,及恩典等范畴...详情
电视剧【中华传统文化故事之成语典故剧情介绍】剧情介绍:、浩如烟海的传统文化中辑录了120个经典成语,既有琅琅上口、人尽皆知的成语如守株待兔、风吹草动、狐假虎威,也有较为生僻的成语如融融泄泄、结草衔环、涸辙之鲋。故事发生时间主要集中于先秦、汉朝、三国时期,其中的主人公,既有孔子、孟子等众多大家及历史名人,...详情
中国传统故事之成语故事剧情介绍 电视剧
电视剧【中国传统故事之成语故事剧情介绍】剧情介绍:的本来含义及原有人物的面貌,在剧情上突出情节和细节,在语言上通俗易懂,结构方面突出成语的韵律美。通过电视剧形式,让更多的中小学生了解、学习、掌握中国成语的内涵,进一步提升中国文化的软实力,有效传承中华传统文化。本剧演绎200个成语典故,故事表现手法新...详情
经典好书《实体与形式:亚里士多德《形而上学》Z卷研究(Z10-17)(国家哲学社会科学成果文库)》读书内容简介:学教授,博士生导师,中华全国外国哲学史学会理事,国际前苏格拉底研究学会(IAPS)成员。1996-1999年在中国人民大学哲学系师从我国著名古希腊哲学专家、亚里士多德研究专家苗力田先生攻读博士学位。2005-2006年获希腊奥纳西斯基金会资助访学于希...详情
经典好书《现代统计学系列丛书·统计学》读书内容简介: 作者简介详情