俄国形式主义 历史与学说

俄国形式主义指的是1915年至1930年在俄国盛行的一股文学批评思潮，其组织形式有以雅克布森为首的“莫斯科语言学学会”和以什克洛夫斯基为首的“彼得堡诗歌语言研究会”其成员大多为莫斯科大学和彼得堡大学的...

企业收入分配的典型形式及产权逻辑

本书通过企业产权和要素产权的交易契约，股份制有效地将四类要素（资本、企业家才能、劳动力、公共环境）及其所有者（投资人、经理人、工人、政府）整合到特定的企业组织之中，并构造企业产权与企业收入分配的对应关.....

一阶椭圆型微分方程组与边值问题及其在薄壳理论上的应用

本书总结了作者多年来用复变函数研究一阶椭圆型微分方程组的成果，并为这一方向的进一步发展奠定了坚实的基础。本书共10章，主要介绍了整数的各种形式和由整数引申出来的各种数学问题和理论，包括整数和它的表示...

形式语言与自动机及程序设计

本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...

Solvable theory of nonlinear differential equations and their applications=非线性微分方程的可解性理论及其应用

Lectures on the analysis of nonlinear partial differential equations Volume 3 = 非线性偏微分方程分析讲义 第三卷

Applications of symmetry methods to partial differential equations Volume 168 = 对称方法在偏微分方程中的应用

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

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

清华语言学博士丛书 汉语“排除范畴”表达形式的历时演变及衍生途径

在汉语史研究中，排除表达是个十分重要的课题，关系到人类逻辑思维的动作以及思维与语言表达的关系，也涉及构式与复句的构成与变革。本书是汉学界首次对此议题提出整体研究的专著，第一次提出构建汉语的排除范畴，将...

微分几何例题详解和习题汇编

本书是数学专业和相关专业微分几何课程的教学参考书，也是与作者编著的普通高等教育“十五”国家级规划教材《微分几何》(北京大学出版社，2006年)相配套的教学辅助参考书。本书是作者在北京大学长期从事微分几...