PPDs (Post-Prüfungs-Drinks) @ THAT TREE am 2024-05-24

Am 24.5. gibt es eine lokale Häufung von Prüfungen: Parallel Computing, Theoretische Informatik, Datenbanksysteme,…

Bei so viel zum Strebern ist es klar, dass auch der Durst nach der Prüfung steigt.

Deshalb gibts am 2024-05-24 ab 19:00 Post-Prüfungs-Drinks (lies: Bachelor-get-together) bei THAT TREE. Die ersten 2 Paletten Bier gehen auf uns. :)

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;
  ENDIF
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_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: drinks(n) = 2^n
Induktionsanfang n = 1:
drinks(n) prüfung(n) --2 1, true
Allgemeiner Fall:
drinks(n + 1) prüfung(n + 1)
2^n+1 n
q.e.d
(get drinks!)

… schaut vorbei!