Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Mathematical Logic for Computer Science

Über Mathematical Logic for Computer Science

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781447141280
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 346
  • Veröffentlicht:
  • 17. Juni 2012
  • Ausgabe:
  • 32012
  • Abmessungen:
  • 153x231x19 mm.
  • Gewicht:
  • 558 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Mathematical Logic for Computer Science

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Kund*innenbewertungen von Mathematical Logic for Computer Science



Ähnliche Bücher finden
Das Buch Mathematical Logic for Computer Science ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.