
Mathematische Grundlagen der Informatik
Mathematisches Denken und Beweisen
Vieweg+Teubner Verlag
Published on 15. April 2000
Book
Paperback/Softback
301 pages
978-3-519-02949-6 (ISBN)
Article exhausted; check for reprint
Description
Konzepte und Anwendungen der Informatik durchdringen in immer stärkerem Maße alle Bereiche der Wirtschaft und Gesellschaft; ohne ihr Grundverständnis ist deshalb ein erfolgreiches Wirken dort zunehmend unmöglich. Das daraus resultierende große Interesse auch bei Nichtinformatikern an der Informatik und ihren intellektuellen Grundlagen macht eine Einführung auch in die mathematischen Grundlagen der Informatik immer dringlicher, eine Einführung, die auch ohne eine traditionell vorausgesetzte mathematische Grundausbildung auskommt und trotzdem sachkundig in die für die Informatik typischen und grundlegenden mathematischen Denkweisen und Formalisierungen einführt.
Das vorliegende Buch hat sich diese Aufgabe zum Ziel gestellt. Es führt den interessierten Leser ein in das für die Informatik typische Vorgehen, zunächst noch vage Ideen und Konzepte schrittweise zu formalisieren und damit einer Bearbeitung durch den Computer zugänglich zu machen.
Das vorliegende Buch hat sich diese Aufgabe zum Ziel gestellt. Es führt den interessierten Leser ein in das für die Informatik typische Vorgehen, zunächst noch vage Ideen und Konzepte schrittweise zu formalisieren und damit einer Bearbeitung durch den Computer zugänglich zu machen.
More details
Series
Edition
1. Aufl. 2000
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Dimensions
Height: 22.9 cm
Width: 16.2 cm
ISBN-13
978-3-519-02949-6 (9783519029496)
Schweitzer Classification
Other editions
New editions

Christoph Meinel | Martin Mundhenk
Mathematische Grundlagen der Informatik
Mathematisches Denken und Beweisen
Book
07/2002
2nd Edition
Vieweg+Teubner Verlag
€49.95
Article exhausted; check for reprint
Persons
Prof. Dr. Christoph Meinel, Universität Trier
Dr. Martin Mundhenk, Universität Trier
Dr. Martin Mundhenk, Universität Trier
Content
Grundlagen: Aussagen - Mengen und Mengenoperationen - Mathematisches Beweisen - Relationen - Abbildungen und Funktionen - Techniken: Beweistechniken - Zählen - Diskrete Stochastik - Strukturen: Boole'sche Algebra - Aussagenlogik und reguläre Ausdrücke - Graphen und Bäume - Endliche Automaten - Endliche Arithmetik