Steffen / Isberner / Rüthing | Grundlagen der höheren Informatik | Buch | 978-3-642-40145-9 | sack.de

Buch, Deutsch, 179 Seiten, HC runder Rücken kaschiert, Format (B × H): 173 mm x 246 mm, Gewicht: 534 g

Reihe: eXamen.press

Steffen / Isberner / Rüthing

Grundlagen der höheren Informatik

Induktives Vorgehen
2014
ISBN: 978-3-642-40145-9
Verlag: Springer

Induktives Vorgehen

Buch, Deutsch, 179 Seiten, HC runder Rücken kaschiert, Format (B × H): 173 mm x 246 mm, Gewicht: 534 g

Reihe: eXamen.press

ISBN: 978-3-642-40145-9
Verlag: Springer

Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.
Steffen / Isberner / Rüthing Grundlagen der höheren Informatik jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Steffen, Bernhard
Isberner, Malte
Rüthing, Oliver

Fachgebiete

Weitere Infos & Material

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

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.