Grundlagen der höheren Informatik: Induktives Vorgehen: eXamen.press
Autor Bernhard Steffen, Oliver Rüthing, Malte Isbernerde Limba Germană Hardback – 30 oct 2013
Din seria eXamen.press
- 20% Preț: 118.93 lei
- Preț: 86.35 lei
- 20% Preț: 311.92 lei
- 20% Preț: 213.17 lei
- 20% Preț: 200.15 lei
- Preț: 372.83 lei
- 20% Preț: 210.05 lei
- Preț: 144.27 lei
- 20% Preț: 221.61 lei
- 20% Preț: 252.36 lei
- 20% Preț: 258.32 lei
- 20% Preț: 183.59 lei
- 20% Preț: 280.59 lei
- 20% Preț: 313.49 lei
- Preț: 177.49 lei
- Preț: 359.38 lei
- Preț: 325.79 lei
- 20% Preț: 211.87 lei
- 20% Preț: 304.93 lei
- Preț: 215.71 lei
- 20% Preț: 314.50 lei
- 20% Preț: 182.28 lei
- 20% Preț: 212.19 lei
- 20% Preț: 298.87 lei
- 20% Preț: 283.06 lei
- 20% Preț: 246.60 lei
- 20% Preț: 249.74 lei
- 20% Preț: 243.96 lei
- 20% Preț: 219.61 lei
- 20% Preț: 299.40 lei
- 20% Preț: 178.31 lei
- Preț: 250.83 lei
- 20% Preț: 179.45 lei
- Preț: 218.09 lei
- 20% Preț: 398.86 lei
- Preț: 236.95 lei
- 20% Preț: 322.91 lei
- 20% Preț: 254.84 lei
- 20% Preț: 246.29 lei
- 20% Preț: 164.49 lei
- Preț: 282.11 lei
- 20% Preț: 238.14 lei
- 20% Preț: 314.32 lei
- Preț: 185.16 lei
- 20% Preț: 151.68 lei
- 20% Preț: 232.24 lei
- 20% Preț: 317.45 lei
- Preț: 289.24 lei
- 20% Preț: 176.49 lei
Preț: 246.94 lei
Preț vechi: 308.68 lei
-20% Nou
Puncte Express: 370
Preț estimativ în valută:
47.26€ • 48.75$ • 39.100£
47.26€ • 48.75$ • 39.100£
Carte tipărită la comandă
Livrare economică 04-18 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642401459
ISBN-10: 3642401457
Pagini: 190
Ilustrații: XXV, 179 S. 24 Abb.
Dimensiuni: 168 x 240 x 20 mm
Greutate: 0.53 kg
Ediția:2014
Editura: Springer Berlin, Heidelberg
Colecția Springer Vieweg
Seria eXamen.press
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642401457
Pagini: 190
Ilustrații: XXV, 179 S. 24 Abb.
Dimensiuni: 168 x 240 x 20 mm
Greutate: 0.53 kg
Ediția:2014
Editura: Springer Berlin, Heidelberg
Colecția Springer Vieweg
Seria eXamen.press
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
Upper undergraduateCuprins
Einleitung.- Aussagen und Mengen.- Relationen und Funktionen.- Induktives Definieren.- Literaturverzeichnis.- Index.
Notă biografică
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.
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.
Textul de pe ultima copertă
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.
"Interesse entfachen, zum Nachdenken anregen, Querbezüge andeuten. Das schafft dieses Einstiegswerk für angehende Informatiker hervorragend. Damit geht es über die reine Wissensvermittlung hinaus und fördert die Ausbildung von echten Kompetenzen im Umgang mit dem Erlernten. "Grundlagen der höheren Informatik" bereitet so ideal auf die späteren Herausforderungen im Informatikstudium vor." Holger Hermanns, Universität des Saarlandes
"Interesse entfachen, zum Nachdenken anregen, Querbezüge andeuten. Das schafft dieses Einstiegswerk für angehende Informatiker hervorragend. Damit geht es über die reine Wissensvermittlung hinaus und fördert die Ausbildung von echten Kompetenzen im Umgang mit dem Erlernten. "Grundlagen der höheren Informatik" bereitet so ideal auf die späteren Herausforderungen im Informatikstudium vor." Holger Hermanns, Universität des Saarlandes
Caracteristici
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: sn.pub/extras