دانلود کتاب Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
دسته: ریاضیات گسسته
کتاب منطق، ریاضیات و علوم کامپیوتر: مبانی مدرن با کاربردهای عملی نسخه زبان اصلی
دانلود کتاب منطق، ریاضیات و علوم کامپیوتر: مبانی مدرن با کاربردهای عملی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
نام کتاب : Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
ویرایش : 2
عنوان ترجمه شده به فارسی : منطق، ریاضیات و علوم کامپیوتر: مبانی مدرن با کاربردهای عملی
سری :
نویسندگان : Yves Nievergelt (auth.)
ناشر : Springer-Verlag New York
سال نشر : 2015
تعداد صفحات : 399
ISBN (شابک) : 9781493932221 , 9781493932238
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این متن برای سال اول یا دوم کارشناسی ریاضی، منطق، علوم کامپیوتر یا علوم اجتماعی، خواننده را با منطق، برهان ها، مجموعه ها و نظریه اعداد آشنا می کند. همچنین به عنوان یک مرجع و منبع مطالعه مستقل عالی برای مدرسان عمل می کند. اقتباس شده از مبانی منطق و ریاضیات: کاربردها در علم و رمزنگاری © 2002 Birkhӓuser، این ویرایش دوم مقدمه ای مدرن بر مبانی منطق، ریاضیات و علوم رایانه ارائه می دهد. توسعه نظریه ای که ساخت تمام ریاضیات و علوم نظری کامپیوتر را از منطق و نظریه مجموعه ها نشان می دهد. تمرکز بر مبانی است، با گزاره‌های خاص از همه بدیهیات و قواعد منطق و نظریه مجموعه‌ها، و جزئیات کامل و اشتقاق‌های براهین رسمی را ارائه می‌دهد. ارجاعات فراوانی به ادبیاتی که توسعه تاریخی را مستند می کند نیز ارائه شده است.
پاسخ به سؤالات بسیاری یافت می شود که معمولاً بی پاسخ می مانند: چرا جدول حقیقت برای استلزام منطقی آنقدر نامشهود است؟ چرا هیچ دستور العملی برای اثبات طراحی وجود ندارد؟ این قوانین ریاضی متعدد از کجا می آیند؟ چه مسائلی در منطق، ریاضیات و علوم کامپیوتر هنوز حل نشده باقی مانده است؟ و این سوال همیشگی: در چه راه هایی قرار است از این مطالب استفاده کنیم؟علاوه بر این، انتخاب موضوعات ارائه شده نشان دهنده بسیاری از دستاوردهای مهم قرن بیستم است و شامل کاربردهایی در تئوری بازی ها و نش است
تعادل، الگوریتم های تطبیق گیل و شپلی، قضیه عدم امکان پیکان در رأی گیری، به نام چند مورد.از بررسی های ویرایش اول:
\"...همه نتایج با جزئیات کامل از اصول اولیه ثابت شده است.. قابل توجه است که قوانین حسابی در مورد اعداد گویا، مرحله به مرحله، با شروع از همان تعاریف ثابت می شوند!... این یک متن مرجع ارزشمند و همراهی مفید برای هر کسی است که تعجب می کند چگونه مفاهیم اساسی ریاضی را می توان با دقت در نظریه مجموعه ها توسعه داد. .\"
—بررسی های ریاضی
\"در بعد نظری دقیق و مدرن، از جنبه های کاربردی به عنوان یک رمان پلیسی جذاب، این کتاب کاغذی است. شایسته توجه دانش آموزان مبتدی و پیشرفته در ریاضیات، منطق و علوم کامپیوتر و همچنین در علوم اجتماعی است.\"
—Zentralblatt MATH
< /p>
فهرست مطالب :
Front Matter....Pages i-xii
Propositional Logic: Proofs from Axioms and Inference Rules....Pages 1-73
First-Order Logic: Proofs with Quantifiers....Pages 75-108
Set Theory: Proofs by Detachment, Contraposition, and Contradiction....Pages 109-187
Mathematical Induction: Definitions and Proofs by Induction....Pages 189-266
Well-Formed Sets: Proofs by Transfinite Induction with Already Well-Ordered Sets....Pages 267-281
The Axiom of Choice: Proofs by Transfinite Induction....Pages 283-301
Applications: Nobel-Prize Winning Applications of Sets, Functions, and Relations ....Pages 303-330
Back Matter....Pages 331-391
توضیحاتی در مورد کتاب به زبان اصلی :
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 Birkhӓuser,this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focuses is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. Copious references to literature that document historical development is also provided.
Answers are found to many questions that usually remain unanswered: Why is the truth table for logical implication so unintuitive? Why are there no recipes to design proofs? Where do these numerous mathematical rules come from? What issues in logic, mathematics, and computer science still remain unresolved? And the perennial question: In what ways are we going to use this material?Additionally, the selection of topics presented reflects many major accomplishments from the twentieth century and includes applications in game theory and Nash's
equilibrium, Gale and Shapley's match making algorithms, Arrow's Impossibility Theorem in voting, to name a few.From the reviews of the first edition:
"...All the results are proved in full detail from first principles...remarkably, the arithmetic laws on the rational numbers are proved, step after step, starting from the very definitions!...This is a valuable reference text and a useful companion for anybody wondering how basic mathematical concepts can be rigorously developed within set theory."
—MATHEMATICAL REVIEWS
"Rigorous and modern in its theoretical aspect, attractive as a detective novel in its applied aspects, this paper book deserves the attention of both beginners and advanced students in mathematics, logic and computer sciences as well as in social sciences."
—Zentralblatt MATH
پست ها تصادفی