Logik fr Informatiker [Paperback]

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.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?sungenDer fundierte Einstieg in die Logik f?r Informatiker - mit Aufgaben und L?sungen!
Prof. Dr. J?rgen Dassow, Universit?t MagdeburgDas Buch behandelt 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 Mathematik und Philosophie bedeutsam sind, sondern algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle f?r die Informatik wichtige weitere Logiken werden ebenfalls intensiv diskutiert.
Der fundierte Einstieg in die Logik f?r Informatiker - mit Aufgaben und L?sungen!
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 lÃ