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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematical Intuitionism: Introduction to Proof Theory

دانلود کتاب تدریجی ریاضی: مقدمه ای بر تئوری اثبات

مشخصات کتاب

Mathematical Intuitionism: Introduction to Proof Theory

دسته بندی: منطق
ویرایش:  
نویسندگان: A. G. Dragalin  
سری: Translations of Mathematical Monographs, v.67 
ISBN (شابک) : 0821845209, 9780821845202 
ناشر: American Mathematical Society 
سال نشر: 1988 
تعداد صفحات: 242 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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

کلمات کلیدی مربوط به کتاب تدریجی ریاضی: مقدمه ای بر تئوری اثبات: ریاضیات، منطق ریاضی، نظریه اثبات

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

در صورت تبدیل فایل کتاب Mathematical Intuitionism: Introduction to Proof Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب تدریجی ریاضی: مقدمه ای بر تئوری اثبات

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

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

In the area of mathematical logic, a great deal of attention is now being devoted to the study of nonclassical logics. Nonclassical logics are used in the theory of computations, in information theory, and for the description of systems of heuristic programming. Intuitionistic logic is a particularly important nonclassical logic. The aim of this book is to present the most important methods of proof theory in intuitionistic logic and to acquaint the reader with the principal axiomatic theories based on intuitionistic logic. The exposition, accessible to a wide audience, requires only an introductory course in classical mathematical logic.