دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
دانلود کتاب مقوله ها و انواع منطق ، زبان و فیزیک: مقاله هایی به جیم لامبک به مناسبت نودمین سالگرد تولد وی
مشخصات کتاب
Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
ویرایش: 1 نویسندگان: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.) سری: Lecture Notes in Computer Science 8222 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642547881, 9783642547898 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 432 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب مقوله ها و انواع منطق ، زبان و فیزیک: مقاله هایی به جیم لامبک به مناسبت نودمین سالگرد تولد وی: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، تاریخچه محاسبات، علوم کامپیوتر، عمومی، علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقوله ها و انواع منطق ، زبان و فیزیک: مقاله هایی به جیم لامبک به مناسبت نودمین سالگرد تولد وی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقوله ها و انواع منطق ، زبان و فیزیک: مقاله هایی به جیم لامبک به مناسبت نودمین سالگرد تولد وی
برای بیش از 60 سال، جیم لمبک یک ریاضیدان عمیقاً الهام بخش بوده است، با کمک های پیشگامانه در جبر، نظریه دسته بندی، زبان شناسی، فیزیک نظری، منطق و نظریه اثبات. این Festschrift به مناسبت تولد 90 سالگی او گردآوری شد. مقالات موجود در آن تصویر خوبی از حوزه های تحقیقاتی متعددی را ارائه می دهد که تأثیر کار جیم لامبک را می توان در آنها احساس کرد. این جلد شامل مشارکت‌های محققان برجسته و دانشجویان آنها است که نشان می‌دهد چگونه ایده‌های جیم لامبک الهام‌بخش نسل‌های آینده محققان است.
توضیحاتی درمورد کتاب به خارجی
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.
فهرست مطالب
Front Matter....Pages -
Semantic Unification....Pages 1-13
On Residuation....Pages 14-27
Type Similarity for the Lambek-Grishin Calculus Revisited....Pages 28-50
NP-Completeness of Grammars Based Upon Products of Free Pregroups....Pages 51-62
Distributional Semantics: A Montagovian View....Pages 63-89
A Logical Basis for Quantum Evolution and Entanglement....Pages 90-107
Learning Lambek Grammars from Proof Frames....Pages 108-135
Multi-Sorted Residuation....Pages 136-155
Italian Clitic Patterns in Pregroup Grammar: State of the Art....Pages 156-171
On Associative Lambek Calculus Extended with Basic Proper Axioms....Pages 172-187
Classical Structures Based on Unitaries....Pages 188-210
Initial Algebras of Terms with Binding and Algebraic Structure....Pages 211-234
Abstract Tensor Systems as Monoidal Categories....Pages 235-252
On Canonical Embeddings of Residuated Groupoids....Pages 253-267
L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents....Pages 268-278
A Note on Multidimensional Dyck Languages....Pages 279-296
Extended Lambek Calculi and First-Order Linear Logic....Pages 297-330
A Categorial Type Logic....Pages 331-352
Chasing Diagrams in Cryptography....Pages 353-367
The Monotone Lambek Calculus Is NP-Complete....Pages 368-380
A Mathematical Analysis of Masaccio’s Trinity ....Pages 381-392
Conjoinability in 1-Discontinuous Lambek Calculus....Pages 393-401
The Hidden Structural Rules of the Discontinuous Lambek Calculus....Pages 402-420
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ferroelectricity at the Nanoscale: Basics and Applications
دانلود کتاب Campaign 2: English for the military. Workbook (with audio)
دانلود کتاب Marx Engels Gesamtausgabe I.20: Karl Marx / Friedrich Engels: Werke, Artikel, Entwürfe September 1864 bis September 1867
دانلود کتاب The Scientific Study of Human Nature: Tribute to Hans J. Eysenck at Eighty
