ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Three Views of Logic: Mathematics, Philosophy, and Computer Science

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

Three Views of Logic: Mathematics, Philosophy, and Computer Science

مشخصات کتاب

Three Views of Logic: Mathematics, Philosophy, and Computer Science

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش:  
نویسندگان: , ,   
سری:  
ISBN (شابک) : 0691160449 
ناشر: Princeton University Press 
سال نشر: 2014 
تعداد صفحات: 339 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت

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



کلمات کلیدی مربوط به کتاب سه دیدگاه منطق: ریاضیات، فلسفه و علوم کامپیوتر: انفورماتیک و مهندسی کامپیوتر، هوش مصنوعی



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Three Views of Logic: Mathematics, Philosophy, and Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

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


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

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



فهرست مطالب

Cover......Page 1
Title......Page 4
Copyright......Page 5
Contents......Page 6
Preface......Page 10
Acknowledgments......Page 14
PART 1. Proof Theory......Page 18
1 Propositional Logic......Page 20
1.1 Propositional Logic Semantics......Page 22
1.2 Syntax: Deductive Logics......Page 30
1.3 The Resolution Formal Logic......Page 31
1.4 Handling Arbitrary Propositional Wffs......Page 43
2 Predicate Logic......Page 48
2.1 First-Order Semantics......Page 49
2.2 Resolution for the Predicate Calculus......Page 57
2.2.1 Substitution......Page 58
2.2.2 The Formal System for Predicate Logic......Page 62
2.2.3 Handling Arbitrary Predicate Wffs......Page 71
3 An Application: Linear Resolution and Prolog......Page 78
3.1 OSL-Resolution......Page 79
3.2 Horn Logic......Page 86
3.3 Input Resolution and Prolog......Page 94
Appendix A: The Induction Principle......Page 98
Appendix B: First-Order Valuation......Page 99
Appendix C: A Commentary on Prolog......Page 101
References......Page 108
PART 2. Computability Theory......Page 110
4.1 Decision Problems and Algorithms......Page 112
4.2 Three Informal Concepts......Page 124
5.1 Register Machines and RM-Computable Functions......Page 140
5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions......Page 153
5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem......Page 161
5.4 Unsolvability of Hilbert’s Decision Problem and Thue’s Word Problem......Page 171
6.1 Recursive Functions and the Church-Turing Thesis......Page 182
6.2 Recursive Relations and RE Relations......Page 192
6.3 Primitive Recursive Functions and Relations; Coding......Page 204
6.4 Kleene Computation Relation Tn(e, a1, . . . , an, c)......Page 214
6.5 Partial Recursive Functions; Enumeration Theorems......Page 220
6.6 Computability and the Incompleteness Theorem......Page 233
List of Symbols......Page 236
References......Page 237
PART 3. Philosophical Logic......Page 238
7.1 Alternatives to Classical Logic vs. Extensions of Classical Logic......Page 240
7.2.1 The (So-Called) “Paradoxes of Implication”......Page 245
7.2.2 Material Implication and Truth Functional Connectives......Page 251
7.2.3 Implication and Relevance......Page 255
7.2.4 Revisiting Classical Propositional Calculus: What to Save,What to Change, What to Add?......Page 257
8.1 Fitch’s Natural Deduction System for Classical Propositional Logic......Page 260
8.2 Revisiting Fitch’s Rules of Natural Deduction to Better Formalize the Notion of Entailment—Necessity......Page 268
8.3 Revisiting Fitch’s Rules of Natural Deduction to Better Formalize the Notion of Entailment—Relevance......Page 270
8.4 The Rules of System FE (Fitch-Style Formulation of the Logic of Entailment)......Page 278
8.5 The Connective “Or,” Material Implication, and the Disjunctive Syllogism......Page 298
9.1 Interpretations, Valuations, and Many Valued Logics......Page 305
9.2 Contexts in Which This Four-Valued Logic Is Useful......Page 307
9.3 The Artificial Reasoner’s (Computer’s) “State of Knowledge”......Page 308
9.4 Negation in This Four-Valued Logic......Page 312
9.5 Lattices: A Brief Tutorial......Page 314
9.6 Finite Approximation Lattices and Scott’s Thesis......Page 319
9.7 Applying Scott’s Thesis to Negation, Conjunction, and Disjunction......Page 321
9.8 The Logical Lattice L4......Page 324
9.9 Intuitive Descriptions of the Four-Valued Logic Semantics......Page 326
9.10 Inferences and Valid Entailments......Page 329
10 Some Concluding Remarks on the Logic of Entailment......Page 332
References......Page 333
Index......Page 336




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی