KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

83,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.04.2001

Verlag

Springer

Seitenzahl

304

Maße (L/B/H)

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

Gewicht

1000 g

Auflage

2. nd ed. 2001. Corr. 6th printing

Sprache

Englisch

ISBN

978-1-85233-319-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.04.2001

Verlag

Springer

Seitenzahl

304

Maße (L/B/H)

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

Gewicht

1000 g

Auflage

2. nd ed. 2001. Corr. 6th printing

Sprache

Englisch

ISBN

978-1-85233-319-5

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: Mathematical Logic for Computer Science
  • Preface.- Introduction.- Propositional Calculus: Formulas, Models, Tableaux.- Propositional Calculus: Deductive Systems.- Propositional Calculus: Resolution and BDDs.- Predicate Calculus: Formulas, Models, Tableau.- Predicate Calculus: Deductive Systems.- Predicate Calculus: Resolution.- Logic Programming.- Programs: Semantics and Verification.- Programs: Formal Specification with Z.- Temporal Logic: Formulas, Models, Tableaux.- Temporal Logic: Deduction and Applications.- Appendix: Set Theory; Further Reading; Bibliography; Index of Symbols; Index.