دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamentals of mathematical logic
دانلود کتاب مبانی منطق ریاضی
مشخصات کتاب
Fundamentals of mathematical logic
ویرایش:
نویسندگان: Hinman. Peter G
سری:
ISBN (شابک) : 1568812620, 9781568812625
ناشر: A.K. Peters
سال نشر: 2005
تعداد صفحات: 895
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب مبانی منطق ریاضی: منطق، نمادین و ریاضی، نظریه مدل، نظریه مجموعه، نظریه بازگشت.، منطق Wiskundige.، منطق ریاضی، منطق ریاضی (متون پیشرفته)
در صورت تبدیل فایل کتاب Fundamentals of mathematical logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی منطق ریاضی
این متن مقدماتی فارغ التحصیل، منطق ریاضی مدرن را از منطق گزاره
ای، مرتبه اول و بی نهایت و قضایای ناتمامیت گودل تا مقدمه های
گسترده برای نظریه مجموعه ها، نظریه مدل و نظریه بازگشت (محاسبه
پذیری) را پوشش می دهد. این کتاب بر اساس بیش از 35 سال تجربه
تدریس نویسنده، شهود دانش آموزان را با ارائه ایده های پیچیده در
ساده ترین زمینه توسعه می دهد که برای آنها معنادار است. این کتاب
برای استفاده به عنوان متن کلاسی، برای خودآموزی، و به عنوان
مرجعی در مورد وضعیت منطق مدرن مناسب است. بیشتر
بخوانید... span>
چکیده:
چکیده:
این متن مقدماتی فارغ التحصیل با پوشش منطق ریاضی مدرن، شهود
دانش آموزان را با ارائه ایده های پیچیده در ساده ترین زمینه ای
که آنها می سازند، توسعه می دهد. احساس، مفهوم. این می تواند به
عنوان یک متن کلاسی برای مطالعه شخصی و به عنوان
مرجعی در مورد وضعیت منطق مدرن استفاده شود.
بیشتر بخوانید...
توضیحاتی درمورد کتاب به خارجی
This introductory graduate text covers modern mathematical
logic from propositional, first-order and infinitary logic and
Gödel's Incompleteness Theorems to extensive introductions to
set theory, model theory and recursion (computability) theory.
Based on the author's more than 35 years of teaching
experience, the book develops atudents' intuition by presenting
complex ideas in the simplest context for which they
make sense. The
book is appropriate for use as a classroom text, for
self-study, and as a reference on the state of modern
logic. Read
more...
Abstract:
Abstract:
Covering modern mathematical logic, this introductory
graduate text develops students' intuition by presenting
complex ideas in the simplest context for which they make
sense. It can be used as a classroom text, for
self-study, and as a reference on the state of modern
logic. Read more...
فهرست مطالب
Content: 1. Propositional logic and other fundamentals --
2. First-order logic --
3. Completeness and compactness --
4. Incompleteness and undecidability --
5. Topics in definability --
6. Set theory --
7. Model theory --
8. Recursion theory.
