Logik und Logikprogrammierung (Kolleg Synchron)
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Logik und Logikprogrammierung" von Steffen Hölldobler ist ein umfassendes Lehrbuch, das sich mit den Grundlagen der formalen Logik und deren Anwendung in der Informatik beschäftigt. Das Buch bietet eine Einführung in die Aussagen- und Prädikatenlogik sowie deren Bedeutung für die Programmierung. Es behandelt wesentliche Konzepte wie logische Folgerungen, Beweismethoden und die Semantik von Programmen. Darüber hinaus wird auf Logikprogrammierung eingegangen, insbesondere auf Prolog als Beispiel einer logikorientierten Programmiersprache. Durch zahlreiche Beispiele und Übungen werden die theoretischen Inhalte praxisnah vermittelt, was das Buch zu einer wertvollen Ressource für Studierende der Informatik macht.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- perfect
- 382 Seiten
- Erschienen 1976
- Meiner, F
- Hardcover -
- Erschienen 2012
- W3L GmbH