EBOOK

Logik für Informatiker


€ 34,95
 
kartoniert
Sofort lieferbar
Mai 2005

Beschreibung

Beschreibung

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation vonProgrammen 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.

Inhaltsverzeichnis

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

Portrait

Prof. Dr. Jürgen Dassow, Universität Magdeburg

EAN: 9783519005186
ISBN: 3519005182
Verlag: Teubner B.G. GmbH
Erscheinungsdatum: Mai 2005
Seitenanzahl: 177 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben