-
互模拟理论的逻辑研究
¥46.8(7.2折)定价:¥65.0《互模拟理论的逻辑研究》从逻辑的角度研究互模拟,主要以模型论、集合论和模态逻辑的知识为背景,意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程,从理论层面探讨互模拟的基本理论和作用。《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的
-
面向中文信息处理的组合范畴语法研究
¥33.5(4.3折)定价:¥78.0本书共分八章, 主要内容包括: 范畴语法的发展阶段、组合范畴语法和范畴类型逻辑、组合范畴语法与汉语非连续结构的处理、组合范瓣语法与汉语照应及省略现象、组合范畴语法对汉语形容词谓语句和主谓谓语句的逻辑分析、混合范畴类型逻辑与汉语的形式处理等...
五星书
浏览历史
-
新编成人钢琴教程(上下)[附CD2张]
¥44.9¥68.0