Unterschiede zwischen den Revisionen 60 und 61
Revision 60 vom 2011-08-10 11:51:07
Größe: 1717
Autor: Bernd
Kommentar:
Revision 61 vom 2011-08-10 11:53:21
Größe: 1726
Autor: Bernd
Kommentar:
Gelöschter Text ist auf diese Art markiert. Hinzugefügter Text ist auf diese Art markiert.
Zeile 5: Zeile 5:

{{{#! wiki caution
Bitte __vor__ Antritt noch einmal prüfen, ob auch alle [[Programmierworkshop/software|benötigten Komponenten]] installiert sind.
}}}
Zeile 22: Zeile 18:

<<BR>>

{{{#!wiki caution
Bitte __vor__ Antritt noch einmal prüfen, ob auch alle [[Programmierworkshop/software|benötigten Komponenten]] installiert sind.
}}}

aktuelle Planung für die nächsten Termine

nächste Termine: 3.9.2011, 24.9.2011 jeweils TITUS-Forum, Clubraum 8, 10.00 Uhr - 18.30 Uhr

C/C++

geplante Inhalte

... befinden sich aktuell noch in Bearbeitung


{i}

Der nächste Termin für den C Workshop steht derzeit leider noch nicht genau fest.



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



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



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

lugfrankfurt: Programmierworkshop/aktuell (zuletzt geändert am 2017-03-19 14:00:09 durch ChristophZimmermann)