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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Provability, Complexity, Grammars

دانلود کتاب اثبات پذیری، پیچیدگی، گرامر

مشخصات کتاب

Provability, Complexity, Grammars

دسته بندی: منطق
ویرایش:  
نویسندگان: Lev Beklemishev,  Mati Pentus,  Nikolai Vereschagin  
سری: American Mathematical Society translations, Series 2, Volume 192 
ISBN (شابک) : 0821810782, 9780821810781 
ناشر: American Mathematical Society 
سال نشر: 1999 
تعداد صفحات: 183 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

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

در صورت تبدیل فایل کتاب Provability, Complexity, Grammars به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اثبات پذیری، پیچیدگی، گرامر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب اثبات پذیری، پیچیدگی، گرامر

شامل سه پایان نامه دکتری در منطق ریاضی، زبان شناسی ریاضی و نظریه پیچیدگی است که از روسی ترجمه شده است: Lev Beklemishev - طبقه بندی منطق های اثبات پذیری گزاره ای (پایان نامه دکتری، 1992) Mati Pentus - حساب دیفرانسیل و انتگرال لمبک و گرامرهای رسمی (پایان نامه دکتری، 1996) نیکولای ورشچاگین - نسبیت پذیری در نظریه پیچیدگی (Habilit. Thesis, 1995)

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

Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian: Lev Beklemishev - Classification of Propositional Provability Logics (PhD Thesis, 1992) Mati Pentus - Lambek Calculus and Formal Grammars (PhD Thesis, 1996) Nikolai Vershchagin - Relativizability in Complexity Theory (Habilit. Thesis, 1995)

فهرست مطالب

Cover ......Page 1
Table of contents ......Page 5
Preface ......Page 7
Introduction ......Page 9
1. Preliminaries ......Page 15
2. Semantics for S, D, and A ......Page 22
3. Trace classification of provability logics ......Page 29
4. Prime А-models and their characteristic formulas ......Page 38
5. Provability logics containing D ......Page 43
6. Provability logics containing A ......Page 46
7. Main results ......Page 51
8. Examples, comments, and related results ......Page 56
References ......Page 63
Introduction ......Page 65
1. Preliminaries ......Page 68
2. Free group interpretation ......Page 71
3. Thin sequents ......Page 73
4. Interpolation ......Page 74
5. Main theorem ......Page 77
6. Interpolation in fragments ......Page 81
7. Construction of a context-free grammar for a product-free Lambek grammar ......Page 87
8. Conjoinable types in the Lambek calculus ......Page 88
9. Multiplicative cyclic linear logic ......Page 89
References ......Page 94
1. Introduction ......Page 95
2. A uniform way to define complexity classes ......Page 97
3. General criteria ......Page 100
4. Relativizable inclusions between particular complexity classes ......Page 112
5. Turing reducibility between particular complexity classes ......Page 122
6. Complete languages in particular complexity classes ......Page 129
7. Perceptrons and oracle separation of AM П со-AM from PP ......Page 134
8. The universum method ......Page 140
9. Relations between complexity classes relativized with a random oracle ......Page 167
References ......Page 178
Selected titles in this series ......Page 181