Mathematik für die Informatik
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-25808-5 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Sie haben Ihr Studium begonnen oder möchten den Übergang von Schule zu Hochschule erfolgreich meistern? Dann ist „Mathematik für die Informatik“ die ideale Empfehlung. Das Buch von Rudolf Berghammer bringt Ihnen die Logik der Informatik näher und verknüpft sie mit den wichtigsten Strukturen und Begriffen aus der Mathematik.
Im Fokus stehen die gängigen Vorgehensweisen der Programmkonzeption und -verifikation. So beschäftigen Sie sich mit diesem Buch schon frühzeitig mit den tiefergehenden Strukturen der Mathematik in der Informatik. Der Autor ist darauf bedacht, Ihnen die Inhalte nachvollziehbar und verständlich zu vermitteln. Dazu tragen neben ausführlich erklärten Beispielen und Beweisen vor allen Dingen die insgesamt 142 Übungsaufgaben inklusive Lösungen bei.
Arbeiten Sie sich von den Grundlagen zu spezifischen Themen vor
Um Ihnen den Einstieg zu erleichtern, steht zunächst ein kleiner Ausflug in die Schulzeit an. Mit Blick auf die Mathematik der Informatik wiederholen Sie mit diesem Buch noch einmal kurz und kompakt die Grundlagen der Mengentheorie. Hier stehen beispielsweise Relationen, Potenzmengen und Ergänzungen zum Funktionsbegriff auf dem Programm. Anschließend geht das Buch „Mathematik für die Informatik“ weiter in die Tiefe:
• Ungerichtete und gerichtete Graphen
• Grundlagen algebraischer Strukturen
• Logische Grundlagen
• Elementare Kombinatorik
• Generische Programmierung
Durch diese systematische Verknüpfung von Mathematik und Informatik ist dieses Buch besonders für Studierende in Bachelor-Studiengängen der Bereiche Mathematik, Informatik und Ingenieurwissenschaften ein hilfreicher Begleiter während des Studieneinstiegs.
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
Anwendung: Spezifikation und Programmverifikation
Spezielle Funktionen
Spezielle Relationen und gerichtete Graphen
Elementare Kombinatorik und ungerichtete Graphen
Grundbegriffe algebraischer Strukturen
Anwendung: Generische Programmierung
Formale Einführung der natürlichen Zahlen
| Erscheinungsdatum | 10.04.2019 |
|---|---|
| Zusatzinfo | XII, 426 S. 1 Abb. Mit Online-Extras. |
| Verlagsort | Wiesbaden |
| Sprache | deutsch |
| Maße | 168 x 240 mm |
| Gewicht | 732 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Algebraische Strukturen • Anwendung • Begriffe • Beweistechniken • Einführung • Einführung • Gerichtete Graphen • Grundlagen • Kombinatorik • Logik • Mathematik für die Informatik • Mathematik für die Informatik • Mathematik Informatik Buch • Mengentheorie • Methoden • Relationen • Selbststudium • Strukturen • Übungsaufgaben • Ungerichtete Graphen • Übungsaufgaben |
| ISBN-10 | 3-658-25808-X / 365825808X |
| ISBN-13 | 978-3-658-25808-5 / 9783658258085 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
