Logic and Discrete Mathematics: A Concise Introduction

مقدمه ای مختصر و در عین حال دقیق بر منطق و ریاضیات گسسته.

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

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

ویژگی‌های کلیدی

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

A concise yet rigorous introduction to logic and discrete mathematics.

This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. 

 The chapters on logic - propositional and first-order -  provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications.  Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.

Key Features:

Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.