Dekorationsartikel gehören nicht zum Leistungsumfang.
Grundlagen der höheren Informatik
Induktives Vorgehen
Buch von Bernhard Steffen (u. a.)
Sprache: Deutsch

37,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.
Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-bezogene Methoden der Informatik.
Ü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 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.

Zusammenfassung

Vermittelt Grundkenntnisse und Kompetenzen für Informatiker jenseits von Modeerscheinungen

Das Buch bietet eine 'lebenslange' Unterstützung

Mathematik und Informatik werden auf eine neuartige Weise in Beziehung gesetzt

Includes supplementary material: [...]

Inhaltsverzeichnis
Einleitung.- Aussagen und Mengen.- Relationen und Funktionen.- Induktives Definieren.- Literaturverzeichnis.- Index.
Details
Erscheinungsjahr: 2013
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 208
Reihe: eXamen.press
Inhalt: xxv
179 S.
24 s/w Illustr.
179 S. 24 Abb.
ISBN-13: 9783642401459
ISBN-10: 3642401457
Sprache: Deutsch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Steffen, Bernhard
Isberner, Malte
Rüthing, Oliver
Auflage: 2014
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
eXamen.press
Maße: 246 x 173 x 17 mm
Von/Mit: Bernhard Steffen (u. a.)
Erscheinungsdatum: 30.10.2013
Gewicht: 0,534 kg
preigu-id: 105701454
Ü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 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.

Zusammenfassung

Vermittelt Grundkenntnisse und Kompetenzen für Informatiker jenseits von Modeerscheinungen

Das Buch bietet eine 'lebenslange' Unterstützung

Mathematik und Informatik werden auf eine neuartige Weise in Beziehung gesetzt

Includes supplementary material: [...]

Inhaltsverzeichnis
Einleitung.- Aussagen und Mengen.- Relationen und Funktionen.- Induktives Definieren.- Literaturverzeichnis.- Index.
Details
Erscheinungsjahr: 2013
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Seiten: 208
Reihe: eXamen.press
Inhalt: xxv
179 S.
24 s/w Illustr.
179 S. 24 Abb.
ISBN-13: 9783642401459
ISBN-10: 3642401457
Sprache: Deutsch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Steffen, Bernhard
Isberner, Malte
Rüthing, Oliver
Auflage: 2014
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
eXamen.press
Maße: 246 x 173 x 17 mm
Von/Mit: Bernhard Steffen (u. a.)
Erscheinungsdatum: 30.10.2013
Gewicht: 0,534 kg
preigu-id: 105701454
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte