دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Barbara B.H. Partee, A.G. ter Meulen, R. Wall سری: Studies in Linguistics and Philosophy ISBN (شابک) : 9027722447, 9789027722447 ناشر: Springer سال نشر: 1990 تعداد صفحات: 686 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Mathematical Methods in Linguistics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای ریاضی در زبانشناسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
نظریه مجموعههای ابتدایی دانشآموزان را به انتزاع ریاضی عادت میدهد، ساختارهای استاندارد روابط، توابع و نظمها را شامل میشود و به بحث در مورد مرتبههای مختلف بینهایت منجر میشود. مطالب مربوط به منطق نه تنها منطق گزاره استاندارد و منطق محمول مرتبه اول را پوشش می دهد، بلکه شامل مقدمه ای بر سیستم های رسمی، بدیهی سازی و نظریه مدل می شود. بخش جبر با تأکید بر شبکه ها و همچنین جبرهای بولی و هیتینگ ارائه شده است. پیشینه تحقیقات اخیر در معناشناسی زبان طبیعی شامل بخشهایی در انتزاع لامبدا و کمیسازهای تعمیمیافته است. فصلهای مربوط به تئوری خودکار و زبانهای رسمی شامل بحثی در مورد زبانهای بین بدون بافت و حساس به بافت هستند و زمینه را برای بسیاری از کارهای جاری در نظریه نحوی و زبانشناسی محاسباتی تشکیل میدهند. تمرینهای زیاد نه تنها مهارتهای پایه را تقویت میکنند، بلکه ورود به کاربردهای زبانی مفاهیم ریاضی را ارائه میدهند. برای دانشجویان مقطع کارشناسی ارشد و دانشجویان کارشناسی ارشد در زبان شناسی نظری، دانشجویان علوم کامپیوتر با علاقه مندی به زبان شناسی محاسباتی، برنامه نویسی منطقی و هوش مصنوعی، ریاضیدانان و منطق دانان با علاقه مندی به زبان شناسی و معناشناسی زبان طبیعی.
Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language.
Front Matter....Pages i-xxii
Front Matter....Pages 1-1
Basic Concepts of Set Theory....Pages 3-26
Relations and Functions....Pages 27-37
Properties of Relations....Pages 39-53
Infinities....Pages 55-73
Back Matter....Pages 75-84
Front Matter....Pages 85-85
Basic Concepts of Logic and Formal Systems....Pages 87-96
Statement Logic....Pages 97-134
Predicate Logic....Pages 135-178
Formal Systems, Axiomatization, and Model Theory....Pages 179-235
Back Matter....Pages 237-244
Front Matter....Pages 245-245
Basic Concepts of Algebra....Pages 247-253
Operational Structures....Pages 255-274
Lattices....Pages 275-294
Boolean and Heyting Algebras....Pages 295-307
Back Matter....Pages 309-312
Front Matter....Pages 313-313
Basic Concepts....Pages 315-369
Generalized Quantifiers....Pages 371-399
Intensionality....Pages 401-428
Front Matter....Pages 429-429
Basic Concepts....Pages 431-452
Finite Automata, Regular Languages and Type 3 Grammars....Pages 453-484
Pushdown Automata, Context Free Grammars and Languages....Pages 485-504
Turing Machines, Recursively Enumerable Languages and Type 0 Grammars....Pages 505-525
Linear Bounded Automata, Context Sensitive Languages and Type 1 Grammars....Pages 527-532
Front Matter....Pages 429-429
Languages Between Context Free and Context Sensitive....Pages 533-551
Transformational Grammars....Pages 553-557
Back Matter....Pages 559-666