Logik und Logikprogrammierung (Kolleg Synchron)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
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.
