FREE PPDs (Post-Prüfungs-Drinks) @FsInf am 29.01.2019

Am 29.1. erreicht die Prüfungszeit einen Höhepunkt - Analysis VO, Betriebssysteme UE, Datenbanksysteme VO-Teil,...
Bei so viel zum Strebern ist es klar, dass auch der Durst nach der Prüfung steigt.
Deshalb gibt's am 29.1.2019 ab 14:00 GRATIS Getränke in der FsInf - Bier, Mate, usw. so lange der Vorrat reicht :)
 
in diesem Sinne, egal wie eure Prüfungsvorbereitung aussieht, hier ein paar Vorschläge für die Nachbereitung:
 
Egal ob lieber in PL/SQL...
 
CREATE OR REPLACE PROCEDURE EXAM(t_studi studi) BEGIN
   v_result boolean;
   v_result := write_exam(studi);
   IF v_result  = TRUE OR v_result = FALSE THEN
       SELECT beer INTO studi FROM fsinf.fridge WHERE 1=1;
END;
 
... oder C...
 
#include <stddrink.h>
 
int main(int argc, char** argv){
    int result = write_exam(studi, exam);
    if(result || !result){
        goto fsinf;
    }
    return 1;
    fsinf:
        do{
            get_free_drink(studi, drink);
        } while(--available_drinks > 0);
    return 0;
}
 
... oder doch eher abstrakter ...
 
Axiom: prüfung(0) = prüfung(1) = 1, prüfung(n) = prüfung(n - 1) + 1
Axiom: free_drinks(n) = 2^n
Induktionsanfang n = 1:
free_drinks(n) > prüfung(n) --> 2 > 1, true
 
Allgemeiner Fall:
free_drinks(n + 1) > prüfung(n + 1)
2^n+1 > n
q.e.d
(get drinks!)
 
... schaut's vorbei!