برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Mathematical Logic

دانلود کتاب منطق ریاضی

مشخصات کتاب

Mathematical Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: George Tourlakis  
سری:  
ISBN (شابک) : 0470280744 
ناشر: Wiley 
سال نشر: 2008 
تعداد صفحات: 314 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 55,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 9

در صورت تبدیل فایل کتاب Mathematical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

راهنمای جامع و کاربر پسند برای استفاده از منطق در استدلال ریاضی منطق ریاضی مقدمه ای جامع بر روش های رسمی منطق و استفاده از آنها به عنوان ابزاری قابل اعتماد برای استدلال قیاسی ارائه می دهد. این کتاب با رویکرد کاربرپسند خود، خوانندگان را با موفقیت به مفاهیم و روش‌های کلیدی برای فرمول‌بندی استدلال‌های ریاضی معتبر مجهز می‌کند که می‌توانند برای کشف حقایق در زمینه‌های مختلف مطالعاتی مانند ریاضیات، علوم کامپیوتر و فلسفه استفاده شوند. این کتاب منطقی را توسعه می‌دهد. ابزارهایی برای نوشتن اثبات با راهنمایی خوانندگان از طریق شیوه اثبات‌نویسی «هیلبرت» و همچنین سبک «معادله» که در علم کامپیوتر و کاربردهای مهندسی در حال ظهور است. فصل ها در دو حوزه موضوعی منطق بولی و منطق محمولی سازماندهی شده اند. تکنیک‌هایی که خارج از منطق رسمی قرار دارند برای نشان دادن و نشان دادن حقایق مهم در مورد قدرت و محدودیت‌های منطق به کار می‌روند، مانند: منطق می‌تواند حقایق و فقط حقایق را تأیید کند. منطق می‌تواند تمام حقایق مطلق را تأیید کند (قضیه‌های کامل بودن پست و جی دل). منطق. نمی تواند تمام حقایق \"شرطی\" را تأیید کند، مانند آنهایی که مخصوص حساب Peano هستند. بنابراین، منطق دارای محدودیت‌های جدی است، همانطور که از طریق قضیه ناقص بودن G?del نشان داده شده است. مثال‌ها و مجموعه‌های مسائل متعددی در سراسر متن ارائه شده‌اند که درک بیشتر خوانندگان از قابلیت‌های منطق برای کشف حقایق ریاضی را تسهیل می‌کنند. علاوه بر این، یک ضمیمه گسترده، معناشناسی تارسکی را معرفی می‌کند و با اثبات دقیق کامل بودن و اولین قضایای ناقصی ادامه می‌دهد، در حالی که مقدمه‌ای مستقل برای نظریه محاسبه‌پذیری ارائه می‌دهد. منطق ریاضی با گستره کامل پوشش و سبک قابل دسترس خود، یک ایده‌آل است. کتاب برای دروس ریاضیات، علوم کامپیوتر و فلسفه در مقاطع فوق لیسانس و فوق لیسانس. همچنین یک مرجع ارزشمند برای محققان و متخصصانی است که مایلند یاد بگیرند که چگونه از منطق در کارهای روزمره خود استفاده کنند.

توضیحاتی درمورد کتاب به خارجی

A comprehensive and user-friendly guide to the use of logic in mathematical reasoningMathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, computer science, and philosophy.The book develops the logical tools for writing proofs by guiding readers through both the established "Hilbert" style of proof writing, as well as the "equational" style that is emerging in computer science and engineering applications. Chapters have been organized into the two topical areas of Boolean logic and predicate logic. Techniques situated outside formal logic are applied to illustrate and demonstrate significant facts regarding the power and limitations of logic, such as:Logic can certify truths and only truths.Logic can certify all absolute truths (completeness theorems of Post and G?del).Logic cannot certify all "conditional" truths, such as those that are specific to the Peano arithmetic. Therefore, logic has some serious limitations, as shown through G?del's incompleteness theorem.Numerous examples and problem sets are provided throughout the text, further facilitating readers' understanding of the capabilities of logic to discover mathematical truths. In addition, an extensive appendix introduces Tarski semantics and proceeds with detailed proofs of completeness and first incompleteness theorems, while also providing a self-contained introduction to the theory of computability.With its thorough scope of coverage and accessible style, Mathematical Logic is an ideal book for courses in mathematics, computer science, and philosophy at the upper-undergraduate and graduate levels. It is also a valuable reference for researchers and practitioners who wish to learn how to use logic in their everyday work.

فهرست مطالب

Mathematical Logic......Page 6
Contents......Page 10
Preface......Page 14
Acknowledgments......Page 20
PART I BOOLEAN LOGIC......Page 22
1 The Beginning......Page 24
1.1 Boolean Formulae......Page 29
1.2 Induction on the Complexity of WFF: Some Easy Properties of WFF......Page 38
1.3 Inductive Definitions on Formulae......Page 43
1.4 Proofs and Theorems......Page 58
1.5 Additional Exercises......Page 69
2.1 More Hilbert-Style Proofs......Page 72
2.2 Equational-Style Proofs......Page 81
2.3 Equational Proof Layout......Page 84
2.4 More Proofs: Enriching Our Toolbox......Page 87
2.5 Using Special Axioms in Equational Proofs......Page 97
2.6 The Deduction Theorem......Page 102
2.7 Additional Exercises......Page 107
3 The Interplay between Syntax and Semantics......Page 110
3.1 Soundness......Page 111
3.2 Post\'s Theorem......Page 114
3.3 Full Circle......Page 120
3.4 Single-Formula Leibniz......Page 121
3.5 Appendix: Resolution in Boolean Logic......Page 125
3.6 Additional Exercises......Page 128
PART II PREDICATE LOGIC......Page 132
4 Extending Boolean Logic......Page 134
4.1 The First-Order Language of Predicate Logic......Page 136
4.2 Axioms and Rules of First-Order Logic......Page 159
4.3 Additional Exercises......Page 169
5 Two Equivalent Logics......Page 172
6.1 Inserting and Removing \"(forallx)\"......Page 176
6.2 Leibniz Rules that Affect Quantifier Scopes......Page 186
6.3 The Leibniz Rules \"8.12\"......Page 189
6.4 Additional Useful Tools......Page 191
6.5 Inserting and Removing \"(existsx)\"......Page 199
6.6 Additional Exercises......Page 208
7 Properties of Equality......Page 212
8 First-Order Semantics—Very Naïvely......Page 216
8.1 Interpretations......Page 217
8.2 Soundness in Predicate Logic......Page 222
8.3 Additional Exercises......Page 229
Appendix A: Gödel\'s Theorems and Computability......Page 232
A.1 Revisiting Tarski Semantics......Page 233
A.2 Completeness......Page 244
A.3 A Brief Theory of Computability......Page 253
A.3.1 A Programming Framework for Computable Functions......Page 254
A.3.2 Primitive Recursive Functions......Page 264
A.3.3 URM Computations......Page 275
A.3.4 Semi-computable Relations; Unsolvability......Page 280
A.4 Gödel\'s First Incompleteness Theorem......Page 284
A.4.1 Supplement: smallphix(x) aero Is First-Order Definable in smalleta......Page 296
References......Page 302
Index......Page 306