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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Elements of Intuitionism

دانلود کتاب عناصر شهود گرایی

مشخصات کتاب

Elements of Intuitionism

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان: Michael Dummett  
سری: Oxford Logic Guides 39 
ISBN (شابک) : 0198505248, 9780198505242 
ناشر: Oxford University Press, USA 
سال نشر: 2000 
تعداد صفحات: 346 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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

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

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

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

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

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

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

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.