Cargando…
A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ide...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; New York :
Oxford University Press,
2004.
|
| Colección: | Oxford texts in logic ;
1. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm68623806 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060510s2004 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d TUU |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d IDEBK |d OCLCQ |d AGLDB |d OCLCQ |d LUE |d STF |d OCLCQ |d VTS |d CEF |d YDX |d EBLCP |d JBG |d OCLCQ |d K6U |d OCLCO |d VT2 |d OCLCO |d OCLCQ |d SFB |d OCLCQ |d BRX |d OCLCQ |d OCLCO | ||
| 015 | |a GBA4X5534 |2 bnb | ||
| 019 | |a 150362725 |a 814476043 |a 824558936 |a 1286911339 | ||
| 020 | |a 142377079X |q (electronic bk.) | ||
| 020 | |a 9781423770794 |q (electronic bk.) | ||
| 020 | |a 128075897X | ||
| 020 | |a 9781280758973 | ||
| 020 | |a 0198529805 | ||
| 020 | |a 9780198529804 | ||
| 020 | |a 0198529813 |q (pbk.) | ||
| 020 | |a 9780198529811 | ||
| 029 | 1 | |a AU@ |b 000051581970 | |
| 029 | 1 | |a DEBBG |b BV043169493 | |
| 029 | 1 | |a DEBSZ |b 422273236 | |
| 029 | 1 | |a GBVCP |b 80142626X | |
| 035 | |a (OCoLC)68623806 |z (OCoLC)150362725 |z (OCoLC)814476043 |z (OCoLC)824558936 |z (OCoLC)1286911339 | ||
| 050 | 4 | |a QA9 |b .H36 2004eb | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 7 | |a K |2 bicssc | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Hedman, Shawn. | |
| 245 | 1 | 2 | |a A first course in logic : |b an introduction to model theory, proof theory, computability, and complexity / |c Shawn Hedman. |
| 260 | |a Oxford ; |a New York : |b Oxford University Press, |c 2004. | ||
| 300 | |a 1 online resource (xx, 431 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford texts in logic ; |v 1 | |
| 504 | |a Includes bibliographical references (pages 426-427) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Intro; Contents; 1 Propositional logic; 1.1 What is propositional logic?; 1.2 Validity, satisfiability, and contradiction; 1.3 Consequence and equivalence; 1.4 Formal proofs; 1.5 Proof by induction; 1.5.1 Mathematical induction; 1.5.2 Induction on the complexity of formulas; 1.6 Normal forms; 1.7 Horn formulas; 1.8 Resolution; 1.8.1 Clauses; 1.8.2 Resolvents; 1.8.3 Completeness of resolution; 1.9 Completeness and compactness; 2 Structures and first-order logic; 2.1 The language of first-order logic; 2.2 The syntax of first-order logic; 2.3 Semantics and structures; 2.4 Examples of structures | |
| 505 | 8 | |a 2.4.1 Graphs2.4.2 Relational databases; 2.4.3 Linear orders; 2.4.4 Number systems; 2.5 The size of a structure; 2.6 Relations between structures; 2.6.1 Embeddings; 2.6.2 Substructures; 2.6.3 Diagrams; 2.7 Theories and models; 3 Proof theory; 3.1 Formal proofs; 3.2 Normal forms; 3.2.1 Conjunctive prenex normal form; 3.2.2 Skolem normal form; 3.3 Herbrand theory; 3.3.1 Herbrand structures; 3.3.2 Dealing with equality; 3.3.3 The Herbrand method; 3.4 Resolution for first-order logic; 3.4.1 Unification; 3.4.2 Resolution; 3.5 SLD-resolution; 3.6 Prolog; 4 Properties of first-order logic | |
| 505 | 8 | |a 4.1 The countable case4.2 Cardinal knowledge; 4.2.1 Ordinal numbers; 4.2.2 Cardinal arithmetic; 4.2.3 Continuum hypotheses; 4.3 Four theorems of first-order logic; 4.4 Amalgamation of structures; 4.5 Preservation of formulas; 4.5.1 Supermodels and submodels; 4.5.2 Unions of chains; 4.6 Amalgamation of vocabularies; 4.7 The expressive power of first-order logic; 5 First-order theories; 5.1 Completeness and decidability; 5.2 Categoricity; 5.3 Countably categorical theories; 5.3.1 Dense linear orders; 5.3.2 Ryll-Nardzewski et al.; 5.4 The Random graph and 0-1 laws; 5.5 Quantifier elimination | |
| 505 | 8 | |a 5.5.1 Finite relational vocabularies5.5.2 The general case; 5.6 Model-completeness; 5.7 Minimal theories; 5.8 Fields and vector spaces; 5.9 Some algebraic geometry; 6 Models of countable theories; 6.1 Types; 6.2 Isolated types; 6.3 Small models of small theories; 6.3.1 Atomic models; 6.3.2 Homogeneity; 6.3.3 Prime models; 6.4 Big models of small theories; 6.4.1 Countable saturated models; 6.4.2 Monster models; 6.5 Theories with many types; 6.6 The number of nonisomorphic models; 6.7 A touch of stability; 7 Computability and complexity; 7.1 Computable functions and Church's thesis | |
| 505 | 8 | |a 7.1.1 Primitive recursive functions7.1.2 The Ackermann function; 7.1.3 Recursive functions; 7.2 Computable sets and relations; 7.3 Computing machines; 7.4 Codes; 7.5 Semi-decidable decision problems; 7.6 Undecidable decision problems; 7.6.1 Nonrecursive sets; 7.6.2 The arithmetic hierarchy; 7.7 Decidable decision problems; 7.7.1 Examples; 7.7.2 Time and space; 7.7.3 Nondeterministic polynomial-time; 7.8 NP-completeness; 8 The incompleteness theorems; 8.1 Axioms for first-order number theory; 8.2 The expressive power of first-order number theory; 8.3 Gödel's First Incompleteness theorem | |
| 520 | |a Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 2 | |a Logic | |
| 650 | 6 | |a Logique. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a logic. |2 aat | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 776 | 0 | 8 | |i Print version: |a Hedman, Shawn. |t First course in logic. |d Oxford ; New York : Oxford University Press, 2004 |z 0198529805 |z 0198529813 |w (DLC) 2004303637 |w (OCoLC)60839243 |
| 830 | 0 | |a Oxford texts in logic ; |v 1. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=159131 |z Texto completo |
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL7038260 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5571211 | ||
| 938 | |a EBSCOhost |b EBSC |n 159131 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 75897 | ||
| 938 | |a YBP Library Services |b YANK |n 15823686 | ||
| 938 | |a YBP Library Services |b YANK |n 2426540 | ||
| 994 | |a 92 |b IZTAP | ||