Currently, no news are available

Programming 1

The lecture introduces the core concepts of programming. More specifically, it deals with data structures and algorithms, programming constructs and programming techniques, as well as the structure and realization of programming languages. While doing so, it introduces the functional programming language OCaml.

We do not assume any programming knowledge.

Literature & Tools

The lecture follows the lecture notes Introduction to Functional Programming and the Structure of Programming Languages using OCaml.
The up-to-date lecture notes are linked under the materials tab.

For gaining practical experience with OCaml and for working on the exercises, we recommend the browser-based OCaml interpreter SOOCaml.

To install an interpreter locally, we recommend following these instruction steps.


Lectures will take place Tuesdays from 2 pm to 4 pm and Thursdays from 10 am to 12 pm in the Günter Hotz lecture hall (Building E2 2), starting on 24th October 2023.

Tutorials will be given on Wednesdays throughout the day. You will be assigned to a tutorial by us during the first week of lectures and will then find the exact time and location on your personal status page.

The first tutorial will take place on Wednesday 25.10.2023.

All dates are visible in the timetable. It is kept up-to-date if anything changes.

We strongly recommend you to attend our Office Hours. There, you can work together on the weekly assignments and approach the tutors directly if you have any questions or problems. The Office Hours take place four times a week:

Monday, 12:00 SR 206, E1 1
Tuesday, 12:00 SR 106, E1 1
Thursday, 14:00 SR 015, E1 3
Friday, 14:00 SR 015, E1 3


Mock-Exam Midterm Saturday, 2nd December 2023
Midterm Saturday, 16th December 2023
Final Exam Saturday, 24th February 2024
Final Exam (Retake) Thursday, 28th March 2024

Before the Semester

Take part in the Mathematics Preparatory Course.


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.