aktuelle Planung für die nächsten Termine

<!>

Bitte vor Antritt zum Workshop noch einmal prüfen, ob auch alle benötigten Komponenten installiert sind.

Eine vollständige Liste benötigter Programme findet sich unter dem Link software.

Haskell

Programmierworkshop/Haskell/termine/2013-10-26

Grundzüge der Logik

TITUS-Forum, Clubraum 8

26. Oktober 2013, 10.00 Uhr

Grundzüge der Logik I: Logisches Schließen

  • Natürliches Schließen: Junktorenlogik
  • Natürliches Schließen (Quantorenlogik 1. Stufe)
  • Natürliches Schließen (Quantorenlogik Höherer Stufe)

Lehrbuch: Essler/Martínez, Grundzüge der Logik, Band I, Frankfurt (Vittorio Klostermann)

Programmierworkshop/Haskell/termine/2013-10-26/verlauf



Java

Programmierworkshop/Java/termine/2012-09-22

Java / Scala

TITUS-Forum, Clubraum 8

Der Java-Workshop fällt leider für dieses Jahr vorläufig bis auf weiteres aus.

Programmierworkshop/Java/termine/2012-09-22/verlauf



C/C++

Programmierworkshop/C/termine/2012-05-26

C/GTK+

Titus-Forum Clubraum 8

26. Mai 2012

- Termin ist ausgefallen -

Programmierworkshop/C/termine/2012-05-26/verlauf



Python


Weitere bereits gebuchte Termine

Normalerweise jeder 4. Samstag im Monat, ab 10 Uhr, TITUS-Forum (Nordwestzentrum), Clubraum 8