Mathematik fr die Informatik

Mathematik fr die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDas Buch bietet eine Einfhrung 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 verstndlichen Vermittlung des Stoffs, vielen Beispielen mit Rckgriffen auf die Schul-Mathematik und detaillierten Beweisen (verbunden mit der Erklrung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf sptere 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 Lsungsvorschlge am Ende des Buchs ermglichen die berprfung der eigenen Lsungen. Mit diesem Buch gelingt der Einstieg ins Informatik-Studium Mit diesem Buch schaffen Sie eine solide Basis fr die Mathematikausbildung im Rahmen des Informatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbststndig 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