找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Mathematical Methods in Linguistics; Barbara H. Partee,Alice Meulen,Robert E. Wall Book 1993 Kluwer Academic Publishers 1993 computational

[复制链接]
查看: 48144|回复: 45
发表于 2025-3-21 18:51:33 | 显示全部楼层 |阅读模式
书目名称Mathematical Methods in Linguistics
编辑Barbara H. Partee,Alice Meulen,Robert E. Wall
视频video
丛书名称Studies in Linguistics and Philosophy
图书封面Titlebook: Mathematical Methods in Linguistics;  Barbara H. Partee,Alice Meulen,Robert E. Wall Book 1993 Kluwer Academic Publishers 1993 computational
描述Elementary set theory accustoms the students to mathematicalabstraction, includes the standard constructions of relations,functions, and orderings, and leads to a discussion of the variousorders of infinity. The material on logic covers not only the standardstatement logic and first-order predicate logic but includes anintroduction to formal systems, axiomatization, and model theory. Thesection on algebra is presented with an emphasis on lattices as wellas Boolean and Heyting algebras. Background for recent research innatural language semantics includes sections on lambda-abstraction andgeneralized quantifiers. Chapters on automata theory and formallanguages contain a discussion of languages between context-free andcontext-sensitive and form the background for much current work insyntactic theory and computational linguistics. The many exercises notonly reinforce basic skills but offer an entry to linguisticapplications of mathematical concepts. .Forupper-level undergraduate students and graduate students intheoretical linguistics, computer-science students with interests incomputational linguistics, logic programming and artificialintelligence, mathematicians and logicians with in
出版日期Book 1993
关键词computational linguistics; language; linguistics; logic; predicate logic; semantics
版次1
doihttps://doi.org/10.1007/978-94-009-2213-6
isbn_softcover978-90-277-2245-4
isbn_ebook978-94-009-2213-6Series ISSN 0924-4662 Series E-ISSN 2215-034X
issn_series 0924-4662
copyrightKluwer Academic Publishers 1993
The information of publication is updating

书目名称Mathematical Methods in Linguistics影响因子(影响力)




书目名称Mathematical Methods in Linguistics影响因子(影响力)学科排名




书目名称Mathematical Methods in Linguistics网络公开度




书目名称Mathematical Methods in Linguistics网络公开度学科排名




书目名称Mathematical Methods in Linguistics被引频次




书目名称Mathematical Methods in Linguistics被引频次学科排名




书目名称Mathematical Methods in Linguistics年度引用




书目名称Mathematical Methods in Linguistics年度引用学科排名




书目名称Mathematical Methods in Linguistics读者反馈




书目名称Mathematical Methods in Linguistics读者反馈学科排名




单选投票, 共有 1 人参与投票
 

1票 100.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 23:55:47 | 显示全部楼层
Formal Systems, Axiomatization, and Model Theoryn up until Part E. The discussion in this section will be purely syntactic (in part so as to illustrate what that means); we will return to a semantic investigation of some of the formal systems discussed here in the next section.
发表于 2025-3-22 03:17:01 | 显示全部楼层
发表于 2025-3-22 08:24:35 | 显示全部楼层
发表于 2025-3-22 10:51:43 | 显示全部楼层
发表于 2025-3-22 13:31:29 | 显示全部楼层
0924-4662 erings, and leads to a discussion of the variousorders of infinity. The material on logic covers not only the standardstatement logic and first-order predicate logic but includes anintroduction to formal systems, axiomatization, and model theory. Thesection on algebra is presented with an emphasis o
发表于 2025-3-22 19:47:29 | 显示全部楼层
Relations and FunctionsRecall that there is no order imposed on the members of a set. We can, however, use ordinary sets to define an ., written 〈.〉 for example, in which . is considered the . and . is the . of the pair. The definition is as follows:
发表于 2025-3-23 00:31:45 | 显示全部楼层
Properties of RelationsCertain properties of binary relations are so frequently encountered that it is useful to have names for them. The properties we shall consider are ., and .. All these apply only to relations . a set, i.e., in . x . for example, not to relations from . to ., where . ≠ ..
发表于 2025-3-23 01:26:59 | 显示全部楼层
InfinitiesIn the preceding chapters we have occasionally dealt with sets, such as the set of positive integers, which we intuitively regard as infinite. We now want to examine the concept of infinity in more detail.
发表于 2025-3-23 07:19:27 | 显示全部楼层
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-21 21:58
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表