空间流体科学与空间材料科学

抽象代数基础教程 原书第3版

本书全面叙述了代数学的基础知识，包括群论、环论、域论及主理想整环、多元多项式理论等。书中范例丰富，风趣易懂。另外，每一小节后均配有一定数量、难易不等的习题，书后还附有解答与提示，便于教学和自学。本书可...

广告创意 从抽象到具象的形象思维

本书以广告创意的基本理论、思维方式和具体执行为主要内容，全面系统地总结分析了广告创意的内涵、作用、特征、原则及运作程序，剖析了广告创意活动过程中创意主题与客体之间的相互关系及其对广告创意作品所产...

自然语言计算机形式分析的理论与方法

本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...

图像与形式 当代艺术理论的矛盾点和结合点

本书是关于“图像与形式——当代绘画展”的文献资料。书中编录了对周长江、王纯杰、张健君、韩绍光、黄峻、刘永涛、李周卫、黄世常、胡诚、肖武聪、杨锴、周多任这12位艺术家的专题评论，这些评论都是讨论绘...

小学数学名师抽象问题的艺术化教学

本书从小学数学中的抽象知识点入手，致力于解决小学数学老师在教学过程中遇到的抽象知识的讲解问题，如数的认识、数的运算及比和比例、量的计量、式与方程等。甄选名师具体、形象的成功讲解这些知识点的经典案...

艺术设计专业“十二五”规划教材 构成设计与应用

本书分为三个部分，第一部分为构成的概述、学习构成的材料以及构成的形式美法则；第二部分是本教材的主体内容，分为四个章节，从平面的基本元素、平面的组织形式、色彩的属性以及色彩的表现来构成理论框架；第三部分...

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

形式语言与自动机理论

形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...

物理学和数学的比较 物理学基础的抽象化

把现代物理学和数学在理论结构、基础概念及其精确化、价值观、创造过程和历史特点6方面作比较