Mathematik für Informatiker I

Die Methode der Mathematik

Häftad, Tyska, 1981

Av Bruno Buchberger, F. Lichtenberger

739 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-11-01
Mått170 x 244 x 19 mm
Vikt581 g
FormatHäftad
SpråkTyska
Antal sidor315
Upplaga2
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540111504

Tillhör följande kategorier

Die Methode der Mathematik.- Die Methode der Mathematik.- Beispiel: Ein Schaltnetz.- Der Vorgang des Problemlösens: Übersicht.- Fallstudie: Dynamische Programmierung.- Reales Problem: Optimaler Einsatz von Investitionen.- Problemanalyse, Modellproblem.- Erster Lösungsversuch.- Kritische Beurteilung des Lösungsverfahrens und Anwendung.- Neuformulierung des Problems.- Zweiter Lösungsversuch.- Verwendung von gespeichertem Wissen.- Kritische Beurteilung des verbesserten Lösungsverfahrens und Anwendung.- Dokumentation und Präsentation der Lösung.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse.- Zur Arbeit mit der Literatur.- Zur Präsentation und Dokumentation von erarbeiteten Problemlösungen.- Zur Sprache.- Übungen und Ergänzungen.- Fallstudie: Sortieren.- Vorgelegtes Problems Sortieren einer Kartei.- Problemanalyse, Modellproblem.- Entwurf eines Lösungsverfahrens.- Kritische Beurteilung des Lösungsverfahrens.- Literatursuche.- Dokumentation des Lösungsverfahrens.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse: Standardmodelle.- Das Standardmodell „Menge“.- Zur Problemanalyse und zum strukturierten Entwurf von Lösungsverfahren.- Zum Entwurf von Lösungsverfahren: Korrektheitsbeweise für Programme.- Übungen und Ergänzungen.- Fallstudie: Komplexitätsanalyse.- Vorgelegtes Problem: Komplexitätsanalyse e’ines Sortierprogramms.- Problemanalyse, Modellproblem.- Lösung des Problems.- Verwendung der Literatur.- Dokumentation der Lösung.- Übungsarbeit.- Methodische Analyse der Fallstudie.- Zur Problemanalyse.- Zur Technik des Problemlösens: Standardprobleme.- Weitere Grundbegriffe aus der Mengenlehre.- Zur Beweistechniks: Induktionsbeweise.- Zur Beweistechnik: Der Umgang mit dem ?- und ? -Zeichen.-Zur Beurteilung von Algorithmen: Komplexitätsanalysen.- Standardprobleme der elementaren Kombinatorik.- Übungen und Ergänzungen.- Fallstudie: Ein Nimmspiel.- Das Problem.- Problemanalyse.- Erarbeitung der Bestimmungsstücke des Problems.- Ergebnis der Problemanalyse.- Mehr Wissen über die beteiligten Begriffe.- Beweis der Vermutungen.- Ein Algorithmus, der auf dem neuen Wissen aufbaut.- Methodische Analyse der Fallstudie.- Zur Problemanalyse: Explizite Entscheidungsprobleme.- Zur Problemanalyse: Implizite Probleme, Datentypen.- Zur Technik des Problemlösens: Beweisen.- Übungen und Ergänzungen.- Literatur zum Thema dieser Vorlesung.- Zitierte Literatur.- Symbolverzeichnis.- Stichwortverzeichnis.

Mer från samma författare

Gröbner Bases and Applications

Del 251

Gröbner Bases and Applications

Burchberger Winkler, Burchberger/Winkler, Bruno Buchberger, Franz Winkler, Bruno (Johannes Kepler Universitat Linz) Buchberger, Franz (Johannes Kepler Universitat Linz) Winkler

1 839 kr

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

719 kr

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

739 kr

Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

659 kr

Mathematical Knowledge Management

Del 2594

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

719 kr

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Del 203

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings

Bruno Buchberger

739 kr

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

719 kr

Computer Aided Systems Theory - EUROCAST 2001

Del 2178

Computer Aided Systems Theory - EUROCAST 2001

Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire

1 459 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 169 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 169 kr

Du kanske också är intresserad av

Bibliography on Abstract Data Types

Bibliography on Abstract Data Types

B. Kutzler, F. Lichtenberger

1 459 kr

Vitön : den fristående fortsättningen på Expeditionen

Vitön : den fristående fortsättningen på Expeditionen

399 kr

History of German Theology in the Nineteenth Century

History of German Theology in the Nineteenth Century

F 1832-1899 Lichtenberger, F. 1832-1899 Lichtenberger, F. Lichtenberger

659 kr

Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

719 kr

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

719 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 169 kr

Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost

659 kr

Computer Aided Systems Theory - EUROCAST 2001

Del 2178

Computer Aided Systems Theory - EUROCAST 2001

Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire

1 459 kr

Mathematical Knowledge Management

Del 2594

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

719 kr

Hagenberg Research

Hagenberg Research

Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger

2 169 kr