Mathematik für die Informatik - Berghammer, Rudolf

. .

Résumé :
Mathematik f?r die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Dieses Lehrbuch 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 Schulmathematik 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 5. Auflage erweitert den Inhalt um die Grundlagen der linearen Algebra. Die ?bungsaufgaben zu den einzelnen Kapitel 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 Zahlen - Grundbegriffe der linearen Algebra Mit diesem Buch gelingt der Einstieg ins Informatik-Studium Mit diesem Buch schaffen Sie eine solide Basis f?r die Mathematikausbildung im Rahmen desInformatikstudiums. 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 ...

Biographie:
Rudolf Berghammer ist pensionierter 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....

Sommaire:
Mathematik f?r die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Dieses Lehrbuch 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 Schulmathematik 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 5. Auflage erweitert den Inhalt um die Grundlagen der linearen Algebra. Die ?bungsaufgaben zu den einzelnen Kapitel 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 Zahlen - Grundbegriffe der linearen Algebra Mit diesem Buch gelingt der Einstieg ins Informatik-Studium Mit diesem Buch schaffen Sie eine solide Basis f?r die Mathematikausbildung im Rahmen desInformatikstudiums. 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 ...