第1章 太湖流域古镇特征；第2章 空间的结构与形态；第3章 古镇空间群结构；第4章 古镇空间序结构；第5章 古镇空间拓扑关系；第6章 空间形态心理感受；第7章 空间形态与行为活动；第8章 古镇案例解析。结语。主要参考文献。致谢。

2100433B

《城镇空间解析:太湖流域古镇空间结构与形态》由中国建筑工业出版社出版。

解析分层亦称解析谱系。按照量词复杂性对解析关系所作的递归论分层。与算术分层类似，任何解析关系可以用算术关系加上有穷个交替出现的二阶函数量词ᗄ′与∃′表示，依照量词个数，可以将该解析关系纳入具体的解析分层Σ¹_n或π¹_n中。形式地，具体的解析分层Σ¹_n，π¹_n，Δ¹_n可递归定义如下：

1.Σ¹₀=π¹₀={R：R为算术关系}。

2.Σ¹_{n 1}={(∃′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈π¹_n}.

3.π¹_{n 1}={(ᗄ′f)R(f，f₁，f₂，…，f_k，x₁，x₂，…，x_m)：R∈Σ¹_n}。

4.Δ¹_n=Σ¹_n∩π¹_n.

Σ¹_n，π¹_n与Δ¹_n中的关系分别称为Σ¹_n关系、π¹_n关系与Δ¹_n关系，此外，Δ¹_w定义为：∪{Σ¹_n∪π¹_n：n∈ω}，即所有解析关系的集合。此外，对n≥1，Σ¹_n关系可表示成下形范式：

(∃′f₁)(ᗄ′f₂)…(Q_nf_n)(Qx)

R(f₁，…，f_n，f_{n 1}，…，f_{n p}，x，x₁，…，x_q)，

其中若n为偶数，Q¹_n为ᗄ′，Q⁰为∃⁰；若n为奇数，Q¹_n为∃′，Q⁰为ᗄ⁰；而R为递归关系。π¹_n关系也可表示成以ᗄ′开头的类似表达式.解析分层还具有如下封闭性：

1.Σ¹_n，π¹_n，Δ¹_n对合取、析取运算与一阶量词封闭。

2.Δ¹_n对否定运算封闭。

3.R∈Σ¹_n，当且仅当ᒣR∈π¹_n；

R∈π¹_n，当且仅当ᒣR∈Σ¹_n。

4.对n≥1，Σ¹_n对二阶量词∃′封闭，π_n对二阶量词ᗄ′封闭。

关于解析分层的其他性质，参见“解析枚举定理”。此外，与算术分层不同，Δ¹₁≠Σ¹₀=π¹₀=Δ¹₀，Δ¹₁的关系称为超算术关系。

作者：(卢森堡)罗伯·克里尔 译者：金秋野 王又佳

罗伯·克里尔，1938年出生于卢森堡格雷文马赫区；1959年-1964年慕尼黑理工大学学习建筑学；1965-1970年在德国科隆和柏林同O.M.昂格斯合伙开业，在德国柏林/斯图加特同弗雷·奥托合伙开业；1973-1975年在德国斯图加特大学担任副教授；1975年在瑞士洛桑州立理工大学担任客座教授；1976-1998在奥地利维也纳理工大学建筑设计学院担任教授；1986年美国纽黑文耶鲁大学客座教授；1976-1994年在奥地利维也纳成立事务所；1992年至今在法国蒙彼利埃成立事务所，同尼古拉·勒布纳代合作营业；1993年至今在德国柏林成立事务所，同克里斯托弗·科尔合作营业。

罗伯·克里尔也是一位雕塑家，他的作品主要集中在城市公共空间雕塑。