Unterschiede zwischen den Revisionen 74 und 75
Revision 74 vom 2011-11-24 10:13:09
Größe: 2266
Kommentar:
Revision 75 vom 2011-12-28 18:31:10
Größe: 2266
Kommentar:
Gelöschter Text ist auf diese Art markiert. Hinzugefügter Text ist auf diese Art markiert.
Zeile 7: Zeile 7:
## HASKELL
||<rowspan=2 tablestyle="width: 100%; margin: 0px" style="padding: 0px; background-color: #00b8ff; border-color: #00b8ff; width: 10px"> ||<style="border-bottom-style: none; padding: 0.2em 1em 0.3em 32px; font-weight: bold; font-size: 180%"> Haskell ||
||<style="border-top-style: none; padding: 0em 2em 0.5em 32px"> <<Include(^Programmierworkshop/Haskell/termine/[^/]*$, ,from="^## HEADER // VERLAUF", to="^## END // VERLAUF", sort=descending, items=1)>> ||
<<BR>>
 
Zeile 19: Zeile 24:
## HASKELL
||<rowspan=2 tablestyle="width: 100%; margin: 0px" style="padding: 0px; background-color: #00b8ff; border-color: #00b8ff; width: 10px"> ||<style="border-bottom-style: none; padding: 0.2em 1em 0.3em 32px; font-weight: bold; font-size: 180%"> Haskell ||
||<style="border-top-style: none; padding: 0em 2em 0.5em 32px"> <<Include(^Programmierworkshop/Haskell/termine/[^/]*$, ,from="^## HEADER // VERLAUF", to="^## END // VERLAUF", sort=descending, items=1)>> ||
<<BR>>
 

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++

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.



Weitere bereits gebuchte Termine

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

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