庆祝清华大学建校九十周年艺术与科学国际作品展作品集 中英文本

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

突破创意设计 英国艺术与设计学院用书

本书通过丰富的设计案例展示了平面设计不同的创意和观点，为设计师提供了尝试新方法、提高技能和技法创造力的机会。本书由五个部分组成，每个部分围绕一个特定的设计题材进行展开论述，包括品牌识别设计、包装设...

漫画孙子兵法·韩非子 战争的艺术与国家的秩序

跨越数千年时空，承载了所有中国人的思想精髓，自四书、老庄、到唐詩宋詞，將长篇累牍，语文艰涩的文学巨著，落实在生动活泼的画面上。中国人的第一套图像古籍，帶領读者了解先圣先贤的原始思想，深入中國文化的细致......

动画造型与设计艺术 第2版

本书是一本了解掌握动画造型与设计技巧的教材。该书从综合多种艺术门类的角度出发，借经典动漫造型与案例，从文学性、表现性、象征性、运动性、拟人化等多方面阐述动画片造型与艺术设计的特点及特征。本书为读...

发现教堂的艺术 教堂的建筑·图像·符号与象征完全指南

本书用拆解与组合方式，诠释了各种比喻与隐喻的教堂建筑的各个细部的象征。教堂是利用建筑的语汇对宗教做了一次重新诠释与书写。世界上有多少座教堂，就有多少细节、局部、片段可以重新认识，领会其中蕴含的丰饶...

陶渊明的心灵世界与艺术天地

陶渊明，魏晋风流的代表。他安贫乐道、崇尚自然，他的诗作促使魏晋诗歌的古朴作风进入更纯熟的境地，是东晋诗坛绕不开的人物。在《陶渊明的心灵世界与艺术天地》一书中，作者在每一个中心主题下都精心选用陶渊明的...

意派与批评性艺术 两种理论上的比较研究与批评

本书以高名潞提出的“意派”理论和王南溟提出的“批评性艺术”理论为研究对象。作者通过对文本做精细的分析，批判性地考察了这二者的文化诉求、理论架构、知识背景以及所未觉的谬误，认为这能充分展示艺术批评...

艺术生存与审美建构 朱光潜美学思想的嬗变与坚守

本书以处在历史交替与转型过程中的朱光潜为研究对象，从艺术与审美视角研究了他关于艺术起源、自然美、悲剧衰亡、表现主义美学、翻译转向以及中国传统美学的现代转换等问题，分析了朱光潜在面对“古今问题”、...

与中华民族共同着生命的艺术家 陈烟桥传

本书从木刻、版画等艺术创作及美术理论、艺术教育等方面，再现了陈烟桥先生的艺术成就和人格魅力。本书视角新颖，木刻创作与社会现实相结合，历史叙事与传主艺术生涯相结合，传主与木刻家群体相联系。从一个重要的...