Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 13.07.2026 | Gültig für Spielzeug (außer Tonieboxen & ausgewählte Tonies), Filme, Musik, Software, Games, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter osiander.de und in der Osiander App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Elektronik, Geschenke & Trends, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
Produktbild: Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

86,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.