خرید و دانلود نسخه کامل کتاب Introduction to Mathematical Logic

توضیحات فارسی

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

توضیحات انگلیسی

Introduction to Mathematical Logic by Elliott Mendelson is a classic and authoritative textbook in the field of mathematical logic, widely used in mathematics, philosophy, and computer science programs. Known for its clarity and rigor, the book systematically introduces the fundamental concepts of formal logic and progresses from elementary topics to advanced areas of study. Core subjects covered include propositional logic, first-order predicate logic, formal proof systems, model theory, recursion theory, and Gödel’s incompleteness theorems. One of the strengths of Mendelson’s approach is the combination of intuitive explanations with rigorous proofs, offering readers both accessibility and precision. Each chapter includes exercises that encourage students to deepen their understanding and practice formal reasoning skills. This balance of theory, examples, and problem sets makes the text ideal for undergraduate and graduate courses in logic. Over the years, Introduction to Mathematical Logic has become a standard reference not only for students but also for researchers seeking a reliable foundation in logic and the theoretical underpinnings of mathematics and computation.