Das wird heiß

Makarius

Programm für das vierte Treffen am 16. Juli 2015

Gepostet am 27. Mai 15 von Tim Baumann

Ingo setzt die Einführung in Kategorientheorie fort.

Makarius spielt mit ein paar Variationen von Currying in Isabelle: Das schließt sich im weitesten Sinne auch an die Kategorientheorie an, das heißt man geht mit Pfeilen, Produkten, Koprodukten etc. formal und spielerisch um.

Weitere TOPs:

  • Prozess für Themenfindung überlegen
  • Über Projekte & alles andere ratschen (in Gruppen?)