SE3: Unterschied zwischen den Versionen

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen
(Links zu Webseiten hinzugefügt)
(link für WS14/15 angepasst (Logik))
 
Zeile 4: Zeile 4:


Aktuelle (WiSe 13/14) SE3-Funktional-Webseite: [http://kogs-www.informatik.uni-hamburg.de/~dreschle/teaching/Uebungen_Se_III/Uebungen_Se_III.html] (Übungsmaterialien)<br />
Aktuelle (WiSe 13/14) SE3-Funktional-Webseite: [http://kogs-www.informatik.uni-hamburg.de/~dreschle/teaching/Uebungen_Se_III/Uebungen_Se_III.html] (Übungsmaterialien)<br />
Aktuelle (WiSe 13/14) SE3-Logik-Webseite: [http://nats-www.informatik.uni-hamburg.de/Prolog1314/WebHome]
Aktuelle (WiSe 14/15) SE3-Logik-Webseite: [http://nats-www.informatik.uni-hamburg.de/Prolog1415/WebHome]


== Allgemeines zur Lehrveranstaltung ==
== Allgemeines zur Lehrveranstaltung ==

Aktuelle Version vom 29. Oktober 2014, 11:40 Uhr

SE 3 ist ein Modul im Bachelorstudiengang.

Aktuelles[Bearbeiten]

Aktuelle (WiSe 13/14) SE3-Funktional-Webseite: [1] (Übungsmaterialien)
Aktuelle (WiSe 14/15) SE3-Logik-Webseite: [2]

Allgemeines zur Lehrveranstaltung[Bearbeiten]

Lehrveranstaltungsform[Bearbeiten]

  • 2 SWS Vorlesung
  • 2 SWS Übung

Voraussetzungen[Bearbeiten]

Literatur[Bearbeiten]

Siehe auch[Bearbeiten]

  • Die Teile Logikprogrammierung und Funktionale Programmierung hießen früher P1.
  • Scheme (für die funktionale Programmierung)