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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Basic proof theory

دانلود کتاب نظریه اثبات اساسی

مشخصات کتاب

Basic proof theory

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان: A  S Troelstra,  Helmut Schwichtenberg  
سری: Cambridge tracts in theoretical computer science, 43 
ISBN (شابک) : 0521779111, 9780521784528 
ناشر: Cambridge University Press 
سال نشر: 2000 
تعداد صفحات: 430 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Basic proof theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب نظریه اثبات اساسی

این مقدمه بر ایده های اساسی نظریه اثبات ساختاری شامل بحث و مقایسه کامل انواع مختلف رسمی سازی منطقی مرتبه اول است. مثال‌هایی از چندین حوزه کاربردی ارائه شده‌اند، یعنی: فرا ریاضیات منطق مرتبه اول محض، نظریه برنامه‌ریزی منطقی، نظریه دسته‌بندی، منطق مدال، منطق خطی، حساب مرتبه اول و منطق مرتبه دوم. در هر مورد، نویسندگان روش‌ها را در موقعیت‌های نسبتاً ساده نشان می‌دهند و سپس آنها را در مکان‌های دیگر در تنظیمات بسیار پیچیده‌تر به کار می‌برند. برای ویرایش جدید، آنها بخش‌های زیادی را برای بهبود وضوح بازنویسی کرده‌اند، بخش‌های جدیدی در مورد حذف برش اضافه کرده‌اند، و راه‌حل‌هایی را برای تمرین‌های انتخابی گنجانده‌اند. به طور کلی، تنها پیش نیاز یک دوره استاندارد در منطق مرتبه اول است که این کتاب را برای دانشجویان کارشناسی ارشد و محققان مبتدی در منطق ریاضی، علوم کامپیوتر نظری و هوش مصنوعی ایده آل می کند.

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

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence

فهرست مطالب


 Content: 1. Introduction; 2. N-systems and H-systems; 3. Gentzen systems; 4. Cut elimination with applications; 5. Bounds and permutations; 6. Normalization for natural deduction; 7. Resolution; 8. Categorical logic; 9. Modal and linear logic; 10. Proof theory of arithmetic; 11. Second-order logic; Solutions to selected exercises. Bibliography; Symbols and notation; Index.
 Abstract:                           Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.                 Read more...