دانلود کتاب A Course on Mathematical Logic (به فارسی: درس منطق ریاضی) نوشته شده توسط «Shashi Mohan Srivastava»
اطلاعات کتاب درس منطق ریاضی
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Shashi Mohan Srivastava
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 153
حجم کتاب: 1 مگابایت
کد کتاب: 9780387762753 , 0387762752
نوبت چاپ: 1
توضیحات کتاب درس منطق ریاضی
این یک مقدمه کوتاه، متمایز، مدرن و با انگیزه برای منطق ریاضی برای دانشجویان ارشد و دانشجویان مقطع کارشناسی ارشد در ریاضیات و علوم کامپیوتر است. هر ریاضی دانی که علاقه مند به دانستن اینکه منطق به چه چیزی مربوط می شود و مایل است قضایای ناتمامی گودل را بیاموزد، باید این کتاب را بسیار راحت بداند. درمان کاملاً ریاضی است و به کل موضوع مانند شاخه ای از ریاضیات نزدیک شده است. تلاش جدی صورت گرفته تا کتاب برای کلاس درس و همچنین خودخوانی مناسب باشد. این کتاب در تلاش نیست تا دایره المعارفی جامع از منطق باشد. با این حال، اساساً تمام مفاهیم اساسی و نتایج منطق ریاضی را ارائه می دهد. این کتاب دانش‌آموزان را آماده می‌کند تا در چندین زمینه ریاضیات مرتبط با مبانی و محاسبات مانند منطق، نظریه مجموعه‌های بدیهی، نظریه مدل، نظریه بازگشت و محاسبه‌پذیری شاخه بروند. پیش نیاز اصلی این کتاب، تمایل به کار در سطح معقولی از دقت و کلیت ریاضی است.
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability. The main prerequisite for this book is the willingness to work at a reasonable level of mathematical rigor and generality.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.