برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Lectures on Linear Logic

دانلود کتاب سخنرانی در مورد منطق خطی

مشخصات کتاب

Lectures on Linear Logic

دسته بندی: منطق
ویرایش: 1 
نویسندگان: A. S. Troelstra  
سری: Center for the Study of Language and Information - CSLI Lecture Notes 29 
ISBN (شابک) : 0937073784, 9780937073780 
ناشر: CSLI Publications 
سال نشر: 1992 
تعداد صفحات: 215 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت

قیمت کتاب (تومان) : 51,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 7

در صورت تبدیل فایل کتاب Lectures on Linear Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی در مورد منطق خطی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سخنرانی در مورد منطق خطی

بخش‌های اولیه این متن به موضوعات نحوی مانند فرمالیسم منطقی، حذف برش و تعبیه منطق شهودی در منطق خطی کلاسیک می‌پردازد. فصل‌های پایانی بر روی پروفنت‌ها برای قطعه ضربی و تفسیر الگوریتمی حذف برش در پروفنت‌ها تمرکز دارند.

توضیحاتی درمورد کتاب به خارجی

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

فهرست مطالب

1 Introduction 1
2 Sequent calculus for linear logic 15
3 Some elementary syntactic results 26
4 The calculus of two implications: a digression 41
5 Embeddings and approximations 45
6 Natural deduction systems for linear logic 56
7 Hilbert-type systems 65
8 Algebraic semantics 71
9 Combinatorial linear logic 81
10 Girard domains 92
11 Coherence in symmetric monoidal categories 102
12 The storage operator as a cofree comonoid 111
13 Evaluation in typed calculi 119
14 Computation by lazy evaluation in CCC\'s 125
15 Computation by lazy evaluation in SMC\'s and ILC\'s 134
16 The categorical and linear machine 139
17 Proofnets for the multiplicative fragment 144
18 The algorithm of cut elimination for proof nets 155
19 Multiplicative operators 162
20 The undecidability of linear logic 172
21 Cut elimination and strong normalization 179
References 191
Index 197