News

First Day and Overview

Written on 12.03.22 by Naya Rudolph

Only a few days left until the start of the repetitorium!

We will begin at 10:00 am every day and end at 05:00 pm with a lunch break from 12:00 am to 01:00 pm. Specific timings are available in the timetable section and will be announced again on the first day.

For everyone joining us… Read more

Only a few days left until the start of the repetitorium!

We will begin at 10:00 am every day and end at 05:00 pm with a lunch break from 12:00 am to 01:00 pm. Specific timings are available in the timetable section and will be announced again on the first day.

For everyone joining us on-site:

We will meet up on Monday 14.03 at 9:50 am in front of the Main Entrance of E2.5. We will then go together to the "Zeichensaal".

For everyone joining us online:

You can join us at the same time via this Zoom link:

https://cs-uni-saarland-de.zoom.us/j/7757189238?pwd=VFpkYUJ3ZURWUTdFaVZWOUNOQy93UT09

 

Here is a short topic overview for the course:

1. Ocaml Basics and Polymorphism

2. Constructor types (lists and trees)

3. Parsing and lexing

4. Syntax, semantik and the interpreter

5. Inductive proofs

6. Arrays, Cells and Sorting

7. Queues and Stacks

8. Recap

Please remember that there are still Corona regulations in place at Uni so make sure you wear a mask and keep your distance.

Thank you!

Your Prog1 Revision Course Team

----

Nur noch wenige Tage bis das Repertorium losgeht!

Wir beginnen jeden Tag um 10:00 und bieten Veranstaltungen bis 17:00 an. Außerdem wird es eine Mittagspause von 12:00 bis 13:00 geben. Einen genaueren Zeitplan findet ihr in der Timetables Section des CMS und werden wir am ersten Tag noch einmal bekannt geben.

Für unsere Präsenzteilnehmer:

Wir treffen uns um 9:50 am Montag den 14.03 vor dem Haupteingang von E2.5 und gehen dann gemeinsam zum "Zeichensaal".

Für unsere Onlineteilnehmer:

Ihr könnt mit diesem Zoomlink dem ersten Meeting beitreten:

https://cs-uni-saarland-de.zoom.us/j/7757189238?pwd=VFpkYUJ3ZURWUTdFaVZWOUNOQy93UT09

Außerdem hier ein kurzer Überblick über die Themenauswahl:

1. Ocaml Grundlagen und Polymorphismen

2. Konstruktoren (Listen und Bäume)

3. Parsing und Lexing

4. Syntax, Semantik und der Interpreter

5. Induktive Beweise

6. Arrays, Cells und Sortieralgorithmen

7. Queues und Stacks

8. Recap

Bitte denkt daran, dass weiterhin die aktuellen Coronaregeln an der Uni gelten. Also bitte tragt weiterhin eine Maske innerhalb der Gebäude und achtet auf die Abstandsregelungen.

Vielen Dank

Euer Prog1 Repetitoriumsteam

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