数理逻辑 基本原理与形式演算 第2版

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

赏画识道 黄格胜绘画语言之形式赏析

本书大致上包括两部分，一是对黄格胜绘画形式语言的分析，二是追溯他成功背后的诸多因素。通过细致的研究，作者总结出黄格胜绘画形式的几种构成原则，如邻近性原则、相似性原则、延续性原则、完形性原则；黄格胜作品...

中国农村村民自治有效实现形式研究

本书为中国农村研究智库书系专题研究第一辑。村民自治作为一项制度已实施30多年，但这一制度却没能“落地”和运转。以行政村为村民自治单位，在很大程度上是基于国家治理需要的考虑，而在实行中遭遇了极大困难和...

大师级写实绘画全解析 变幻的形式 W

本书引进自美国F+W出版社，全书136页，四色彩印，为读者奉上了一场视觉上的饕餮盛宴。本书收录了来自世界各地的100多位艺术家的优秀作品，从极简主义到照相写实主义，从风景、肖像到静物、动物，从炭笔到色粉，内容丰富....

古典文献研究辑刊 四编 第29册 《列仙、神仙、洞仙》三仙传之叙述形式与主题分析

汉英言语反讽的形式与功能：一项基于电视辩论语料的语用研究

本书主要考察汉语和美语在言语反讽的使用上呈现出的异同，具体研究以电视辩论节目用语为语料，探讨两种语言在反讽的语用语言暗示上表现出的异同以及各语言倾向的应答反讽的方式，分析了因为使用上的不同而体现的...

类型与设计 建筑形式产生的内在动力

本书缘起于对设计中一个根本性问题的探讨——即建筑形式从哪里来。切入点是形式（类型）作为一种建筑师的工作策略在形式创造过程中的作用，由此从历史上不同的阶段建筑师对类型的认识、态度、运用策略等多角度展...

利奥塔的差异哲学 法则、事件、形式

本书围绕“差异”一词，从法则、事件、形式三个方面试图阐述、梳理和评价法国当代思想家利奥塔的后现代理论的思想渊源、哲学基础及其坚持多元文化语用学的政治、伦理和美学意义。“差异”这一关键词不仅贯穿...

形式语义学研究

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

寻找高点·追寻阳光 美国社区形式多样的教堂建筑摄影

本书是作者在美国生活一年间，到处游历所拍到的近百座教堂的摄影作品。书中作品围绕高点而展开，追逐太阳而结束。画面构图新颖，光线讲究，有整体又有局部。根据照片的意境，还配有内涵深远的美文，使全书图文并茂，......