当代大学课程秩序论 在“高深学问”和“个人知识”之间

大学课程研究中的知识问题是大学课程开发中的本质问题，也是大学课程研究的核心问题。本书引入“个人知识”的概念，作为大学研究的主题，来分析当代研究型大学课程哲学及其实践。本书首先明确知识问题的研究视角...

形式逻辑讲义 第4章 推理 直接推理 第5章 三段论和模态推理 第6章 假推、选言推理和联言推理

形式化框架下置换和查找类算法的组装生成

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

现代建筑的形式基础

彼得？埃森曼（Peter Eisenman）是当代著名的美国建筑师、建筑理论家及教育家。他的思想对近半个世纪以来的建筑学发展格局产？了？可？拟的影响。他对形式分析、解构主义、图解等概念在建筑学中的运？早已成为世界范围内...

建筑设计资料集成 单位空间III 5

建筑设计资料集成 单位空间II 4

建筑实录 室内专辑空间的探索

本书介绍世界上最新室内设计案例，传达国际上室内设计最新潮流和趋势。如里斯本设计与时尚博物馆，纽约德雷克·林商店和Piopio餐馆等。

外部空间与建筑环境设计资料集 图集

建筑空间与人体表现

本书图文并茂，其中有30多万字对人体与建筑、生命灵魂与空间关系的对话和探讨，还有近200幅有关揭开宇宙之谜的形象的图片。主要是建筑中的人体的象征和隐喻问题。这是在国内尚无系统研究，尚未得以普遍关注的重...

建筑设计资料集成 人体·空间篇

本书共5章：第一章“人类与环境”；第二章“形态，动作”，第三章“生理”；第四章“环境，行动”；第五章“群集，安全”。