دانلود کتاب The Logic of Information Structures
36,000 تومان
منطق ساختارهای اطلاعاتی
موضوع اصلی | منطق |
---|---|
نوع کالا | کتاب الکترونیکی |
ناشر | Springer-Verlag Berlin Heidelberg |
تعداد صفحه | 168 |
حجم فایل | 2 مگابایت |
کد کتاب | 3540567348 |
نوبت چاپ | 1 |
نویسنده | |
---|---|
زبان |
انگلیسی |
فرمت |
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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق ساختارهای اطلاعاتی
این تک نگاری به دو جنبه اصلی مفهوم اطلاعات یعنی پردازش اطلاعات و ساختار اطلاعات پرداخته است. ساختار اطلاعات به عنوان یک موضوع در نظریه مدل در نظر گرفته می شود، در حالی که پردازش اطلاعات به عنوان جنبه ای از نظریه اثبات دیده می شود. طیف گستردهای از زیرسیستمهای زیرساختی منطق گزارهای شهودی و منطق سازنده نلسون با نفی قوی بررسی میشود. به طور خاص، مشکلات حذف برش، کامل بودن عملکرد، و کدگذاری اثبات ها با اصطلاحات لامبدا رسیدگی می شود. در نهایت، تفسیری از این سیستم ها از نظر وضعیت اطلاعات و عملیات بر روی این حالت ها ارائه شده است.
This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory. A wide spectrum of substructural subsystems of intuitionistic propositional logic and of Nelson’s constructive logic with strong negation is investigated. In particular, the problems of cut-elimination, functional completeness, and coding of proofs with lambda-terms are handled. Finally, an interpretation of these systems in terms of states of information and operations over these states is presented.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.