Logik und Logikprogrammierung: Band 1: Grundlagen (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: Band 1: Grundlagen" von Steffen Hölldobler ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der Logik und deren Anwendung in der Logikprogrammierung beschäftigt. Das Buch richtet sich an Studierende der Informatik und verwandter Disziplinen und bietet eine Einführung in die formalen Systeme der Aussagen- und Prädikatenlogik. Es behandelt Themen wie logische Folgerungen, Beweisstrategien sowie die Syntax und Semantik logischer Sprachen. Darüber hinaus wird die Verbindung zur Programmierung hergestellt, insbesondere durch die Einführung in Prolog, einer Programmiersprache, die auf logischen Paradigmen basiert. Der Autor legt Wert darauf, theoretische Grundlagen mit praktischen Anwendungen zu verknüpfen, um den Lesern sowohl das Verständnis als auch die Fähigkeit zur Umsetzung von Logikkonzepten zu vermitteln. Durch zahlreiche Beispiele und Übungen wird das Gelernte vertieft und gefestigt.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
