Logik für Informatiker
Produktnummer:
18d32786b0b8b84719bf78bc2f37615f5f
| Autor: | Dassow, Jürgen |
|---|---|
| Themengebiete: | Aussagenlogik Grundlagen Logische Programmierung Prädikate Prädikatenlogik |
| Veröffentlichungsdatum: | 29.04.2005 |
| EAN: | 9783519005186 |
| Sprache: | Deutsch |
| Seitenzahl: | 177 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Vieweg & Teubner |
Produktinformationen "Logik für Informatiker"
Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen