دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in linear logic
دانلود کتاب پیشرفت در منطق خطی
مشخصات کتاب
Advances in linear logic
ویرایش: نویسندگان: Jean-Yves Girard, Yves Lafont, Laurent Regnier سری: London Mathematical Society lecture note series 222 ISBN (شابک) : 0521559618, 9780521559614 ناشر: Cambridge University Press سال نشر: 1995 تعداد صفحات: 397 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Advances in linear logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در منطق خطی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در منطق خطی
توضیحاتی درمورد کتاب به خارجی
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.
فهرست مطالب
Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Preface ......Page 7
Linear Logic: its syntax and semantics ......Page 9
Bilinear logic in algebra and linguistics ......Page 51
A category arising in linear logic, complexity theory and set theory ......Page 69
Hypercoherences: a strongly stable model of linear logic ......Page 91
Deciding provability of linear logic formulas ......Page 117
The direct simulation of Minsky machines in linear logic ......Page 131
Stochastic interaction and linear logic ......Page 155
Inheritance with exceptions ......Page 175
On the fine structure of the exponential rule ......Page 205
Sequent calculi for second order logic ......Page 219
From proof nets to interaction nets ......Page 233
Empires and kingdoms in MLL- ......Page 257
Noncominutative proof nets ......Page 279
Volume of mulitplica.tive formulas and provability ......Page 305
Proof-nets and the Hilbert space ......Page 315
Geometry of interaction III: accommodating the additives ......Page 337
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Operation Mincemeat: How a Dead Man and a Bizarre Plan Fooled the Nazis and Assured an Allied Victory
دانلود کتاب The Economist (May 5th, 2018)
دانلود کتاب Controlling communicable disease
دانلود کتاب Critical Events: An Anthropological Perspective on Contemporary India
