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

درس منطق ریاضی

A course on mathematical logic

دانلود کتاب A course on mathematical logic (به فارسی: درس منطق ریاضی) نوشته شده توسط «S. M. Srivastava (auth.)»

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

موضوع اصلی: منطق

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

ناشر: Springer New York

نویسنده: S. M. Srivastava (auth.)

زبان: English

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

سال انتشار: 2008

تعداد صفحه: 153

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

کد کتاب: 9780387762753 , 0387762752

نوبت چاپ: 1

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

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

This textbook is written for advanced undegraduates or first year graduate students of mathematics and computer science. It is also intended for the working mathematician who wants to gain an appreciation of Mathematical Logic. There are no prerequisites for this book; however, some mathematical maturity is required. The book is written in a totally mathematical style, and any mathematician should feel at home reading this. The book starts with the definition of first order languages, proceeds through propositional logic, completeness theorems, and finally the two Incompleteness Theorems of Godel. In the process, the reader is also introduced to model theory and recursion Theory. After reading this book, the reader will be ready to branch into model Theory, recursion Theory, axiomatic set theory or even theoretical computer science.Logic is a very profound subject, Godel’s work being one the most remarkable discoveries in 20th-Century mathematics, having made an enormous impact on set theory, model theory as well as computer science. In spite of this impact, there exists a dearth of modern books which allow an aspiring mathematician to read and develop an appreciation for the subject. This book attempts to fill that gap by providing a short, distinctive, modern, and well-motivated introduction to mathematical logic.

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

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