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

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

Introduction to the theory of logic

دانلود کتاب Introduction to the theory of logic (به فارسی: مقدمه ای بر نظریه منطق) نوشته شده توسط «Jose L. Zalabardo»


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

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

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

ناشر: Westview Press

نویسنده: Jose L. Zalabardo

زبان: English

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

سال انتشار: 2000

تعداد صفحه: 345

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

کد کتاب: 9780813390611 , 0813390613 , 081336602X

نوبت چاپ: illustrated edition

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

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


This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided.Topics covered include basic set theory, propositional and first-order syntax and semantics, a sequent calculus-style deductive system, the soundness and completeness theorems, cardinality, the expressive limitations of first-order logic, with especial attention to the Loewenheim-Skolem theorems and non-standard models of arithmetic, decidability, complete theories, categoricity and quantifier elimination.

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

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

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