Weiter zum Menü

Universität Paderborn - Home

Universität Paderborn

Die Universität der Informationsgesellschaft

Weiter zum Ende

Grundlagen der Programmiersprachen SS 2016 - Folienverzeichnis

0. Einleitung `[-]`
Grundlagen der Programmiersprachen(001) Ziele (002) Inhalt (003) Bezüge zu anderen Vorlesungen (004) GPS-Literatur (005) Organisation: Das GPS-Skript im WWW (006) Erläuterte Folien im Skript (007) Organisation in diesem Semester (008)
1. Geschichte, Klassifikation, Eigenschaften `[-]`
1. Einführung (101) 1.1 Zeitliche Einordnung, Klassifikation von Programmiersprachen (102) Klassifikation: Imperative Programmiersprachen (103a) Klassifikation: objektorientierte Programmiersprachen (103b) Klassifikation: logische Programmiersprachen (103c) Klassifikation: funktionale Programmiersprachen (103d) Klassifikation: Skriptsprachen (103e) Klassifikation: Auszeichnungssprachen (103f) Eine Funktion in verschiedenen Sprachen (104) Hello World in vielen Sprachen (105a) Hello World in vielen Sprachen (105b) Sprachen für spezielle Anwendungen (106) 1.2 Implementierung von Programmiersprachen; Übersetzung (108) Interpretation (108a) Testhilfe: Debugger (108b) Präprozessor CPP (109) Ausführung von Java-Programmen (110) 1.3 Dokumente zu Programmiersprachen (111) Beispiel für ein Standard-Dokument (112) Beispiel für eine formale Sprachdefinition (113) Beispiel für ein Benutzerhandbuch (114) Beispiel für ein Lehrbuch (115) 1.4 Vier Ebenen der Spracheigenschaften (116) Beispiel für die Ebene der Grundsymbole (117a) Beispiel für die Ebene der Syntax (117b) Beispiel für die Ebene der statischen Semantik (117c) Beispiel für die Ebene der dynamischen Semantik (117d) Statische und dynamische Eigenschaften (118) Dynamische Methodenbindung in Java (118a) Fehler im Java-Programm (119) Fehlermeldungen eines Java-Übersetzers (120) Zusammenfassung zu Kapitel 1 (121)
2. Syntaktische Strukturen `[-]`
2. Syntax (201) 2.1 Grundsymbole (202) Literale und Spezialsymbole (202a) Trennung von Grundsymbolen (203) 2.2 Kontext-freie Grammatiken; Definition (204) KFG Beispiel: Grammatik für arithmetische Ausdrücke (204a) Ableitungen (205) Beispiel für eine Ableitung (206) Ableitungsbäume (207) Mehrdeutige kontext-freie Grammatik (208) Ausdrucksgrammatik (209) Schemata für Ausdrucksgrammatiken (210) Notationen für kontext-freie Grammatiken (211) Erweiterte Notation EBNF (212) Syntaxdiagramme (213) Grammatik-Entwurf: Folgen (214) Grammatik-Entwurf: Folgen (214a) Grammatik-Entwurf: Klammern (215) Abstrakte Syntax (216) Abstrakte Ausdrucksgrammatik (217) 2.3 XML; Übersicht (219) 3 elementare Prinzipien (219a) Notation und erste Beispiele (220) Ein vollständiges Beispiel (221) Baumdarstellung von XML-Texten (222) Grammatik definiert die Struktur der XML-Bäume (223) Document Type Definition (DTD) statt KFG (224) Zusammenfassung zu Kapitel 2 (231)
3. Gültigkeit von Definitionen `[-]`
3. Gültigkeit von Definitionen (301) Definition und Bindung (302) Statische und dynamische Bindung (302a) Gültigkeitsbereich (303) Verdeckung von Definitionen (304) Beispiele für Gültigkeitsbereiche (305) Getrennte Namensräume (306) Gültigkeitsbereiche in Java (306a) Beispiele für Gültigkeitsbereiche in Java (306aa) Innere Klassen in Java: Verdeckung von lokalen Variablen (306ab) Gültigkeitsregeln in anderen Programmiersprachen (306b) Zusammenfassung zum Kapitel 3 (307)
4. Variablen `[-]`
4. Variable, Lebensdauer (401) Variable in imperativen Sprachen (402) Veränderliche und unveränderliche Variable (402a) Zuweisung (403) Stellen als Werte von Variablen (403a) Lebensdauer von Variablen im Speicher (404) Laufzeitkeller (405) Laufzeitkeller bei geschachtelten Funktionen (406) Zusammenfassung zum Kapitel 4 (407)
5. Datentypen `[-]`
5. Datentypen (501) 5.1 Allgemeine Begriffe zu Typen (502) Statische oder dynamische Typbindung (502a) Beispiele für Typregeln (502b) Streng typisiert (503) Typumwandlung (Konversion) (504) Explizite und implizite Typumwandlung) (504a) Abstrakte Definition von Typen (505) Abstrakte Definition von Typen: Beispiele (507) Kombination von Typen (508) Rekursive Definition von Typen (508a) Parametrisierte Typen (509) Polymorphe Funktionen (509a) Generische Definitionen (510) Generische Definitionen in C++ (510j) Nutzen generischer Definitionen (510n) 5.2 Datentypen in Progr.spr.; Typen mit einf. Wertemengen (511) Typen mit einfachen Wertemengen (2) (511a) Verbunde (512) Vergleich: Verbundwerte - Objekte (513) Vereinigung (undiscriminated union) (514) Vereinigung (discriminated union) (514a) Reihungen (Arrays) (515) Speicherung von Arrays durch Pointer-Bäume (516) Linearisierte Speicherung von Arrays (517) Funktionen (518) Beispiel für Verletzung der Laufzeitkeller-Disziplin (518a) Mengen (519) Stellen (Referenzen, Pointer) (520) Zusammenfassung zum Kapitel 5 (521)
6. Funktionen, Parameter `[-]`
6. Funktionen, Parameterübergabe (601) Begriffe zu Funktionen und Aufrufen (602) Ausführung eines Funktionsaufrufes (602a) Beispiel zur Parameterübergabe (603) Call-by-value (604) Call-by-reference (605) Call-by-result (606) Parameterübergabe in verschiedenen Sprachen (607) Zusammenfassung zum Kapitel 6 (608)
7. Funktionale Programmierung `[-]`
7. Funktionale Programmierung (701) Functional Programming is Fun (702) Übersicht zur funktionalen Programmierung (703) Wichtige Sprachkonstrukte von SML: Funktionen (704) Wichtige Sprachkonstrukte von SML: Funktionsaufrufe (704a) Wichtige Sprachkonstrukte von SML: Definitionen (704b) Rekursionsparadigma Induktion (705) Induktion - effizientere Rekursion (705a) Funktionsdefinition mit Fallunterscheidung (705b) Listen als rekursive Datentypen (706) Konkatenation von Listen (706a) Einige Funktionen über Listen (707) Rekursionsschema Listen-Rekursion (708) Einige Funktionen über Bäumen (709) End-Rekursion (710) End-Rekursion entspricht Schleife (710a) Technik: Akkumulierender Parameter (711) Liste umkehren mit akkumulierendem Parameter (711a) Funktionen höherer Ordnung (Parameter): map (712) Funktionen höherer Ordnung (Parameter): foldl (712a) Polynomberechnung mit foldl (713) Funktionen höherer Ordnung (Ergebnis) (714) Currying (715) Kurzschreibweise für Funktionen in Curry-Form (715a) Zusammenfassung zum Kapitel 7 (716)
8. Logische Programmierung `[-]`
8. Logische Programmierung (801) Übersicht zur logischen Programmierung (802) Prolog Übersicht (803) Prolog Sprachkonstrukte: Fakten (804) Prolog Sprachkonstrukte: Regeln (804a) Prolog Sprachkonstrukte: Anfragen (804b) Notation von Prolog-Programmen (804c) Prädikatenlogische Grundlagen (805) Resolution (806) Interpretationsschema Backtracking (807) Lösungsbaum Beispiel (808) Anwendung von Klauseln (812) Unifikation (812a) Rekursive Anwendung von Klauseln (813) Beispiel: Wege im gerichteten Graph (813a) Beispiel: Symbolische Differentiation (814) Erläuterungen zur Symbolischen Differentiation (815) Beispielrechnung zur Symbolischen Differentiation (816) Zusammenfassung zum Kapitel 8 (817)
9. Zusammenfassung `[-]`
9. Zusammenfassung (901) Zusammenfassung der behandelten Themen (903) Zusammenfassung der angestrebten Kompetenzen (1) (904) Zusammenfassung der angestrebten Kompetenzen (2) (905) Zusammenfassung der angestrebten Kompetenzen (3) (906) Zusammenfassung der angestrebten Kompetenzen (4) (907) Zusammenfassung der angestrebten Kompetenzen (5) (908)

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 01.06.2016

Weiter zum Anfang