ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Mathematical Logic and Computation

دانلود کتاب منطق و محاسبات ریاضی

Mathematical Logic and Computation

مشخصات کتاب

Mathematical Logic and Computation

ویرایش: [1 ed.] 
نویسندگان:   
سری:  
ISBN (شابک) : 9781108478755, 2022006053 
ناشر: Cambridge University Press 
سال نشر: 2022 
تعداد صفحات: 513
[526] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 Mb

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



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

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


در صورت تبدیل فایل کتاب Mathematical Logic and Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق و محاسبات ریاضی

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


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

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf.





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

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