找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 48179|回復(fù): 45
樓主
發(fā)表于 2025-3-21 18:51:33 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Mathematical Methods in Linguistics
編輯Barbara H. Partee,Alice Meulen,Robert E. Wall
視頻videohttp://file.papertrans.cn/627/626265/626265.mp4
叢書名稱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
關(guān)鍵詞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影響因子(影響力)學(xué)科排名




書目名稱Mathematical Methods in Linguistics網(wǎng)絡(luò)公開度




書目名稱Mathematical Methods in Linguistics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Mathematical Methods in Linguistics被引頻次




書目名稱Mathematical Methods in Linguistics被引頻次學(xué)科排名




書目名稱Mathematical Methods in Linguistics年度引用




書目名稱Mathematical Methods in Linguistics年度引用學(xué)科排名




書目名稱Mathematical Methods in Linguistics讀者反饋




書目名稱Mathematical Methods in Linguistics讀者反饋學(xué)科排名




單選投票, 共有 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

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 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.
板凳
發(fā)表于 2025-3-22 03:17:01 | 只看該作者
地板
發(fā)表于 2025-3-22 08:24:35 | 只看該作者
5#
發(fā)表于 2025-3-22 10:51:43 | 只看該作者
6#
發(fā)表于 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
7#
發(fā)表于 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:
8#
發(fā)表于 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 . ≠ ..
9#
發(fā)表于 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.
10#
發(fā)表于 2025-3-23 07:19:27 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 10:14
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
金寨县| 北安市| 女性| 安顺市| 揭阳市| 梁平县| 黎平县| 罗甸县| 萨嘎县| 津市市| 大关县| 济阳县| 五河县| 泰兴市| 河间市| 长宁区| 游戏| 陆丰市| 福安市| 德惠市| 黑水县| 安达市| 长乐市| 陈巴尔虎旗| 任丘市| 枣庄市| 易门县| 和静县| 长沙市| 靖边县| 新巴尔虎右旗| 泌阳县| 礼泉县| 绥阳县| 库车县| 宽城| 抚宁县| 大荔县| 南雄市| 营口市| 佛教|