Veranstaltungsmaterial

Software

Videomitschnitte der Vorlesung

Alle Videomitschnitte der Vorlesung aus dem Wintersemester 2016/2017 finden Sie hier.

Die relevanten Inhalte zur Vorbereitung auf die einzelnen Frage-und-Antwort-Runden entnehmen Sie bitte der folgenden Aufstellung.
Datum   Skript   Folien   Video
    von bis   von bis   Nr Link von bis
13.11.2020   8 23   11 42   1 Einordnung der Logikprogrammierung 00:29:22 01:26:45
    24 40   43 89   2 Relationale Datenbanken 1 00:00:00 01:15:28
20.11.2020   40 45   90 101   3 Relationale Datenbanken 2 00:00:27 00:30:45
    46 58   102 130   3 Deduktive Datenbanken 1 00:30:35 01:28:54
27.11.2020   59 63   132 142   4 Deduktive Datenbanken 2 00:06:50 00:38:18
    64 71   143 160   4 Rekursive Datenstrukturen 1 00:38:18 01:20:08
4.12.2020   71 77   161 173   5 Rekursive Datenstrukturen 2 00:02:50 00:55:23
    78 82   174 189   5 Arithmetik, funktional 00:55:23 01:28:43
11.12.2020   82 93   190 216   6 Rekursive Arithmetik 00:04:52 01:00:05
    95 100   217 228   6 Verkettete Listen 1 01:00:05 01:29:45
18.12.2020   100 107   229 242   7 Verkettete Listen 2 00:05:27 00:44:27
    -- --   -- --   7 Exkurs: append in der funktionale Programmierung (nur für Interessenten) 00:44:27 00:50:17
    106 107   241 242   7 Verkettete Listen 2a 00:50:17 00:51:23
    107 111   243 252   7 Standardprädikate zur Listenverarbeitung 1 00:51:23 01:23:05
    112 112   253 254   8 Standardprädikate zur Listenverarbeitung 2 00:02:27 00:05:48
8.1.2021   113 123   255 290   8 Anwendungen der Listenverarbeitung 1 00:05:49 01:24:49
    123 124   291 292   9 Anwendungen der Listenverarbeitung 2 00:00:00 00:07:00
15.1.2021   125 133   293 314   13 Differenzlisten 1 00:35:10 01:27:35
    133 136   315 322   14 Differenzlisten 2 00:08:05 00:27:25
    136 145   323 346   14 Definite Clause Grammar 00:27:25 00:58:35
22.1.2021   146 151   351 365   9 Prolog-Datentypen 00:07:00 00:28:21
    151 154   366 375   9 Variableninstanziierung 00:28:21 00:41:20
    155 160   376 390   9 Suchraummanipulation 00:41:20 01:09:11
    161 161   391 392   9 Nebeneffekte 01:09:11 01:16:50
    161 164   393 396   9 Prädikate höherer Ordnung, Überblick, call 01:16:50 01:27:13
    164 165   397 401   10 Negation 00:04:53 00:11:35
29.1.2021   165 168   402 429   10 Steuerstrukturen, Resultatsaggregation 00:11:35 00:49:26
    169 176   430 436   10 Metaprogrammierung 00:49:26 01:07:55
    177 --   437 --   10 Ablaufprotokollierung 1 01:07:55 01:19:15
    -- 179   -- 444   11 Ablaufprotokollierung 2 00:07:00 00:16:25
    179 181   445 450   11 Zyklenüberwachung 00:16:25 00:27:49
5.2.2021   194 207   484 513   11 Interpreter für funktionale Programme 1 00:27:50 01:33:00
    208 213   514 525   12 Interpreter für funktionale Programme 2 00:20:35 00:48:40
    213 215   526 530   12 Rekursive Funktionen 00:48:40 01:12:55
12.2.2021   215 217   531 535   12 Funktionen höherer Ordnung 1 01:12:55 01:27:20
    213 218   536 539   13 Funktionen höherer Ordnung 2 00:02:35 00:21:00
    220 221   540 541   13 Funktionen höherer Ordnung 2 00:21:20 00:34:55

Übungsaufgaben

Gelungene Beispiellösungen

Programme und Daten

-- WolfgangMenzel - 17 Dec 2020
  • Navigation

 
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback