Ebook: Mathematik für Informatiker: Grundlegende Begriffe und Strukturen
Author: Rudolf Berghammer (auth.)
- Tags: Mathematics of Computing, Arithmetic and Logic Structures, Mathematical Logic and Foundations
- Year: 2014
- Publisher: Vieweg+Teubner Verlag
- Edition: 1
- Language: German
- pdf
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch leicht verständliche Vermittlung des Stoffes werden die Studierenden auch auf spätere Begriffe und Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch leicht verständliche Vermittlung des Stoffes werden die Studierenden auch auf spätere Begriffe und Anwendungen der Mathematik in der Informatik gut vorbereitet. Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.
Der Inhalt
Mengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte - Mathematische Beweise - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Grundbegriffe algebraischer Strukturen
Die Zielgruppen
Studierende der Informatik, der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule.
Der Autor
Rudolf Berghammer studierte Mathematik und Informatik an der TU München. Seit 1993 ist er Professor am Institut für Informatik der Universität Kiel. Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge.