سه دیدگاه به منطق: ریاضیات، فلسفه، و علوم کامپیوتر ۲۰۱۴
Three Views of Logic: Mathematics, Philosophy, and Computer Science 2014

دانلود کتاب سه دیدگاه به منطق: ریاضیات، فلسفه، و علوم کامپیوتر ۲۰۱۴ (Three Views of Logic: Mathematics, Philosophy, and Computer Science 2014) با لینک مستقیم و فرمت pdf (پی دی اف)

نویسنده

Donald W. Loveland,Richard Hodel,S. G. Sterrett

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2014

زبان

English

تعداد صفحه‌ها

344

نوع فایل

epub, pdf

حجم

1 Mb

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب سه دیدگاه به منطق: ریاضیات، فلسفه، و علوم کامپیوتر ۲۰۱۴

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

* دیدگاه بسیار گسترده ای از منطق ارائه می دهد.
* منطق سنتی را به شکلی مدرن ارائه می دهد.
* منطق مربوطه را با کاربردهای آن ارائه می دهد.
* متن ایده آلی برای انواع دوره های کارشناسی ارشد یک ترمه ارائه می دهد.


فهرست کتاب:

۱. جلد

۲. عنوان

۳. حق تکثیر

۴. فهرست مطالب

۵. پیشگفتار

۶. سپاسگزاری

۷. بخش ۱. نظریه برهان

۸. بخش ۲. نظریه محاسبه‌پذیری

۹. بخش ۳. منطق فلسفی

۱۰. نمایه

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

The first interdisciplinary textbook to introduce students to three critical areas in applied logic Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity.The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time.Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings.

  • Gives an exceptionally broad view of logic
  • Treats traditional logic in a modern format
  • Presents relevance logic with applications
  • Provides an ideal text for a variety of one-semester upper-level undergraduate courses


Table of Contents

1. Cover

2. Title

3. Copyright

4. Contents

5. Preface

6. Acknowledgments

7. PART 1. Proof Theory

8. PART 2. Computability Theory

9. PART 3. Philosophical Logic

10. Index

دیگران دریافت کرده‌اند

سه پایتخت مسیحی ۲۰۲۳
Three Christian Capitals 2023

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.