Grundlagen der höheren Informatik (eBook)

Induktives Vorgehen
eBook Download: PDF
2013 | 2014
XXV, 179 Seiten
Springer Berlin (Verlag)
978-3-642-40146-6 (ISBN)

Lese- und Medienproben

Grundlagen der höheren Informatik - Bernhard Steffen, Oliver Rüthing, Malte Isberner
Systemvoraussetzungen
14,99 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
Die auf drei Bände angelegte Reihe mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik. Der vorliegende erste Band "Induktives Vorgehen" intoniert das durch das Zusammenspiel von Struktur, Invarianz und Abstraktion geprägte Leitthema der Trilogie zu den Grundlagen der Höheren Informatik. Die  beide Folgebände "Algebraisches Denken" und " Perfektes Modellieren" greifen dieses Thema dann variierend und in immer komplexer werdenden Zusammenhängen vertiefend auf. Wie beim Boléro von Ravel, wo die gleiche Melodie von immer mehr Musikern mit immer mehr Instrumenten gespielt wird, soll dies dazu führen, dass der Leser das Leitthema derart verinnerlicht, dass er es selbst an ungewohnter Stelle wiedererkennen und eigenständig auf neue Szenarien übertragen kann. Damit hat er beste Voraussetzungen  für das weitere Informatikstudium und eine erfolgreiche berufliche Zukunft, sei es in Wissenschaft, Management oder Industrie.

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT).  Oliver Rüthing studierte Informatik an der Christian-Albrechts Universität zu Kiel, wo er anschließend 1991 -1997 als wissenschaftlicher Mitarbeiter arbeitete. Nach seiner Promotion 1997 mit Auszeichnung wechselte er als wissenschaftlicher Mitarbeiter an die TU-Dortmund wo er auch heute noch tätig ist. 2004 hatte er begleitend einen Lehrauftrag für Compilerbau an der International University Bremen.  Malte Isberner studierte Informatik an der TU-Dortmund, wo er auch derzeit nach seinem Diplom als Jahrgangsbester als Doktorand arbeitet. Seine Arbeiten im Bereich Automatenlernen und sein mathematisch präzises Vorgehen führten parallel zu einem mehrmonatigen Forschungsaufenthalt an der Carnegie Mellon Universität.  

Einleitung.- Aussagen und Mengen.- Relationen und Funktionen.- Induktives Definieren.- Literaturverzeichnis.- Index.

Erscheint lt. Verlag 17.10.2013
Reihe/Serie eXamen.press
Verlagsort Berlin
Sprache deutsch
Themenwelt Mathematik / Informatik Informatik
Schlagworte Induktives Beweisen • Induktives Definieren • Invarianz (Archimedischer Punkt) • Strukturerhaltung (Homomorphie) • Trennung von Syntax und Semantik
ISBN-10 3-642-40146-5 / 3642401465
ISBN-13 978-3-642-40146-6 / 9783642401466
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Konzepte, Methoden, Lösungen und Arbeitshilfen für die Praxis

von Ernst Tiemeyer

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
69,99
Konzepte, Methoden, Lösungen und Arbeitshilfen für die Praxis

von Ernst Tiemeyer

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
69,99
Der Weg zur professionellen Vektorgrafik

von Uwe Schöler

eBook Download (2024)
Carl Hanser Verlag GmbH & Co. KG
29,99