News
First Day and OverviewWritten 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 |