Aussagen
Wir stellen dar, wie man Sachverhalte mathematisch exakt formulieren kann. Das ist eine Voraussetzung dafür, ihre Allgemeingültigkeit beweisen zu können. Dazu führen wir zunächst grundlegende Begriffe wie Aussagen und Aussageformen ein und betrachten, wie
- PDF / 2,907,717 Bytes
- 329 Pages / 476 x 681 pts Page_size
- 62 Downloads / 145 Views
Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen Eine Einführung 6. Auflage
Mathematische Grundlagen der Informatik
Christoph Meinel Martin Mundhenk
Mathematische Grundlagen der Informatik Mathematisches Denken und Beweisen Eine Einführung 6. Auflage
Christoph Meinel Hasso-Plattner-Institut Potsdam, Deutschland
ISBN 978-3-658-09885-8 DOI 10.1007/978-3-658-09886-5
Martin Mundhenk Institut für Informatik Friedrich-Schiller-Universität Jena, Deutschland
ISBN 978-3-658-09886-5 (eBook)
Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. Springer Vieweg © Springer Fachmedien Wiesbaden 2000, 2002, 2006, 2009, 2011, 2015 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informationen in diesem Werk zum Zeitpunkt der Veröffentlichung vollständig und korrekt sind. Weder der Verlag noch die Autoren oder die Herausgeber übernehmen, ausdrücklich oder implizit, Gewähr für den Inhalt des Werkes, etwaige Fehler oder Äußerungen. Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier. Springer Fachmedien Wiesbaden GmbH ist Teil der Fachverlagsgruppe Springer Science+Business Media (www.springer.com)
Vorwort
Dieses Buch ist entstanden aus einer vom ersten Autor neu konzipierten Vorlesung für Erstsemester der Fächer Informatik und Wirtschaftsinformatik an der Universität Trier. Ziel dieser Vorlesung war es, die Hörer mit ihren recht unterschiedlichen mathematischen Vorkenntnissen und Fertigkeiten abzuholen und sie mit dem für ein erfolgreiches Studium der Informatik oder verwandter Studiengänge notwendigen mathematischen Rüstzeug auszustatten. Am Ende der Vorlesung sollten die Hörer dann in der Lage sein, in der exakten und streng formalisierten Denk- und Schreibweise der Mathematik zu argumentieren – eine Fähigkeit, ohne die eine erfolgreiche Arbeit in der Informatik unvorstellbar ist. Anders jedoch als in den üblichen Mathematikvorlesungen, bei denen die Hörer von vornherein mit dieser abstrakten mathematischen Denk- und Schreibweise konfrontiert werden, sollte diese hier behutsam eingeführt und eingeübt werden, um dem Schein, dass Mathematik schwer, manchmal zu schwer wäre, gleich von vornherein zu begegnen. Vorlesung und Buch beginnen deshalb im ersten Teil mit eine
Data Loading...
