共找到 5773 与馬克思主義與形式 相关的结果,耗时2 ms
标签:计算机科学,形式语义,编程语言,计算机,程序设计语言,编程,理论,语义,
原作名:The Formal Semantics of Programming Languages
作者:Glynn Winskel
出版年月:2020-02-20 …
页数: 283页
最新访问:2020-05-23 …
网友评分: 7.9
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...
详情
标签:宗教,海外中国研究,民俗学,民间宗教,历史,宗教学-中国宗教,宗教史,民间信仰,
原作名:The Religious System of China: Its Ancient Forms, Evolution, History and Present Aspect
作者:[荷]高延
出版年月:2020-02-20 …
页数: 1905页
最新访问:2020-06-11 …
网友评分: 8.7
经典好书《中国的宗教系统及其古代形式、变迁、历史及现状》读书内容简介:古代典籍为主)相结合,运用人类学、社会学和中国学结合的观念和方法展开叙述,从西方角度对中国本土宗教进行了相当全面的介绍,包括丧葬礼仪、古代死亡与灵魂的观念、坟墓制度(帝王陵寝、义冢及各地民间坟茔)、丧葬方式、居丧习俗、风水、灵魂与祖先崇拜、投胎转世观...
详情
标签:数学,几何,经典,代数拓扑,GTM,美国,拓扑,几何与拓扑,
原作名:Differential Forms in Algebraic Topology
作者:Raoul Bott
出版年月:2020-02-20 …
页数: 331页
最新访问:2020-06-11 …
网友评分:
经典好书《代数拓扑中微分形式》读书内容简介:ding principle in this book is to use differential forms as an aid inexploring some of the less digestible aspects of algebra...
详情
标签:设计,建筑,设计;设计思维;逻辑概念,西方建筑理论,建构,2020,
原作名:
作者:[德] 托马斯·施密斯
出版年月:2020-02-20 …
页数:None页
最新访问:2020-06-16 …
网友评分: 7.4
经典好书《建筑形式的逻辑概念》读书内容简介: 作者简介
详情
标签:自动机,计算机,英文原版,形式语言,计算机科学,计算机技术,数学,形式语言与自动机,
原作名:
作者:林茨
出版年月:2020-02-20 …
页数: 410页
最新访问:2020-06-24 …
网友评分:
经典好书《形式语言与自动机导论》读书内容简介: 本书精辟地阐述了计算课程的入门理论,简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明,同时避免过多数学细节,这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现,这样学生就能够通过对比式的研究加强理解。作者简介
详情
标签:语言学,乔姆斯基,Chomsky,形式语言学,语法学,语言,语法研究,語言學,
原作名:
作者:石定栩
出版年月:2020-02-20 …
页数: 375页
最新访问:2020-08-01 …
网友评分: 7.2
经典好书《乔姆斯基的形式句法》读书内容简介: 乔姆斯基的形式句法:历史进程与最新理论,ISBN:9787561910320,作者:石定栩著作者简介
详情
标签:建筑,历史地理,住宅,
原作名:House Form and Culture
作者:拉普普
出版年月:2020-02-20 …
页数:None页
最新访问:2020-09-06 …
网友评分:
经典好书《住屋形式與文化》读书内容简介:阿摩斯·拉普卜特(Amos Rapoport),美国威斯康星州密尔沃基大学建筑与城市规划学院的著名教授,建筑与人类学研究方面的专家。是环境与行为学研究领域的创始人之一,主要专注于研究文化的多样性原则、交叉文化理论,以及理论的发展与综合。...
详情
标签:电影,电影理论,大卫·波德维尔,艺术,电影入门,影视理论,后浪,美国,
原作名:Film Art : An Introduction
作者:[美]大卫·波德维尔(David Bordwell)
出版年月:2020-02-20 …
页数: 632页
最新访问:2020-09-20 …
网友评分: 9.1
经典好书《电影艺术 : 形式与风格(插图修订第8版)》读书内容简介:/p>奥斯卡最佳导演李安亲自推荐上千张原始底片的放大照片几十部电影的全景式分析百来位重要影人的经验箴言海量文献及深入研究建议【编辑推荐】★ 世界上最为广泛阅读的...
详情
标签:设计,艺术,台版,台版书,设计理论,設計相關,藏书,[歐美],
原作名:
作者:克里斯多福.威廉斯(Christopher Williams)
出版年月:2020-02-20 …
页数:None页
最新访问:2020-10-01 …
网友评分: 8.3
经典好书《形式的起源》读书内容简介:一部結合設計、自然、科學的萬物形式演化史萬物的世界,一切皆非理所當然――――尺寸的極限 × 材料的可能 × 元素的關聯 × 機能與設計的仿生美學三角形、方形、圓形為什麼最常出現?雞蛋的形狀...
详情
标签:计算机科学,形式语言,计算机,计算理论,编译原理,自动机,语言学,编程语言,
原作名:An Introduction to Formal Languages and Automata
作者:林兹
出版年月:2020-02-20 …
页数: 289页
最新访问:2020-10-20 …
网友评分: 8.0
经典好书《形式语言与自动机导论》读书内容简介:形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义...
详情