Neuigkeiten
| 03.11.2015 | Für alle Studierenden, die nicht in die Nachprüfungen müssen, sind nun die Noten eingetragen. |
| 21.10.2015 |
Die Klausurergebnisse sowie die Liste der Nachprüfungstermine hängen nun aus! Hier noch einmal der Hinweis: Studierende, die in die mündliche Nachprüfung müssen, melden sich bitte so schnell wie möglich per Mail beim Sekretariat, um ihren Termin zu bestätigen. |
| 22.10.2015 |
|
| 10.09.2015 | Die Anmeldefrist zur Wiederholerklausur wurde verlängert. Sie läuft nun bis zum 14.09.2015. |
| 13.07.2015 | Wie uns offiziell mitgeteilt wurde (und einige von Ihnen auch bereits festgestellt haben), ist die Anmeldung zur Klausur nun freigeschaltet! |
| 07.07.2015 | Wider Erwarten ist die Anmeldung zur Klausur noch nicht freigeschaltet. Wie lange sich das noch verzögert, ist unklar. Bis Ende August / Anfang September sollte es möglich sein. Wir empfehlen Ihnen, es immer mal wieder zu versuchen. |
| 25.06.2015 | Die Wiederholerklausur am 21.09.2015 findet um 11:00 Uhr im Hörsaal am Fasanengarten statt. |
| 01.06.2015 | Die Wiederholerklausur findet am 21.09.2015 statt. Die Anmeldung ist voraussichtlich ab dem 08.06.2015 freigeschaltet. Genaueres zu Uhrzeit und Ort wird noch bekannt gegeben. |
| 05.05.2015 | Die Noten sind nun für alle Studierenden im QISPOS eingetragen, die (nach der Klausureinsicht) nicht in die Nachprüfung müssen. |
| 30.04.2015 | Zur Information: Die Klausurergebnisse werden im Anschluss an die Klausureinsicht — also insbesondere vor der für Master-Bewerbungen relevanten Frist am 12.05. — eingetragen. |
| 29.04.2015 | Die Klausurergebnisse hängen nun aus! |
| 17.04.2015 |
|
| 08.04.2015 |
Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht. Vergessen Sie nicht Ihren amtlichen Lichtbildausweis! |
| 10.03.2015 | Die TGI-Noten werden voraussichtlich am 20.03.2015 eingetragen sein. |
| 10.03.2015 | Die Anmeldung zur Klausur ist noch bis zum 29.03.2015 möglich. Bitte prüfen Sie rechtzeitig, ob die Anmeldung bei Ihnen geklappt hat! |
| 26.02.2015 | Am Dienstag, 31.03.2015 bieten wir zwischen 14:00 und 15:30, im Raum -102 (Informatikgebäude, 50.34) eine Sonderübung an. Hier haben Sie die noch mal die Möglichkeit, Fragen zum Inhalt der Vorlesungen und Übungsaufgaben z u stellen. Schicken Sie uns möglichst vorab schon per eMail Fragen und Themenwünsche, die Sie gerne an diesem Termin besprochen sehen würden. Natürlich steht auch weiterhin das Forum zur Verfügung. |
| 12.01.2015 | Am Freitag, den 16.01.2015 findet die Vorlesung statt. Dafür findet am 23.01.2015 keine Vorlesung statt. |
| 30.10.2014 | Ab morgen haben Sie die Möglichkeit, am Haskell-Wettbewerb zur Vorlesung "Einführung in die Informatik 2" teilzunehmen. Falls Sie Interesse haben, gibt es am kommenden Montag, den 03.11.2014 um 13:00 Uhr im Raum 301 (Geb. 50.34) ein Vorbereitungstreffen mit Joachim Breitner. |
| 24.10.2014 | Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar. |
| 20.10.2014 | Seit heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet. Sie endet am Freitag, den 24.10.2014 um 16:30 Uhr. |
Inhalt
In der Vorlesung Programmierparadigmen lernen die Teilnehmer nichtimperative Programmierung und ihre Anwendungsgebiete kennen. Im Einzelnen werden behandelt:
- Funktionale Programmierung - rekursive Funktionen und Datentypen, Funktionen höherer Ordnung, Kombinatoren, lazy evaluation, Lamda-Kalkül, Typsysteme, Anwendungsbeispiele.
- Logische Programmierung - Terme, Hornklauseln, Unifikation, Resolution, regelbasierte Programmierung, constraint logic programming, Anwendungen.
- Parallelprogrammierung - message passing, verteilte Software, Aktorkonzept, Anwendungsbeispiele.
- Elementare Grundlagen des Compilerbaus.
Es werden folgende Programmiersprachen (teils nur kurz) vorgestellt: Haskell, Scala, Prolog, CLP, C++, X10, Java Byte Code.
Das in dieser Vorlesung vermittelte Wissen wird in den zur Vorlesung gehörenden Übungen vertieft.
Klausuren
| Klausur | Tag | Beginn | Ende | Ort |
|---|---|---|---|---|
| Hauptklausur | Donnerstag, 09.04.2015 | 14:00 Uhr | 16:00 Uhr | Hörsaal am Forum (Audimax, Gebäude 30.95) Hörsaal am Fasanengarten( HSaF, Gebäude 50.35) |
| Wiederholerklausur | Montag, 21.09.2015 | 11:00 Uhr | 13:00 Uhr |
Hörsaal am Fasanengarten(HSaF, Gebäude 50.35) |
Zuteilung Hauptklausur
| Matrikelnummer | Ort |
|---|---|
| 0000000 bis 1693000 | Hörsaal am Forum (Audimax, Gebäude 30.95) |
| 1693001 bis 9999999 | Hörsaal am Fasanengarten(HSaF, Gebäude 50.35) |
Klausur-Formalitäten
Die Klausur hat einen Umfang von 120 Minuten. Zur Teilnahme an der Klausur ist neben dem Studierendenausweis ein gültiger, amtlicher Lichtbildausweis (Personalausweis, Führerschein, Reisepass) mitzubringen!Zugelassene Hilfsmittel
Erlaubte Hilfsmittel für die Klausur sind alle Quellen in Papierform, insbesondere
- Vorlesungsfolien der Veranstaltung Programmierparadigmen
- Übungszettel und Beispiellösungen der Veranstaltung Programmierparadigmen
- Bücher, Ausdrucke und beliebige eigenen Aufzeichnungen
Jegliche Elektronik (Mobiltelefon, Notebook, etc.) ist verboten!
Vorlesung
Die Vorlesung hat den Umfang von 3 SWS. Die wöchentlichen Termine finden während folgender Zeiträume statt:
| Tag | Beginn | Ende | Ort |
|---|---|---|---|
| Mittwochs | 14:00 | 15:30 | Hertz-Hörsaal, Raum 126 (Geb. 10.11) |
| Freitags | 14:00 | 15:30 | Hertz-Hörsaal, Raum 126 (Geb. 10.11) |
Termine
| Tag | Beginn | Ende | Ort |
|---|---|---|---|
| Mittwoch, 22.10.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 24.10.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 29.10.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 31.10.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 05.11.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 07.11.2013 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 12.11.2013 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 19.11.2013 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 26.11.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 28.11.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 03.12.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 10.12.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 12.12.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 17.12.2014 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 07.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 09.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 14.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| NEU:Freitag, 16.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 21.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 28.01.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 04.02.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Freitag, 06.02.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
| Mittwoch, 11.02.2015 | 14:00 | 15:30 | Hertz-Hörsaal |
Unterlagen
Das Vorlesungsmaterial darf ausschließlich zu Zwecken genutzt werden, die in direktem Zusammenhang mit der Veranstaltung Programmierparadigmen stehen. Insbesondere die Weitergabe des hier zur Verfügung gestellten Materials an Dritte ist nicht gestattet. Vorlesungsfolien, Musterlösungen und hier veröffentlichter Quell-Code unterliegen dem Copyright des Lehrstuhls Programmierparadigmen (IPD Snelting).
Das Material kann nur aus dem Uni-Netz heruntergeladen werden. Verwenden Sie bitte den VPN-Client des SCC, falls Sie von außerhalb Zugriff benötigen.
Vorlesungsfolien
| Stand | Thema | |
|---|---|---|
| 21.10.2014 | Organisatorisches | Download |
| 21.10.2014 | Funktionale Programmierung: Einführung, Listen | Download |
| 27.10.2014 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
| 27.10.2014 | Funktionale Programmierung: Lazy Evaluation | Download |
| 29.10.2014 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
| 30.10.2014 | Haskell-Wettbewerb | Download |
| 31.10.2014 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
| 05.11.2014 | Funktionale Programmierung: Typklassen, QuickCheck | Download |
| 07.11.2014 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
| 12.11.2014 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
| 26.11.2014 | Theoretische Grundlagen: Regelsysteme, Typsysteme | Download |
| 26.11.2014 | Theoretische Grundlagen: Polymorphie | Download |
| 28.11.2014 | Logische Programmierung: Einführung, Backtracking | Download |
| 09.12.2014 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
| 09.12.2014 | Logische Programmierung: Beispielprogramme | Download |
| 09.12.2014 | Logische Programmierung: Unifikation und Resolution | Download |
| 11.12.2014 | Logische Programmierung: Spracherweiterungen, Constraint Logic Programming | Download |
| 16.12.2014 | Typinferenz | Download |
| 07.01.2015 | Parallelprogrammierung: Grundlagen | Download |
| 09.01.2015 | Parallelprogrammierung: C/C++-Wiederholung | Download |
| 14.01.2015 | Parallelprogrammierung: MPI | Download |
| 16.01.2015 | Parallelprogrammierung: Scala | Download |
| 21.01.2015 | Parallelprogrammierung: X10 | Download |
| 26.01.2015 | Compiler: Einführung | Download |
| 04.02.2015 | Compiler: Lexikalische und syntaktische Analyse | Download |
| 26.01.2015 | Compiler: Semantische Analyse | Download |
| 30.01.2015 | Compiler: Java-Bytecode und Codeerzeugung | Download |
Altklausuren
Klausuren mit Beispiellösungen.| Semester | Bestehensquote | |
|---|---|---|
| Wintersemester 2017/2018 | 71,11% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2018 | 68,66% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2018/2019 | 73,93% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2019 | 72,60% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sonderklausur Sommersemester 2020 | 71,68% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2020 | 64,84% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2020/2021 | 75,28% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2021 | 67,82% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2021/2022 | 79,67% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2022 | 73,20% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2022/2023 | 73,38% | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Sommersemester 2023 | 72,16% | Download (ohne Lösungen) |
| Download (mit Lösungen) |
Sonstiges
| Stand | Thema | Datei |
|---|---|---|
| 24.03.2014 | Beispielcompiler für Simple-Sprache | Download |
| 16.01.2014 | Beispielimplementierungen Typinferenz (Haskell, Prolog) und Unifikation (Union/Find und Robinson, Haskell) | Download |
Kneipenquiz
Kneipenquiz-Aufgaben aus dem Bereich KIT, Programmierparadigmen und Programmiersprachen.| Edition | Thema | |
|---|---|---|
| Wintersemester 2011/2012 | Programmiersprachen und Algorithmen | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2012/2013 | Historische Veröffentlichungen der Informatik | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2013/2014 | Informatik am KIT - Dissertationen | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2014/2015 | Quellcode in Film und Fernsehen | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2015/2016 | Science Fiction | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2016/2017 | Um die Ecke-Rätsel, Zitate |
Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2017/2018 | Ahnengallerie | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2019/2020 | Anagramme | Download (ohne Lösungen) |
| Download (mit Lösungen) | ||
| Wintersemester 2022/2023 | Straßen | Download (ohne Lösungen) |
| Download (mit Lösungen) |
Veranstalter
| Lehrstuhlinhaber |
|---|
| Prof. Gregor Snelting |
| Ehemalige Mitarbeiter |
|---|
| Dr.-Ing. Martin Hecker |
| Dr.-Ing. Martin Mohr |