Logic for Computer Scientists
Kurzinformation
Sprache:
Englisch
ISBN:
9780817647629
Verlag:
Seitenzahl:
180 Seiten
Auflage:
1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989
Erschienen:
2008
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten
Beschreibung
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists. von Schöning, Uwe
Produktdetails
Einband:
Hardcover
Seitenzahl:
180 Seiten
Erschienen:
2008
Sprache:
Englisch
EAN:
9780817647629
ISBN:
9780817647629
Verlag:
Gewicht:
283 g
Auflage:
1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Gut
2,48 €
Entdecke mehr zum Thema
