Cargando…
Three Views of Logic : Mathematics, Philosophy, and Computer Science.
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 accessib...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton :
Princeton University Press,
2014.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | JSTOR_ocn867317379 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 140104s2014 nju ob 001 0 eng d | ||
| 010 | |a 2013949122 | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d IDEBK |d YDXCP |d DEBSZ |d CCO |d COO |d N$T |d JSTOR |d OCLCQ |d OCLCO |d OCLCF |d UMI |d OSU |d DEBBG |d REB |d CDX |d P@U |d OCLCQ |d NRC |d OCLCO |d OCLCA |d OTZ |d OCLCQ |d IOG |d MERUC |d EZ9 |d STF |d CEF |d TXC |d AU@ |d WYU |d LVT |d UAB |d DKC |d OCLCQ |d VT2 |d SFB |d OCLCQ |d UKAHL |d MM9 |d OCLCQ |d OCLCO |d OCLCQ | ||
| 015 | |a GBB394847 |2 bnb | ||
| 015 | |a GBB394847 |2 dnb | ||
| 016 | 7 | |a 016520683 |2 Uk | |
| 019 | |a 870334777 |a 871190744 |a 876285395 |a 958854778 |a 959423202 |a 1026429652 |a 1058182148 |a 1065704390 |a 1103265411 |a 1129367558 | ||
| 020 | |a 9781400848751 |q (electronic bk.) | ||
| 020 | |a 140084875X |q (electronic bk.) | ||
| 020 | |a 9780691160443 | ||
| 020 | |a 0691160449 | ||
| 020 | |z 9781306282598 | ||
| 020 | |z 1306282594 | ||
| 029 | 1 | |a CHBIS |b 010480299 | |
| 029 | 1 | |a CHVBK |b 336938683 | |
| 029 | 1 | |a DEBBG |b BV041784049 | |
| 029 | 1 | |a DEBBG |b BV042693475 | |
| 029 | 1 | |a DEBBG |b BV043032709 | |
| 029 | 1 | |a DEBBG |b BV043606640 | |
| 029 | 1 | |a DEBSZ |b 400188104 | |
| 029 | 1 | |a DEBSZ |b 404337651 | |
| 029 | 1 | |a DEBSZ |b 429944934 | |
| 029 | 1 | |a DEBSZ |b 447053876 | |
| 029 | 1 | |a GBVCP |b 882726315 | |
| 029 | 1 | |a NLGGC |b 373508123 | |
| 029 | 1 | |a NZ1 |b 15568262 | |
| 029 | 1 | |a GBVCP |b 1003754635 | |
| 029 | 1 | |a CHNEW |b 001015603 | |
| 029 | 1 | |a AU@ |b 000065066704 | |
| 029 | 1 | |a AU@ |b 000066233652 | |
| 029 | 1 | |a AU@ |b 000066531451 | |
| 035 | |a (OCoLC)867317379 |z (OCoLC)870334777 |z (OCoLC)871190744 |z (OCoLC)876285395 |z (OCoLC)958854778 |z (OCoLC)959423202 |z (OCoLC)1026429652 |z (OCoLC)1058182148 |z (OCoLC)1065704390 |z (OCoLC)1103265411 |z (OCoLC)1129367558 | ||
| 037 | |a 22573/ctt4kd6d6 |b JSTOR | ||
| 050 | 4 | |a QA9 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 072 | 7 | |a MAT017000 |2 bisacsh | |
| 072 | 7 | |a MAT015000 |2 bisacsh | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |
| 084 | |a CC 2600 |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a PHI 350f |2 stub | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Loveland, Donald W. | |
| 245 | 1 | 0 | |a Three Views of Logic : |b Mathematics, Philosophy, and Computer Science. |
| 260 | |a Princeton : |b Princeton University Press, |c 2014. | ||
| 300 | |a 1 online resource (339 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Title; Copyright; Contents; Preface; Acknowledgments; PART 1. Proof Theory; 1 Propositional Logic; 1.1 Propositional Logic Semantics; 1.2 Syntax: Deductive Logics; 1.3 The Resolution Formal Logic; 1.4 Handling Arbitrary Propositional Wffs; 2 Predicate Logic; 2.1 First-Order Semantics; 2.2 Resolution for the Predicate Calculus; 2.2.1 Substitution; 2.2.2 The Formal System for Predicate Logic; 2.2.3 Handling Arbitrary Predicate Wffs; 3 An Application: Linear Resolution and Prolog; 3.1 OSL-Resolution; 3.2 Horn Logic; 3.3 Input Resolution and Prolog; Appendix A: The Induction Principle. | |
| 505 | 8 | |a Appendix B: First-Order ValuationAppendix C: A Commentary on Prolog; References; PART 2. Computability Theory; 4 Overview of Computability; 4.1 Decision Problems and Algorithms; 4.2 Three Informal Concepts; 5 A Machine Model of Computability; 5.1 Register Machines and RM-Computable Functions; 5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions; 5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem; 5.4 Unsolvability of Hilbert's Decision Problem and Thue's Word Problem; 6 A Mathematical Model of Computability. | |
| 505 | 8 | |a 6.1 Recursive Functions and the Church-Turing Thesis6.2 Recursive Relations and RE Relations; 6.3 Primitive Recursive Functions and Relations; Coding; 6.4 Kleene Computation Relation Tn(e, a1 ..., an, c); 6.5 Partial Recursive Functions; Enumeration Theorems; 6.6 Computability and the Incompleteness Theorem; List of Symbols; References; PART 3. Philosophical Logic; 7 Non-Classical Logics; 7.1 Alternatives to Classical Logic vs. Extensions of Classical Logic; 7.2 From Classical Logic to Relevance Logic; 7.2.1 The (So-Called) "Paradoxes of Implication." | |
| 505 | 8 | |a 7.2.2 Material Implication and Truth Functional Connectives7.2.3 Implication and Relevance; 7.2.4 Revisiting Classical Propositional Calculus: What to Save, What to Change, What to Add?; 8 Natural Deduction: Classical and Non-Classical; 8.1 Fitch's Natural Deduction System for Classical Propositional Logic; 8.2 Revisiting Fitch's Rules of Natural Deduction to Better Formalize the Notion of Entailment-Necessity; 8.3 Revisiting Fitch's Rules of Natural Deduction to Better Formalize the Notion of Entailment-Relevance; 8.4 The Rules of System FE (Fitch-Style Formulation of the Logic of Entailment). | |
| 505 | 8 | |a 8.5 The Connective "Or," Material Implication, and the Disjunctive Syllogism9 Semantics for Relevance Logic: A Useful Four-Valued Logic; 9.1 Interpretations, Valuations, and Many Valued Logics; 9.2 Contexts in Which This Four-Valued Logic Is Useful; 9.3 The Artificial Reasoner's (Computer's) "State of Knowledge"; 9.4 Negation in This Four-Valued Logic; 9.5 Lattices: A Brief Tutorial; 9.6 Finite Approximation Lattices and Scott's Thesis; 9.7 Applying Scott's Thesis to Negation, Conjunction, and Disjunction; 9.8 The Logical Lattice L4. | |
| 520 | |a 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 fir. | ||
| 504 | |a Includes bibliographical references at the end of each chapters and index. | ||
| 590 | |a JSTOR |b Books at JSTOR Evidence Based Acquisitions | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 590 | |a JSTOR |b Books at JSTOR Demand Driven Acquisitions (DDA) | ||
| 650 | 0 | |a Proof theory. | |
| 650 | 0 | |a Computable functions. | |
| 650 | 0 | |a Nonclassical mathematical logic. | |
| 650 | 4 | |a Computable functions. | |
| 650 | 4 | |a Nonclassical mathematical logic. | |
| 650 | 4 | |a Proof theory. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 6 | |a Fonctions calculables. | |
| 650 | 6 | |a Logique mathématique non classique. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Linear & Nonlinear Programming. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh. | |
| 650 | 7 | |a MATHEMATICS |x Linear & Nonlinear Programming. |2 bisacsh. | |
| 650 | 7 | |a Computable functions. |2 fast |0 (OCoLC)fst00871985 | |
| 650 | 7 | |a Nonclassical mathematical logic. |2 fast |0 (OCoLC)fst01038606 | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 650 | 7 | |a Berechenbarkeit |2 gnd | |
| 650 | 7 | |a Beweistheorie |2 gnd | |
| 650 | 7 | |a Nichtklassische Logik |2 gnd | |
| 650 | 7 | |a Berechenbarkeit |2 gnd. | |
| 650 | 7 | |a Beweistheorie |2 gnd. | |
| 650 | 7 | |a Nichtklassische Logik |2 gnd. | |
| 700 | 1 | |a Hodel, Richard E. | |
| 700 | 1 | |a Sterrett, S. G. | |
| 776 | 0 | 8 | |i Print version: |a Loveland, Donald W. |t Three Views of Logic : Mathematics, Philosophy, and Computer Science. |d Princeton : Princeton University Press, ©2014 |z 9780691160443 |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt5hhqc8 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25695717 | ||
| 938 | |a Coutts Information Services |b COUT |n 27261366 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1383486 | ||
| 938 | |a EBSCOhost |b EBSC |n 639113 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27261366 | ||
| 938 | |a Project MUSE |b MUSE |n muse43196 | ||
| 938 | |a YBP Library Services |b YANK |n 10866075 | ||
| 994 | |a 92 |b IZTAP | ||