数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

浦东逻辑 浦东开发与经济全球化 the development of Pudong new area & the economic globalization

本书总结、介绍了上海浦东新区开发的经验，以及与经济全球化的关系。

追踪语言符号意义运行的轨迹：语言符号意义解读模式理论与实践

本书主要探讨了语言学对于语言符号的各种理论上的解读，分析对比了主要流派的不同观点，并论证了语言符号意义的不同来源和语言符号意义解读的操作方法。...

语言文字应用与教学研究：广州市社会语言文字调查及其他

中国语言文学论丛 第2辑

本书是一本论文集，这本论文集是由贵州大学人文学院中文系组织编写的，2004年中文系学科重组，本书是重组后科研成果中的一部分。本论文集，按中国语言文学一级学科目录内二级学科的顺序编排论文，对于交叉学科或目录...

中国花鸟画语言研究 禽鸟

该书是研究中国传统工笔花鸟画的一本专业教材，分为赏析、构图、色彩、造型、材料、创作等篇。赏析篇包括中国古代花鸟画脉络梳理及艺术语言赏析、中国现当代花鸟画脉络梳理及艺术语言赏析及案例分析；构图篇包...

BOT+EPC 组织逻辑与行动框架

BOT是一种投融资模式，而EPC则是一种工程项目管理模式。当BOT投资者在建设（B）环节引入EPC,便形成了“BOT+EPC”这种复合模式。在大型基础设施BOT项目建设过程中采用EPC，是一个“整合资源、平衡利益和解决矛盾”...

语言教学 课程与改革

本书是国家级教学团队语言学科教学研究文丛研究成果。

C语言与程序设计

程序设计语言研究与发展