Thalia.de

In weniger als einer Minute mit dem Lesen beginnen. Sie haben noch keinen tolino?

Grundlagen der höheren Informatik

Induktives Vorgehen

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.

Portrait
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.

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). §
… weiterlesen
Beschreibung

Produktdetails


Format PDF i
Kopierschutz kopiergeschützt i
Erscheinungsdatum 17.10.2013
Sprache Deutsch
EAN 9783642401466
Verlag Springer
Verkaufsrang 41.942
eBook (PDF)
14,99
inkl. gesetzl. MwSt.
Sofort per Download lieferbar
In der Cloud verfügbar
Per E-Mail verschenken i

Andere Kunden interessierten sich auch für

  • 45771629
    Computernetzwerke
    von Rüdiger Schreiner
    eBook
    19,99
  • 44777284
    Java ist auch eine Insel
    von Christian Ullenboom
    eBook
    44,90
  • 47273697
    Windows 10 Reparaturhandbuch
    von Christian Immler
    eBook
    9,99
  • 42363836
    Basiswissen Requirements Engineering
    von Klaus Pohl
    eBook
    23,99
  • 46692990
    MacOS Sierra
    von Anton Ochsenkühn
    eBook
    8,99
  • 45607846
    PowerShell 5.0
    von Tobias Weltner
    eBook
    39,99
  • 45304129
    Excel 2016 Formeln und Funktionen
    von Ignatz Schels
    eBook
    15,99
  • 44380334
    VBA mit Excel
    von Bernd Held
    eBook
    44,90
  • 46368754
    Html5 und Css3
    von Jürgen Wolf
    eBook
    39,90
  • 44869992
    Microsoft Access 2016 - Das Handbuch
    von Lorenz Hölscher
    eBook
    31,99
  • 45606565
    Excel 2016 - Basiswissen
    von Inge Baumeister
    eBook
    4,99
  • 44730219
    Windows 10 für Experten (Microsoft Press)
    von Ed Bott
    eBook
    29,99
  • 44777280
    PHP 7 und MySQL
    von Tobias Hauser
    eBook
    39,90
  • 34953526
    C++ Programmieren mit Stil
    von Thomas Strasser
    eBook
    5,99
  • 35442872
    Certified Tester (Foundation Level)
    von Rolf Böhm
    eBook
    19,99
  • 47346809
    Projekt Phoenix
    von Gene Kim
    eBook
    17,99
  • 47779263
    Windows 10 Reparaturhandbuch
    von Christian Immler
    eBook
    9,99
  • 41855883
    Google AdWords
    von Ricarda Linnenbrink
    eBook
    30,90
  • 43928830
    BPMN 2.0 - Business Process Model and Notation
    von Thomas Allweyer
    eBook
    14,99
  • 44267675
    CompTIA Network+ (mitp Professional)
    von Markus Kammermann
    eBook
    49,99

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

Grundlagen der höheren Informatik

Grundlagen der höheren Informatik

von Bernhard Steffen , Oliver Rüthing , Malte Isberner

eBook
14,99
+
=
100 Methoden und Techniken

100 Methoden und Techniken

von Thomas Grosser

eBook
23,99
+
=

für

38,98

inkl. gesetzl. MwSt.

Alle kaufen