Logik für Informatiker
Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Logik für Informatiker “
Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!
Klappentext zu „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.
Inhaltsverzeichnis zu „Logik für Informatiker “
- Grundlagen aus Mathematik und Theoretischer Informatik- Aussagenlogik
- Prädikatenlogik
- Temporale, dynamische und modale Logik
- Entscheidbarkeitsfragen in der Logik
- Theoretische Grundlagen der logischen Programmierung
- Übungsaufgaben und ausgewählte Lösungen
Autoren-Porträt von Jürgen Dassow
Prof. Dr. Jürgen Dassow, Universität Magdeburg
Bibliographische Angaben
- Autor: Jürgen Dassow
- 2005, 2005, 176 Seiten, Maße: 17 x 24 cm, Kartoniert (TB), Deutsch
- Verlag: Vieweg+Teubner
- ISBN-10: 3519005182
- ISBN-13: 9783519005186
- Erscheinungsdatum: 29.04.2005
Kommentar zu "Logik für Informatiker"
0 Gebrauchte Artikel zu „Logik für Informatiker“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Logik für Informatiker".
Kommentar verfassen