دانلود کتاب Substructural Logics: A Primer
49,000 تومان
منطق زیرساختاری: یک آغازگر
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 316 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 1402006055,9781402006050 |
| نوبت چاپ | 1 |
| نویسنده | F. Paoli |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2002 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق زیرساختاری: یک آغازگر
پائولی (U. de Cagliari، ایتالیا) با ماندن در مرزهای منطق گزارهای، بررسی بهروزی از این شاخه برجستهتر از حوزه تحقیقاتی که به عنوان منطق غیرکلاسیک شناخته میشود، ارائه میکند، موضوع را از دیدگاههای تاریخی و فلسفی معرفی میکند، و بحث میکند. روابط بین منطق زیرساختی و معناشناسی اثباتی-نظری. موضوعات مرتبط با محدودیت های گزاره ای، جابجایی، کلاسیک و شبکه ای به طور عمدی حذف شده اند. مروری بر جبر ابتدایی، نظریه مدل، و نظریه گراف، و واژه نامه نمادهای جبری استفاده شده را اضافه می کند. مناسب برای دانشجویان تحصیلات تکمیلی در زبان شناسی نظری، علوم کامپیوتر، ریاضیات و فلسفه که حداقل به منطق ابتدایی مسلط هستند و همچنین متخصصان و محققان حوزه
Substructural Logics: A Primer
Remaining within the boundaries of propositional logic, Paoli (U. de Cagliari, Italy) provides an up-to-date survey of this increasingly prominent branch of the research field known as nonclassical logics, introduces the topic from historical and philosophical perspectives, and discusses the relationships between substructural logics and proof-theoretical semantics. Topics related to the propositional, commutative, classical, and lattice-ordered constraints have been purposely excluded. Appends a review of elementary algebra, model theory, and graph theory, and a glossary of algebraic notations used. Suitable for graduate students in theoretical linguistics, computer science, math, and philosophy versed in at least elementary logic, as well as area specialists and researchers
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.