
Logik und Logikprogrammierung: Band 1: Grundlagen (Kolleg Synchron)
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
"Logik und Logikprogrammierung: Band 1: Grundlagen" von Steffen Hölldobler bietet eine umfassende Einführung in die Grundlagen der Logik und deren Anwendung in der Programmierung. Das Buch richtet sich an Studierende der Informatik und verwandter Disziplinen und legt den Fokus auf die theoretischen Konzepte, die für das Verständnis der Logikprogrammierung notwendig sind. Es behandelt Themen wie Aussagenlogik, Prädikatenlogik und grundlegende Prinzipien der logischen Folgerung. Zudem werden Methoden zur formalen Spezifikation von Problemen sowie deren algorithmische Lösung durch logische Programmierparadigmen vorgestellt. Der erste Band dieser Reihe legt somit das Fundament für weiterführende Studien in der Logikprogrammierung und deren praktischen Anwendungen in verschiedenen Bereichen der Informatik.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 239 Seiten
- Erschienen 2006
- Brill | mentis
- Kartoniert
- 236 Seiten
- Erschienen 2006
- J.B. Metzler
- hardcover
- 451 Seiten
- Erschienen 1978
- Meiner
- Kartoniert
- 251 Seiten
- Erschienen 2016
- Vahlen
- paperback
- 298 Seiten
- Erschienen 2006
- Vahlen
- Hardcover
- 588 Seiten
- Erschienen 2000
- Springer
- Kartoniert
- 552 Seiten
- Erschienen 2008
- Meiner, F