[PDF] Download Mathematik für die Informatik: Grundlegende Begriffe - Strukturen und ihre Anwendung (German Edition) Kostenlos [PDF] Download Mathematik für die Informatik: Grundlegende Begriffe - Strukturen und ihre Anwendung (German Edition) Kostenlos From the Back Cover 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.Der InhaltMengentheoretische 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 - Generische Programmierung - Formale Einführung der natürlichen ZahlenDie ZielgruppenStudierende der Informatik - der Mathematik und der Ingenieurwissenschaften in den ersten Studiensemestern eines Bachelor-Studiengangs an einer wissenschaftlichen Hochschule.Der AutorRudolf 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. Read more About the Author 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. Read more

Comments

Popular posts from this blog

[PDF] Download Das Blaue Buch: Chemotherapie-Manual HÁ¡matologie und Internistische Onkologie (German Edition) Kostenlos

[PDF] Download Beschreibende Statistik und Wirtschaftsstatistik (Springer-Lehrbuch) (German Edition) Kostenlos

[PDF] Download Automatisieren mit SPS - Theorie und Praxis: Programmieren mit STEP 7 und CoDeSys - Entwurfsverfahren - Bausteinbibliotheken Beispiele für Steuerungen - ... Ethernet-TCP/IP - OPC - WLAN (German Edition) Kostenlos