Produkt
KlappentextDas Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden.
ZusammenfassungDieses gut im Markt eingeführte Standardwerk konzentriert sich auf die für Informatiker wesentlichen Teile der Logik. Es steht auf der Empfehlungsliste vieler Hochschuldozenten und wird teilweise als Skript zur Vorlesung verwendet.
Details
ISBN/GTIN978-3-8274-1005-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2000
Erscheinungsdatum20.01.2000
Auflage5. Aufl.
Seiten190 Seiten
SpracheDeutsch
Gewicht288 g
IllustrationenX, 190 S. 28 Abb.
Artikel-Nr.10498739
Rubriken