نرم افزار: سیستم ها: محاسبات علمی

مقدمه ای بر منطق ریاضی

Introduction to mathematical logic

دانلود کتاب Introduction to mathematical logic (به فارسی: مقدمه ای بر منطق ریاضی) نوشته شده توسط «E. Mendelson»

اطلاعات کتاب مقدمه ای بر منطق ریاضی

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: E. Mendelson

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1997

تعداد صفحه: 446

حجم کتاب: 5 مگابایت

کد کتاب: 0412808307 , 9780412808302

نوبت چاپ: 4th

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

ویرایش چهارم این متن قدیمی تمام ویژگی‌های کلیدی نسخه‌های قبلی را حفظ می‌کند و مباحث اولیه یک دوره اول محکم در منطق ریاضی را پوشش می‌دهد. این نسخه شامل یک ضمیمه گسترده در منطق مرتبه دوم، بخشی در نظریه مجموعه‌ها با urlement‌ها، و بخشی در منطقی است که وقتی مدل‌هایی با دامنه‌های خالی را مجاز می‌کنیم، به دست می‌آید. متن شامل تمرین‌های متعدد و پیوستی به بسیاری از آنها پاسخ می‌دهد. مقدمه‌ای بر منطق ریاضی شامل: نظریه اعداد منطقی مرتبه اول منطقی مخالف و قضایای ناقص بودن و تصمیم‌ناپذیری گودل، راسر، چرچ، و تارسکیواکسیوماتیک نظریه ترکیب‌پذیری، مطالعه نظریه ترکیب‌پذیری مجموعه‌ها است. منطق ریاضی، نظریه مجموعه‌های بدیهی، و نظریه محاسبات، درکی از مفروضات اساسی و تکنیک‌های اثباتی که اساس ریاضیات را تشکیل می‌دهند، فراهم می‌کند. منطق و نظریه محاسبات نیز به ابزارهای ضروری در علوم کامپیوتر نظری، از جمله هوش مصنوعی تبدیل شده اند. Introduction to Mathematical Logic این موضوعات را به شیوه ای روشن و خواننده پسند پوشش می دهد که برای هر کسی که در علوم کامپیوتر کار می کند و همچنین مدرسان و محققان در ریاضیات، فلسفه و زمینه های مرتبط با ارزش خواهد بود.

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.Introduction to Mathematical Logic includes:opropositional logicofirst-order logicofirst-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarskioaxiomatic set theoryotheory of computabilityThe study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.

دانلود کتاب «مقدمه ای بر منطق ریاضی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان