Mathematik für Informatiker I

Die Methode der Mathematik

AvBruno Buchberger,F. Lichtenberger

Häftad, Tyska, 1981

560 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-11-01
Mått:170 x 244 x 19 mm
Vikt:581 g
Format:Häftad
Språk:Tyska
Antal sidor:315
Upplaga:2
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540111504

Utforska kategorier

Innehållsförteckning

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

Häftad, 1998

1 540 kr

Correct Software in Web Applications and Web Services

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

Inbunden, 2015

545 kr

Correct Software in Web Applications and Web Services

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

E-bok

2015

734 kr

Correct Software in Web Applications and Web Services

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

Häftad, 2016

562 kr

Artificial Intelligence — Eine Einführung

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

E-bok

2019

449 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, 1986

510 kr

Mathematical Knowledge Management

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Häftad, 2003

562 kr

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

Bruno Buchberger

Häftad, 1985

562 kr

Artificial Intelligence and Symbolic Computation

Bruno Buchberger, John A. Campbell

Häftad, 2004

562 kr

Artificial Intelligence and Symbolic Computation

John A. Campbell, Bruno Buchberger

E-bok

2004

693 kr

Du kanske också är intresserad av