3
0
Fork 0
mirror of https://github.com/fsr/nopanic synced 2025-04-27 10:08:26 +02:00

Mitunter die letzten Fixes:

- Im Zeitplan die Farbe der Mittagspause aufgehellt
- PA stand für Prüfungsausschuss, nicht Prüfungsamt
- ein manueller Seitenumbruch in der Modulübersicht
- ZIH etwas erweitert um Whitespace zu füllen
- Copyright Notiz und Link zum OSM Lageplan hinzugefügt
This commit is contained in:
Kilian Koeltzsch 2014-08-31 22:08:46 +02:00
parent 12c192728c
commit 80bf7c6f0a
6 changed files with 21 additions and 2 deletions

View file

@ -98,6 +98,8 @@ Neben der Aussagenlogik vermittelt das Modul die Grundlagen formaler Sprachen.
Es folgen Gedanken zu maschinellen Berechenbarkeit und zur Automatentheorie.
Turing lässt grüßen.
\newpage %TODO: I'm just here for formatting
\textbf{\menu[,]{I, M, D, Softwaretechnologie-Projekt\,}} \\
Das Projekt nimmt den größten Teil des dritten Semesters ein.
Hier muss man sein Wissen aus der Lehrveranstaltung \glqq Softwaretechnologie\grqq\ in die Tat umsetzen.