
Grundlagen der höheren Informatik: Induktives Vorgehen (eXamen.press)
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
"Grundlagen der höheren Informatik: Induktives Vorgehen" von Malte Isberner ist ein Lehrbuch, das sich mit den grundlegenden Konzepten und Methoden der Informatik befasst, insbesondere mit dem induktiven Ansatz. Das Buch richtet sich an Studierende der Informatik und verwandter Fächer und bietet eine umfassende Einführung in die Prinzipien des induktiven Denkens und deren Anwendung in der Informatik. Der Autor legt besonderen Wert auf die Vermittlung von Techniken zur Problemlösung und formalen Beweisführung mittels Induktion. Themen wie rekursive Datenstrukturen, Algorithmenanalyse und die Spezifikation sowie Verifikation von Programmen werden ausführlich behandelt. Durch zahlreiche Beispiele und Übungen wird das theoretische Wissen praxisnah vertieft. Isberners Werk ist Teil der eXamen.press-Reihe, die bekannt dafür ist, komplexe wissenschaftliche Inhalte verständlich darzustellen und Studierende optimal auf Prüfungen vorzubereiten.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
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.
- Hardcover -
- Erschienen 2012
- De Gruyter Oldenbourg
- Kartoniert
- 176 Seiten
- Erschienen 2008
- Oldenbourg Wissenschaftsverlag
- Hardcover -
- Erschienen 2011
- De Gruyter Oldenbourg
- paperback
- 464 Seiten
- Erschienen 1998
- Vieweg+Teubner Verlag
- Hardcover
- 472 Seiten
- Erschienen 2009
- Springer
- Hardcover
- 800 Seiten
- Erschienen 2012
- Pearson Studium ein Imprint...
- Taschenbuch
- 180 Seiten
- Erschienen 2009
- Springer
- Taschenbuch
- 545 Seiten
- Erschienen 2020
- Springer Vieweg
- Hardcover -
- Erschienen 2010
- Springer
- paperback
- 326 Seiten
- Erschienen 1999
- Spektrum Akademischer Verlag
- Hardcover
- 424 Seiten
- Erschienen 1991
- Vieweg Verlagsgesellschaft