范畴类型逻辑

首页 ┆ 咨询 ┆ 科普 ┆ 论坛 ┆ 博客

我的账户 ┆

购物车内容 ┆ 去收银台

动漫周边 ┆ 数码 ┆ 最新商品 ┆ 出版社 ┆ 丛书 ┆ 作者 ┆ 最近出版书籍 ┆ 在线阅读 ┆ RSS

商品搜索

高级搜索

热门搜索词：奥运会开幕式早期教育与天才英语日记

您现在的位置：书城 > 图书 > 哲学/宗教/心理学 > 逻辑学 > 商品信息

定价: ￥30.00元 金桥价: ￥28.50元 节省: ￥1.50元

出版/发行时间: 2008-01-01

出版社: 中国社会科学出版社

丛书名: 哲学宗教研究系列

作者: 邹崇理

ISBN: 9787500467113

版次: 1

开本: 16

页数: 251

内容简介

本书是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。

绪论
第一章范畴类型逻辑的发展阶段
第1节古典范畴语法
1.1 范畴和运算
1.2 形式化表述
1.3 古典范畴语法的变异一
第2节 Lambek句法演算
2.1 运算即推演
2.2 形式系统
第3节蒙太格语法
3.1 范畴语法的独特形态
3.2 通用语法模式
3.3 直接和间接的语义解释
第4节类型-逻辑语义学
4.1 句法和语义的综合表述
4.2 后承演绎图式和自然演绎系统
4.3 关于量化表达式的处理
第5节语法逻辑
5.1 公理系统
5.2 框架语义学
5.3 GentZen后承表述
5.4 合并或交织的多模态系统
第二章范畴类型逻辑的特性——逻辑的新功能
第1节范畴类型逻辑的自然语言语句系统
1.1 蒙太格语法的语句系统
1.2 类型-逻辑语义学的语句系统
第2节范畴类型逻辑和自然语言的计算机处理
2.1 基于范畴类型逻辑的逻辑程序语言
2.2 基于范畴类型逻辑的语法自动分析
第3节范畴类型逻辑的逻辑系统
3.1 Lambek演算对判定问题的解决
3.2 对应λ-词项的完全性证明
3.3 展示自然语言句法生成的语法逻辑
3.4 表现自然语言语义的高阶内涵逻辑
第4节逻辑的新功能——关于自然语言的逻辑系统
4.1 源于语言照应关系的动态逻辑
4.2 用于语法分析的特征结构逻辑
4.3 基于情境关联的信息流逻辑
第三章范畴类型逻辑研究
第1节非连续量词的类型-逻辑语义处理
第2节有关汉语灵活语序的多模态范畴逻辑
第3节融合特征结构的范畴类型推演
第4节处理照应关系的范畴类型推演
参考文献
后记

这件商品于 2008-06-19 添加.