Mathematische Grundlagen der Informatik Mathematisches Denken und Be
Diese Einführung in die mathematischen Grundlagen der Informatik stellt systematisch die für die Informatik typischen und grundlegenden Denkweisen vor. Die Herangehensweise führt die Leser aufbauend auf der Schulmathematik gezielt aber behutsam hin zum Um
- PDF / 2,511,594 Bytes
- 329 Pages / 481.89 x 680.315 pts Page_size
- 86 Downloads / 173 Views
Christoph Meinel | Martin Mundhenk
Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen Eine Einführung 4., überarbeitete Auflage STUDIUM
Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Prof. Dr. sc. nat. Christoph Meinel Geboren 1954 in Meißen. Studium der Mathematik an der Humboldt-Universität zu Berlin. Diplom 1979 und Promotion 1981 bei L. Budach. Von 1981 bis 1991 wiss. Mitarbeiter bzw. Oberassistent an der Sektion Mathematik bzw. am Fachbereich Informatik der Humboldt-Universität zu Berlin und am Institut für Mathematik der Akademie der Wissenschaften in Berlin. Habilitation 1988. 1991 C4-Lehrstuhlvertretung an der Universität-Gesamthochschule Paderborn und Forschungsaufenthalt an der Universität Saarbrücken. 1992 Berufung zum C4-Professor für Theoretische Konzepte und neue Anwendungen der Informatik an der Universität Trier. Gründungsdirektor des 1998 von der Fraunhofer Gesellschaft betreuten Forschungs- und Entwicklungsinstituts für Telematik in Trier. Seit 2004 Direktor des HassoPlattner-Instituts für Softwaresystemtechnik GmbH und C4-Professor für Internet-Technologien und Systeme an der Universität Potsdam. Autor, Koautor/Herausgeber von acht Büchern/Proceedingsbänden und über 250 Veröffentlichungen in wissenschaftlichen Zeitschriften und referierten Konferenzbänden. Besondere Forschungsinteressen in den theoretischen Grundlagen der Informatik (Komplexitätstheorie, Algorithmen und Datenstrukturen, BDDs und Formale Verifikation) und im Bereich Internet-Technologien und Systeme (IT-Security, sichere Telemedizin und E-Learning). Prof. Dr. rer. nat. Martin Mundhenk Geboren 1961 in Bad Pyrmont. Studium der Informatik an der Technischen Universität Braunschweig. Diplom 1986 bei H.-D. Ehrich. Von 1986 bis 1989 wiss. Mitarbeiter an der EWH Koblenz, von 1989 bis 1993 an der Universität Ulm. Promotion 1993 bei U. Schöning. Von 1994 bis 2001 wiss. Assistent an der Universität Trier. 1996 Research Scholar an der University of Kentucky. Frühjahr 2000 Visiting Assistant Professor am Dartmouth College. 2001 Habilitation an der Universität Trier bei Ch. Meinel und Berufung zum C3-Professor für Informatik an die Friedrich-Schiller-Universität Jena. In der Lehre tätig in der Ausbildung von geisteswissenschaftlichen Studenten mit Nebenfach Informatik. Forschungsgebiet ist Theoretische Informatik, insbesondere Komplexitätstheorie und Logik. 1. Auflage 2000 2. Auflage 2002 3. Auflage 2006 4.,überarbeitete Auflage 2009 Alle Rechte vorbehalten © Vieweg +Teubner | GWV Fachverlage GmbH, Wiesbaden 2009 Lektorat: Ulrich Sandten | Kerstin Hoffmann Vieweg+Teubner ist Teil der Fachverlagsgruppe Springer Science+Business Media. www.viewegteubner.de Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlags unzulässi
Data Loading...
