Articoli correlati a Logik für Informatiker (German Edition)

Logik für Informatiker (German Edition) - Brossura

Dassow, Jürgen

 
9783519005186: Logik für Informatiker (German Edition)

Sinossi

Der fundierte Einstieg in die Logik für Informatiker - mit Aufgaben und Lösungen!

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull'autore

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

Dalla quarta di copertina

Das 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.