دانلود کتاب Type-Theoretical Grammar (Indices, 1
49,000 تومان
گرامر نوع نظری (شاخص ها، 1
| موضوع اصلی | زبان شناسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Oxford University Press, USA |
| تعداد صفحه | 238 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 019853857X,9780198538578 |
| نویسنده | Aarne Ranta |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
گرامر نوع نظری (شاخص ها، 1
نظریه نوع سازنده اولین بار در سال 1970 توسط منطقدان سوئدی Per Martin-Lof ارائه شد. از آن زمان به بعد به یکی از رویکردهای اصلی در مبانی ریاضیات و علوم کامپیوتر تبدیل شد. با این حال، اگرچه گسترش قابل توجهی از مفاهیم و فنون منطق ارائه می دهد، اما در میان زبان شناسان و فیلسوفان نسبتاً ناشناخته باقی مانده است. این اثر نظریهی نوع سازنده را از دیدگاه زبانشناسی و فلسفه زبان ارائه میکند و رویکرد ارزشمند آن را به حوزههایی معرفی میکند که در آنها ناآشنا مانده است. سپس این نظریه در مورد کمی سازی، آنافورا، مرجع زمانی و ساختارهای متن و گفتمان اعمال می شود. پدیدههای مختلف وابستگی و پیشرفت در پرتو مفاهیم شیء و محتوا اثبات مورد بحث قرار میگیرند و راهحلهای چندین مشکل شناختهشده مورد بحث قرار میگیرند.
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to quantification, anaphora, temporal reference, and the structures of text and discourse. Various phenomena of dependence and progression are discussed in the light of concepts of proof object and content, and the solutions to several well-known problems are discussed.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.