Informatik I (WiSe 2021/22)

Veranstaltungszeitplan

Hinweis

Vorlesungsformat:

Die Vorlesung findet in Präsenz im Hörsaal M1 montags und donnerstags in der Zeit von 14:15 Uhr bis 15:45 Uhr statt. Weitere Informationen finden Sie im Learnweb.

Learnweb-Kurs:

Die Einschreibung in den Learnweb-Kurs ist  unter https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=54966 möglich.

Anmeldung zu den Tutorien:

Zu der Vorlesung gibt es eine begleitende Übung. Die Anmeldung zu der Übung sowie die Vergabe der Plätze erfolgen über das Learnweb. Genauere Informationen hierzu werden im Learnweb-Kurs  und in der ersten Vorlesung  (11.10.2021, 14:15-15:45 Uhr) bekannt gegeben.

Nachteilausgleich:

Studierende mit Beeinträchtigungen haben Anspruch auf Nachteilsausgleich bei Studien- und Prüfungsleistungen. Sollten Sie zu diesem Personenkreis gehören und einen Nachteilsausgleich geltend machen wollen, beachten Sie bitte folgenden Hinweis: Um die Organisation der Prüfung auf eventuell notwendige Nachteilsausgleiche anpassen zu können (z. B. durch zusätzliche Raumbuchungen oder auch zusätzliches Aufsichtpersonal), muss der Nachteilsausgleich so rechtzeitig beim Prüfungsamt beantragt worden sein, dass spätestens eine Woche vor dem Klausurtermin die Genehmigung(!) des Antrags vorgelegt werden kann. Nur dann ist es uns möglich, auf diese berechtigten Ansprüche zu reagieren. Der Antragsprozess dauert in vielen Fällen mehrere Monate. Ansprechpartner finden Sie auf der Learnweb-Seite.

Beschreibung

Lehrinhalte:

• Übersicht über Programmiersprachen
• Einführung in die objektorientierte Programmiersprache Java
• Einführung in die funktionale Programmiersprache Haskell
• Semantik von Programmiersprachen

Erworbene Kompetenzen:

Ziel des Moduls ist der Erwerb der Fähigkeiten,

• mit den in der Informatik gebräuchlichen Abstraktions- und Formalisierungsmechanismen
  umzugehen,
• Programme in höheren Programmiersprachen (funktional und objektorientiert) zu entwickeln,
• Grundprinzipien und -paradigmen von Programmiersprachen zu verstehen.

Literatur

• Christian Ullenboom: Java ist auch eine Insel, Rheinwerk Verlag, 2017. (ältere Auflage frei verfügbar unter: http://openbook.rheinwerk-verlag.de/javainsel/)
• M. Block, A. Neumann: Haskell-Intensivkurs: Ein kompakter Einstieg in die Funktionale Programmierung, Springer, 2011.
• G. Winskel: The Formal Semantics of Programming Languages, MIT Press, 1993.

Dozenten

• Prof. Dr. Herbert Kuchen (verantwortlich)
• Marius Kühnemund (begleitend)