Organisatorisches, Mitschriften von Betriebssysteme

Nur auf Docsity: Lade Organisatorisches und mehr Mitschriften als PDF für Betriebssysteme herunter!

Prolog

Dozentin: Wiebke Petersen

Organisatorisches

Organisatorisches: Hauptsitzungen

• Dozentin: Wiebke Petersen [email protected] Sprechstunde: (Terminkalender auf meiner Homepage)
• (^) Die Vorlesungen finden montags von 14:30-16:00 Uhr in Raum 26.11 HS 6C statt.
• (^) Alle wichtigen Informationen zur Organisation des Kurses finden Sie auf der Kurswebseite unter: https://user.phil-fak.uni-duesseldorf.de/~petersen/ WiSe1617_Prolog/WiSe1617_Prolog.html
• Bitte bringen Sie zu den Kurs- und den Übungssitzungen bitte unbedingt ausreichend Papier (mind. DinA5) und eine Stift mit!

Materialien

• In diesem Kurs (Vorlesungen und Übungen) verwenden wir ausschließlich die kostenlose Prolog-Implementierung von SWI.
• Der SWI-Prolog-Interpreter kann unter http://www.swi-prolog.org für verschiedene Betriebssysteme (Windows, Mac OS, Linux, Unix) heruntergeladen werden (bitte verwenden sie nicht die 64bit-Version).
• Zum Erstellen von Prolog-Dateien empfehlen wir entweder die Verwendung des SWI-Prolog-Editors oder eines externen Editors (bspw. Notepad++, SublimeText).
• (^) Den SWI-Prolog-Editor kann man unter http://arbeitsplattform.bildung.hessen.de/fach/ informatik/swiprolog/indexe.html herunterladen. Bitte zunächst den SWI-Prolog-Interpreter und dann erst den Editor installieren.

Kenntnisse

• (^) Es sind keinerlei Vorkenntnisse erforderlich!
• (^) Über welche Vorkenntnisse verfügen Sie?
  • (^) Welche prozedurale (imperative) Programmiersprache kennen Sie?
  • (^) Kennen Sie bereits Prolog?
  • (^) Haben Sie Kenntnisse über eine funktionale Programmiersprache (z.B. Lisp, Haskell)?
  • (^) Verfügen Sie über Kenntnisse in Logik (Aussagenlogik, Prädikatenlogik)?

Ziele

In diesem Kurs lernen Sie:

• ein Problem logisch bzw. deklarativ zu lösen.
• einfache Programme in Prolog zu schreiben.
• (^) den Umgang mit dem Prolog-Interpreter von SWI.

Meine Idee bei der Folienerstellung:

• Folien nicht nur für die Unterrichtsstunde selbst sondern auch zum Nachlesen.
• (^) Daher haben einige Folien viel Text, der nicht im Kurs „verlesen“ wird.
• (^) Es werden pro Sitzung mehr Übungsaufgaben angeboten als in den Übungssitzungen bearbeitet werden können. Diese dienen auch der Klausurvorbereitung.