Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
Seiten
2017
|
2., erweiterte und aktualisierte Auflage
Springer Vieweg (Verlag)
978-3-658-16711-0 (ISBN)
Springer Vieweg (Verlag)
978-3-658-16711-0 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Zu diesem Artikel existiert eine Nachauflage
- Demonstriert die Anwendung von mathematischen Konzepten und Methoden anhand konkreter Problemstellungen
- Einführung in die grundlegenden Begriffe und Strukturen der Mathematik für Informatiker
- Erleichtert den Übergang von der Schulmathematik zur Mathematik an einer wissenschaftlichen Hochschule
- Diskutiert den Stoff in großer Breite
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind.
Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen.
Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule.
Durch eine leicht verständliche Vermittlung des Stoffes mit vielen Beispielen werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet.
Zahlreiche Übungsaufgaben helfen, das Erlernte zu festigen und zu kontrollieren.
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.
Mengentheoretische Grundlagen - Logische Grundlagen - Allgemeine direkte Produkte und Datenstrukturen - Mathematische Beweise - Spezifikation und Programmverifikation - Spezielle Funktionen - Spezielle Relationen und gerichtete Graphen - Elementare Kombinatorik und ungerichtete Graphen - Grundbegriffe algebraischer Strukturen - enerische Programmierung - Formale Einführung der natürlichen Zahlen
Erscheinungsdatum | 30.01.2017 |
---|---|
Reihe/Serie | Springer-Lehrbuch |
Verlagsort | Wiesbaden |
Sprache | deutsch |
Maße | 168 x 240 mm |
Gewicht | 645 g |
Einbandart | kartoniert |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Schlagworte | Algebraische Strukturen • algorithms and data structures • Arithmetic and Logic Structures • Beweistechniken • Computer architecture and logic design • Computer Science • Gerichtete Graphen • Graphen • Kombinatorik • Logik • Mathematical Foundations • Mathematical Logic • Mathematical Logic and Foundations • Mathematical theory of computation • Mathematics of Computing • Mathematik; Handbuch/Lehrbuch (Informatik) • Maths for computer scientists • Mengenlehre • Mengentheorie • Relationen • Strukturen • Ungerichtete Graphen |
ISBN-10 | 3-658-16711-4 / 3658167114 |
ISBN-13 | 978-3-658-16711-0 / 9783658167110 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €