ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Basic Proof Theory

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

Basic Proof Theory

مشخصات کتاب

Basic Proof Theory

دسته بندی: ریاضیات گسسته
ویرایش: 1st 
نویسندگان: ,   
سری: Cambridge Tracts in Theoretical Computer Science 43 
ISBN (شابک) : 9780521572231, 0521572231 
ناشر: Cambridge University Press 
سال نشر: 1996 
تعداد صفحات: 353 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت 

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



کلمات کلیدی مربوط به کتاب نظریه اثبات اساسی: ریاضیات، ریاضیات گسسته



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب 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 formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.





نظرات کاربران