Mathematik für Informatiker I

Die Methode der Mathematik

Häftad, Tyska, 1981

AvBruno Buchberger,F. Lichtenberger

709 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

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

Häftad

1 809 kr

Correct Software in Web Applications and Web Services

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

Inbunden

689 kr

Correct Software in Web Applications and Web Services

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

Häftad

709 kr

Artificial Intelligence — Eine Einführung

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

Häftad

639 kr

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Häftad

689 kr

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

Bruno Buchberger

Häftad

709 kr

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

Häftad

689 kr

Computer Aided Systems Theory - EUROCAST 2001

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

Häftad

1 409 kr

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

Inbunden

2 089 kr

Hagenberg Research

Häftad

2 089 kr

Du kanske också är intresserad av

Bibliography on Abstract Data Types

B. Kutzler, F. Lichtenberger

Häftad

1 409 kr

History of German Theology in the Nineteenth Century

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

Häftad

509 kr

History of German Theology in the Nineteenth Century

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

Inbunden

649 kr

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

Häftad

689 kr

Hagenberg Research

Inbunden

2 089 kr

Artificial Intelligence — Eine Einführung

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

Häftad

639 kr

Computer Aided Systems Theory - EUROCAST 2001

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

Häftad

1 409 kr

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Häftad

689 kr

Hagenberg Research

Häftad

2 089 kr

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

Häftad

1 809 kr

Mathematik für Informatiker I

Die Methode der Mathematik

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Du kanske också är intresserad av

Loading component...

Loading component...

Mathematik für Informatiker I

Die Methode der Mathematik

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Du kanske också är intresserad av

Akademibokhandeln

Hjälp

Tjänster

Erbjudanden

Inspiration