ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logicism Renewed: Logical Foundations for Mathematics and Computer Science

دانلود کتاب منطق گرایی تازه شده: مبانی منطقی ریاضیات و علوم کامپیوتر

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

مشخصات کتاب

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Lecture Notes in Logic 23 
ISBN (شابک) : 1568812760, 9781568812762 
ناشر: ASL 
سال نشر: 2005 
تعداد صفحات: 124 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Logicism Renewed: Logical Foundations for Mathematics and Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق گرایی تازه شده: مبانی منطقی ریاضیات و علوم کامپیوتر

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


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

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی