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

اولین سفر از طریق منطق

A First Journey Through Logic

دانلود کتاب A First Journey Through Logic (به فارسی: اولین سفر از طریق منطق) نوشته شده توسط «Martin Hils – Francois Loeser»

اطلاعات کتاب اولین سفر از طریق منطق

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

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

ناشر: American Mathematical Society

نویسنده: Martin Hils – Francois Loeser

زبان: english

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

سال انتشار: 2019

تعداد صفحه: 185 / 201

حجم فایل: 2.41 مگابایت

کد کتاب: 1470452723 , 9781470452728

توضیحات کتاب اولین سفر از طریق منطق

هدف این کتاب ارائه منطق ریاضی به دانش‌آموزانی است که علاقه‌مند به چیستی این رشته هستند اما قصد تخصص در آن را ندارند. نقطه نظر این است که منطق را در شرایطی برابر با هر موضوع دیگری در برنامه درسی ریاضی قرار دهیم. کتاب با ارائه نظریه مجموعه های ساده لوحانه شروع می شود، نظریه مجموعه هایی که ریاضیدانان به طور روزانه از آن استفاده می کنند. هر فصل بعدی یکی از حوزه‌های اصلی منطق ریاضی را ارائه می‌کند: منطق مرتبه اول و برهان‌های صوری، نظریه مدل، نظریه بازگشت، قضیه ناقص بودن گودل، و در نهایت، نظریه مجموعه‌های بدیهی. هر فصل شامل چندین نکته جالب خارج از منطق در صورت امکان در متن اصلی یا به عنوان تمرین یا ضمیمه است. تمرین‌ها جزء ضروری کتاب هستند، و تعداد زیادی از آن‌ها به گونه‌ای طراحی شده‌اند که دریچه‌ای برای موضوعات موردعلاقه دیگر فراهم کنند.

The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Gödel’s incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights outside of logic when possible either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.

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

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

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

برچسب ها

دیدگاهتان را بنویسید

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