دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Computational Complexity of Logical Theories
دانلود کتاب پیچیدگی محاسباتی نظریه های منطقی
مشخصات کتاب
The Computational Complexity of Logical Theories
ویرایش: 1
نویسندگان: Jeanne Ferrante. Charles W. Rackoff (auth.)
سری: Lecture Notes in Mathematics 718
ISBN (شابک) : 9783540095019, 9783540351979
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 1979
تعداد صفحات: 251
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب پیچیدگی محاسباتی نظریه های منطقی: ریاضیات عمومی
در صورت تبدیل فایل کتاب The Computational Complexity of Logical Theories به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیچیدگی محاسباتی نظریه های منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Introduction and background....Pages 1-27
Ehrenfeucht games and decision procedures....Pages 28-46
Integer addition — An example of an Ehrenfeucht game decision procedure....Pages 47-54
Some additional upper bounds....Pages 55-127
Direct products of theories....Pages 128-147
Lower bound preliminaries....Pages 148-152
A technique for writing short formulas defining complicated properties....Pages 153-161
A lower bound on the theories of pairing functions....Pages 162-186
Some additional lower bounds....Pages 187-233
