Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung
Autor Rudolf Berghammerde Limba Germană Paperback – 4 mar 2021
Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet.
Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.
Mit diesem Buch gelingt der Einstieg ins Informatik-Studium
Mit diesem Buch schaffen Sie eine solide Basis für die Mathematikausbildung im Rahmen des Informatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstständig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs über Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche:
- Informatik
- Mathematik
- Ingenieurwissenschaften
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (2) | 306.20 lei 6-8 săpt. | |
| Springer Fachmedien Wiesbaden – 4 mar 2021 | 306.20 lei 6-8 săpt. | |
| Springer Fachmedien Wiesbaden – 28 apr 2024 | 367.62 lei 6-8 săpt. |
Preț: 306.20 lei
Preț vechi: 382.75 lei
-20% Nou
Puncte Express: 459
Preț estimativ în valută:
54.18€ • 63.54$ • 47.58£
54.18€ • 63.54$ • 47.58£
Carte tipărită la comandă
Livrare economică 03-17 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783658333034
ISBN-10: 3658333030
Pagini: 499
Ilustrații: XIV, 499 S. 50 Abb. Mit Online-Extras.
Dimensiuni: 168 x 240 mm
Greutate: 0.81 kg
Ediția:4., erw. u. verb. Aufl. 2021
Editura: Springer Fachmedien Wiesbaden
Colecția Springer Vieweg
Locul publicării:Wiesbaden, Germany
ISBN-10: 3658333030
Pagini: 499
Ilustrații: XIV, 499 S. 50 Abb. Mit Online-Extras.
Dimensiuni: 168 x 240 mm
Greutate: 0.81 kg
Ediția:4., erw. u. verb. Aufl. 2021
Editura: Springer Fachmedien Wiesbaden
Colecția Springer Vieweg
Locul publicării:Wiesbaden, Germany
Cuprins
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.- Diskrete Wahrscheinlichkeitstheorie.- Generische Programmierung.- Grundbegriffe algebraischer Strukturen.- Formale Einführung der natürlichen Zahlen.
Notă biografică
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.
Textul de pe ultima copertă
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. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen.
Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.
Der Inhalt
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 • Diskrete Wahrscheinlichkeitstheorie • Generische Programmierung • Grundbegriffe algebraischer Strukturen • Formale Einführung der natürlichen ZahlenDie 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.
Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 157 Übungsaufgaben, aufgeteilt in die 12 einzelnen Kapitel, sollen helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.
Der Inhalt
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 • Diskrete Wahrscheinlichkeitstheorie • Generische Programmierung • Grundbegriffe algebraischer Strukturen • Formale Einführung der natürlichen ZahlenDie 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.
Caracteristici
Kompakte Einführung in die Mathematik für die Informatik Erleichtert den Übergang zur wissenschaftlichen Hochschule Mit 157 hilfreichen Übungsaufgaben und vielen Lösungen