Vor Ort
Merkzettel Warenkorb
Produktbild: Logic For Applications Softcov
- 13%

Logic For Applications Softcov

Aus der Reihe Texts in Computer Science
13% sparen

74,99 € UVP 86,38 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

Juli 2012

Verlag

Springer

Seitenzahl

365

Maße (L/B/H)

23,4/15,6/2,1 cm

Gewicht

549 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4684-0213-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

Juli 2012

Verlag

Springer

Seitenzahl

365

Maße (L/B/H)

23,4/15,6/2,1 cm

Gewicht

549 g

Auflage

Softcover reprint of the original 1st ed. 1993

Sprache

Englisch

ISBN

978-1-4684-0213-1

Herstelleradresse

Springer Heidelberg
Tiergartenstr. 17
69121 Heidelberg
DE
buchhandel-buch@springer.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic For Applications Softcov
  • I: Prepositional Logic.- I.1 Orders and Trees.- I.2 Propositions, Connectives and Truth Tables.- I.3 Truth Assignments and Valuations.- I.4 Tableau Proofs in Propositional Calculus.- I.5 Soundness and Completeness of Tableau Proofs.- I.6 Deductions from Premises and Compactness.- I.7* An Axiomatic Approach.- I.8 Resolution.- I.9 Refining Resolution.- I.10 Linear Resolution, Horn Clauses and PROLOG.- II: Predicate Logic.- II. 1 Predicates and Quantifiers.- II.2 The Language: Terms and Formulas.- II.3 Formation Trees, Structures and Lists.- II.4 Semantics: Meaning and Truth.- II.5 Interpretation of prolog Programs.- II.6 Proofs: Complete Systematic Tableaux.- II.7 Soundness and Completeness of Tableau Proofs.- II.8* An Axiomatic Approach.- II.9 Prenex Normal Form and Skolemization.- II.10 Herbrand's Theorem.- II.11 Unification.- II.12 The Unification Algorithm.- II.13 Resolution.- II.14 Refining Resolution: Linear Resolution.- III: PROLOG.- III.1 SLD-Resolution.- III.2 Implementations: Searching and Backtracking.- III.3 Controlling the Implementation: Cut.- III.4 Termination Conditions for PROLOG Programs.- III.5 Equality.- III.6 Negation as Failure.- III.7 Negation and Nonmonotonic Logic.- III.8 Computability and Undecidability.- IV: Modal Logic.- IV. 1 Possibility and Necessity; Knowledge or Belief.- IV.2 Frames and Forcing.- IV.3 Modal Tableaux.- IV.4 Soundness and Completeness.- IV.5 Modal Axioms and Special Accessibility Relations.- IV.6* An Axiomatic Approach.- V: Intuitionistic Logic.- V.1 Intuitionism and Constructivism.- V.2 Frames and Forcing.- V.3 Intuitionistic Tableaux.- V.4 Soundness and Completeness.- V.5 Decidability and Undecidability.- V.6 A Comparative Guide.- Appendix A: An Historical Overview.- A.1 Calculus.- A.2 Logic.- A.3 Leibniz's Dream.- A.4 Nineteenth Century Logic.- A.5 Nineteenth Century Foundations of Mathematics.- A.6 Twentieth Century Foundations of Mathematics.- A.7 Early Twentieth Century Logic.- A.8 Deduction and Computation.- A.9 Recent Automation of Logic and PROLOG.- A.10 The Future.- Appendix B: A Genealogical Database.- 1. History of Mathematics.- 2. History of Logic.- 3. Mathematical Logic.- 4. Intuitionistic, Modal, and Temporal Logics.- 5. Logic and Computation.- Index of Symbols.- Index of Terms.