دانلود کتاب Substructural Logics
49,000 تومان
منطق زیرساختی
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Clarendon Press |
| تعداد صفحه | 397 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0198537778,9780198537779 |
| نویسنده | Kosta DoSen, Peter Schroeder-Heister |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1993 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق زیرساختی
منطق زیرساختی شامل خانواده ای از منطق های غیرکلاسیک است که در پاسخ به مشکلاتی در علوم کامپیوتر نظری، زبان شناسی ریاضی و نظریه مقوله پدید آمدند. آنها شامل منطق شهودگرایانه، منطق مرتبط، منطق BCK، منطق خطی، و محاسبات مقوله های ترکیبی لامبک هستند. این کتاب مقالات جدیدی از برخی از برجستهترین مراجع در این سنتهای مختلف را گرد هم میآورد تا دیدگاهی واحد از این حوزه ارائه دهد. این جلد مهم – اولین جلدی که رشتههای متفاوت کار در منطقهای زیرساختی را گرد هم میآورد – مورد استقبال دانشآموزان و منطقدانان حرفهای، دانشمندان نظری رایانه، زبانشناسان نظری، فیلسوفان و ریاضیدانانی که در نظریه مقولهها و جبر جهانی کار میکنند، خواهد بود.
Substructural Logics
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck’s calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume–the first to bring together the disparate strands of work in substructural logics–will be welcomed by student and professional logicians, theoretical computer scientists, theoretical linguists, philosophers, and mathematicians working in category theory and universal algebra.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.