ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب A Concise Introduction To Mathematical Logic

دانلود کتاب مقدمه ای مختصر بر منطق ریاضی

A Concise Introduction To Mathematical Logic

مشخصات کتاب

A Concise Introduction To Mathematical Logic

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان:   
سری: Universitext 
ISBN (شابک) : 9780387302942, 0387302948 
ناشر: Springer 
سال نشر: 2006 
تعداد صفحات: 272 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



کلمات کلیدی مربوط به کتاب مقدمه ای مختصر بر منطق ریاضی: ریاضیات، منطق ریاضی



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

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


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

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


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

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


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

Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that it is much more concise than most others, and the material is treated in a streamlined fashion which allows the professor to cover many important topics in a one semester course. Although the book is intended for use as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover just the material for an introductory course on mathematical logic combined with the necessary material from set theory. This material is of a descriptive nature, providing a view towards decision problems, automated theorem proving, non-standard models and other subjects. The remaining chapters contain material on logic programming for computer scientists, model theory, recursion theory, Godel’s Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text. The author has provided exercises for each chapter, as well as hints to selected exercises. About the German edition: …The book can be useful to the student and lecturer who prepares a mathematical logic course at the university. What a pity that the book is not written in a universal scientific language which mankind has not yet created. - A.Nabebin, Zentralblatt





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