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

Posted on 15.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!