语言的牢笼 马克思主义与形式

本丛书介绍了20世纪欧美最有影响的文艺理论著作，较为全面、系统地反映了20世纪欧美文艺理论的发展状况及过程，具有很高的学术价值。本册分上、下册，主题词为语言、文艺、马克思等。...

合作社贸易组织与技术参考资料 苏维埃贸易底组成形式

形式逻辑

形式逻辑是一门公共课，中文、秘书、党政、法律、经济、历史、政治、教育、管理、军事等专业都有开设。考虑到不同专业的教学需要，本书采用了流行的通用的理论体系，并且特别注重联系语言实践，较全面地阐述了思维...

非线性常微分方程若干边值问题的研究

本书是作者近年来研究成果的总结。在介绍拓扑度基本理论的基础上，对带p-Laplace算子的边值问题在多种边界条件下，给出了有解性和多解性的判断依据，展示了边值问题的研究技巧和方法。...

基于变分偏微分方程的图像复原技术

本书以变分偏微分方程图像复原技术为研究主线，以整体变分图像模型为主要研究对象，研究了基于神经网络的图像复原模型和复原算法；分析了小波图像去噪方法与非线性滤波去噪方法之间的关系；并采用图割技术，研究了整...

东西方矛盾观的形式演算 第2卷 正反数理逻辑概论

软件开发的形式化工程方法

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系

中国乡镇企业体制转变 市场自由化，契约形式创新和私有化

现代日语句尾情态形式研究 日文版

本书为“当代外语研究论丛”系列之一。本书在语言类型学视野下，运用语料库工具和语法化等现代语言学理论，较为系统地考察了日语的情态体系，对于前人的研究，既有检验，亦有修正，更有发展，得出了不少颇有意义的结......