形式语言及其与自动机的关系

微分方程数值解

本书主要介绍了常微分方程和偏微分方程的数值解法，具体包括：数值分析基础、常微分方程数值方法、椭圆型方程的差分方法、发展方程的差分方法、有限元方法简介以及有限元方法误差分析。本书在编写过程中注重由...

奇异积分算子及其在双曲微分方程上的应用

非线性随机延迟微分方程数值解的稳定性

形式逻辑初稿

本书分为序言、判断、概念、推理、推理三段论、二难推理、省略体和复杂体、思维和语言在汉语中的表达形式、证明、类比推理、逻辑的基本规律等内容，从学者王立吾的手稿中整理成书，后附习题集。对了解建国初期...

形式主义批评的终结

本论文以格林伯格的形式主义批评为基本线索，尝试将其与特定时期的艺术流派、艺术运动、批评理论结合起来，梳理与呈现美国的形式主义批评是在什么样的艺术语境下发生、发展，以及最后走向终结的。...

论苏联文学中的民族形式问题

节译自“社会主义现实主义诸问题”

电磁场理论形式逻辑分析

本书是一本论文集，主要涉及“电磁场理论”、两类“相对论”、20世纪“非平衡态热力学”以及“流体力学”等学科数学基础的分析。

躯体形式障碍

本书的编写将从心理学这一全新的角度出版，突出人们认识和理解疾病的意义，强化躯体形式障碍的概念，帮助人们摆脱疾病困扰。同时对心理学专业人员、心理学大学生、研究生和教师、研究与此有关问题的各类人员，如从...

音乐的结构与风格 音乐形式的分析与研究