找回密碼
 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ù)制鏈接]
查看: 48178|回復(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 08:14
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
定兴县| 敖汉旗| 信阳市| 犍为县| 明水县| 阿图什市| 宝丰县| 特克斯县| 阿拉善左旗| 德保县| 天气| 黑河市| 宾阳县| 定陶县| 永川市| 那曲县| 荥经县| 太康县| 阜新市| 临西县| 凤翔县| 民勤县| 南部县| 盐源县| 兴城市| 宜君县| 诸城市| 新乐市| 长武县| 清徐县| 古丈县| 盐城市| 哈巴河县| 同江市| 井冈山市| 绿春县| 阿荣旗| 荣成市| 安塞县| 固原市| 贡山|