Verwandte Artikel zu Logik für Informatiker (German Edition)

Logik für Informatiker (German Edition) - Softcover

Dassow, Jürgen

 
9783519005186: Logik für Informatiker (German Edition)
Softcover
ISBN 10: 3519005182 ISBN 13: 9783519005186
Verlag: Vieweg+Teubner Verlag, 2005

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Vieweg+Teubner Verlag
Erscheinungsdatum
2005
Sprache
Deutsch
ISBN 10 
3519005182
ISBN 13 
9783519005186
Einband
Taschenbuch
Anzahl der Seiten
177
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland