دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory
دانلود کتاب منطق ریاضی: دوره ای با تمرین قسمت دوم: نظریه بازگشت، قضایای گودل، نظریه مجموعه ها، نظریه مدل
مشخصات کتاب
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory
ویرایش: 1 نویسندگان: René Cori, Daniel Lascar, Donald Pelletier سری: ISBN (شابک) : 0198500513, 9780198500513 ناشر: Oxford University Press سال نشر: 2001 تعداد صفحات: 351 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب منطق ریاضی: دوره ای با تمرین قسمت دوم: نظریه بازگشت، قضایای گودل، نظریه مجموعه ها، نظریه مدل: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، نظریه مجموعه ها، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، منطق، فلسفه، علوم انسانی، کتاب های درسی جدید، مستعمل و اجاره ای، کتاب های تخصصی، تخصصی ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق ریاضی: دوره ای با تمرین قسمت دوم: نظریه بازگشت، قضایای گودل، نظریه مجموعه ها، نظریه مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق ریاضی: دوره ای با تمرین قسمت دوم: نظریه بازگشت، قضایای گودل، نظریه مجموعه ها، نظریه مدل
منطق اساس ریاضیات را تشکیل می دهد و از این رو بخش اساسی هر درس ریاضی است. این یک عنصر اصلی در علم کامپیوتر نظری است و با اهمیت روزافزون علم کامپیوتر دستخوش احیای عظیمی شده است. این متن بر اساس دوره ای برای دانشجویان کارشناسی است و مقدمه ای روشن و قابل دسترس برای منطق ریاضی ارائه می دهد. مفهوم مدل، مضمون زیربنایی را فراهم می‌کند و به متن یک انسجام نظری می‌دهد و در عین حال حوزه وسیعی از منطق را پوشش می‌دهد. این کتاب که در قسمت 1 پایه گذاری شد، با نظریه بازگشت آغاز می شود، موضوعی که برای دانشمند کامل ضروری است. سپس قضایای ناتمامی گودل و نظریه مجموعه های بدیهی را دنبال می کند. فصل 8 مقدمه ای بر نظریه مدل ارائه می دهد. در سرتاسر هر بخش نمونه‌هایی وجود دارد و در پایان، تمرین‌های متنوعی وجود دارد. پاسخ تمرینات در ضمیمه آمده است.
توضیحاتی درمورد کتاب به خارجی
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the ever-growing importance of computer science. This text is based on a course to undergraduates and provides a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The foundations having been laid in Part 1, this book starts with recursion theory, a topic essential for the complete scientist. Then follows Godel\'s incompleteness theorems and axiomatic set theory. Chapter 8 provides an introduction to model theory. There are examples throughout each section, and varied selection of exercises at the end. Answers to the exercises are given in the appendix.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Probabilistic Machine Learning : An Introduction
دانلود کتاب Myyntipsykologia: näin meille myydään
دانلود کتاب Drones and Geographical Information Technologies in Agroecology and Organic Farming: Contributions to Technological Sovereignty
