Einführung in die Programmierung

Transkript

1 Einleitung Gliederung Einführung in die Programmierung Wintersemester 08/09 Zum Begriff Informatik Zum Begriff Algorithmus Zum Begriff Programmieren Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering Fakultät für Informatik TU Dortmund Was ist Informatik? Was ist ein Algorithmus? Algorithmus Erste Näherung: Lösung? Die Informatik handelt vom maschinellen lösen. bzw. Algorithmus: (anschaulich) Beschreibung eines Weges vom zur Lösung. Maschine Die Informatik ist die Wissenschaft von der methodischen Beherrschung algorithmisch lösbarer e. Randbedingungen:. Der Weg muss formal so präzise definiert sein, dass er im Prinzip von einer Maschine (rein mechanisch) gegangen werden kann.. und Lösung müssen vorher formal spezifiziert werden.

2 Algorithmus: Beispiele Algorithmus: Formalere Definition Algorithmen-ähnlich: Kochrezepte Bastelanleitungen Partituren Algorithmen aus der Schulzeit: schriftliche Addition zweier Zahlen schriftliche Multiplikation zweier Zahlen - Selten exakt ausformuliert - Interpretationsspielräume - Unschärfe ( fuzzy ), Vagheit Ein Algorithmus gibt an, wie Eingabedaten schrittweise in Ausgabedaten umgewandelt werden. Er beschreibt also eine Abbildung f: E A von der Menge der Eingabedaten E in die Menge der Ausgabedaten A und wie die Abbildung zu berechnen ist. Ein Algorithmus wird korrekt genannt, wenn er. den spezifizierten Zusammenhang zwischen E und A für alle Eingaben aus E erfüllt und wenn er. terminiert. 6 Beispiel: Finde jüngste Person hier im Raum analyse Annahme: Es sind n Personen im Raum Formulierung jüngste Person eindeutig? Nein! a) Genauigkeit der Altersangabe in Sekunden oder Tage oder Jahre? b) Es könnten Personen gleichen Alters im Raum sein! zu a) Annahme: Jahre zu b) Reihenfolge der Personen festlegen; wähle. Person, die minimales Alter hat Spezifikation Gegeben: Folge von n Altersangaben a in Jahren, n Gesucht: a j = min(a ), wobei j die erste Stelle in der Folge sei, an der das Minimum auftritt Algorithmenentwurf Gegeben: Folge von n Altersangaben a in Jahren, n Gesucht: a j = min(a ), wobei j die erste Stelle in der Folge sei, an der das Minimum auftritt () [ Wähle. Kandidat ] Setze j = und x = a j. [ Suchlauf ] Setze i =. Solange i n gilt, falls a i < x, dann setze j = i und x = a j. [ jetzt gilt a j = min(a,, a i ) ] erhöhe i um () [ Ausgabe ] Person j mit Alter x ist eine jüngste Person 7 8

3 Beispiel Korrektheit Gegeben: Folge von 8 Altersangaben,,,, 8,, 8, Behauptung: Der Algorithmus ist korrekt. () j Beweis: Wenn der Algorithmus anhält, dann ist a) a j = min(a,, a i ) mit i n. Das gilt für i = nach Schritt () und während des Suchlaufs invariant für alle i an der angegeben Stelle b) j ist die erste Stelle, an der (a) gilt, weil im Fall a i = x kein Austausch mehr stattfindet, sondern nur bei a i < x. Der Algorithmus hält an, nachdem i = n war. 8 8 q.e.d. 9 0 Effizienz Wir messen den Zeitaufwand in Einheiten E. Aktion Setze j =, x = a j Setze i = Test i n Test a i < x E n - Setze j = i, x = a j E A Erhöhe i Aufwand E E E E Häufigkeit der Aktion n n - Insgesamt also: T(n) = + + n + (n-) + A + (n-) E = (n + A + ) E Effizienz T(n) = (n + A + ) E Welche Werte kann A annehmen? Hier: zwei Szenarien. Schlimmster Fall (engl. worst case): A = n d.h., das Alter aller Personen ist paarweise verschieden und es ist in der Aufzählung absteigend sortiert T max (n) = (n ) E. Bester Fall (engl. best case): A = 0 d.h., erste Person in der Aufzählung ist bereits eine jüngste Person T min (n) = (n + ) E

4 Vom zur Maschine Schwerpunkte der Veranstaltung Erfahrung & Kreativität Algorithmus analyse Spezifikation Algorithmenentwurf Vorlesung + Übung (ggf. Praktikum) Handwerk Korrektheit / Verifikation Effizienzuntersuchungen BSc Informatik DAP Programmieren (kodieren) Vorlesung Compiler #include <iostream> using namespace std; int main() { cout << Hi! ; return 0; Testen / Fehlerbeseitigung Wartung / Pflege Übung (ggf. Praktikum) } Maschine Programm Programmiersprachen Programmiersprachen Vorbemerkungen Denken Sprache Fachsprachen für komplexe Sachverhalte mit akzeptablen Aufwand für Fachleute Programmiersprache syntaktische Form, um lösungen zu beschreiben muss von Maschine interpretiert werden können der Programmierer muss genau wissen, wie die Maschine die vereinbarte Sprache interpretiert! Historisches in Kürze: In den 0er Jahren: Präzisierung von berechenbaren Funktionen, Algorithmus, Turing-Maschine, μ-rekursive Funktion, λ-kalkül, In den 0er Jahren: reale technische Realisierung von Rechenmaschinen (von-neumann) Konrad Zuse (Z), Howard Aiken (Mark I), Eckert/Mauchly (ENIAC), zuerst: Programmierung in Maschinensprache (oder mit Kabeln) dann: Assemblersprachen Ersetzung von Zahlen (Maschinencode) durch mnenomische Bezeichnungen leichter zu merken, z.b. ADD, JMP, BNE, darauf aufbauend: höhere Programmiersprachen sind abstrakter, ermöglichen komplexe Sachverhalten einfacher auszudrücken Übersetzungsalgorithmen erlauben Rückführung auf niedere Sprachen Compiler, Assembler, 6

5 Programmiersprachen Klassifikation nach Denkweisen (Paradigmen) Imperativ / prozedural FORTRAN, BASIC, PASCAL, C, Funktional LISP, SCHEME, HASKELL, Relationen- oder Logik-bezogen PROLOG, Objektorientiert Smalltalk, C++, Java, C#, Mehr dazu am Semesterende, wenn Sie C und C++ kennen gelernt haben! 7