Unterschiede zwischen den Revisionen 66 und 67
Revision 66 vom 2011-09-04 13:41:49
Größe: 2292
Autor: Bernd
Kommentar:
Revision 67 vom 2011-09-04 13:51:23
Größe: 2144
Autor: Bernd
Kommentar:
Gelöschter Text ist auf diese Art markiert. Hinzugefügter Text ist auf diese Art markiert.
Zeile 4: Zeile 4:
||<rowspan=1 tablestyle="margin: 0px; width: 100%; background-color: #eeeeee" style="background-color: #dddddd; padding: 1ex; vertical-align: top;"> <<Icon(attention.png)>> ||<style="width: 100%; padding: 1ex 1ex 0.5ex 2ex; border-bottom-style: none"> TEXT ||
||<style="width: 100%; padding: 0.5ex 1ex 1ex 2ex; border-top-style: none"> TEXT ||


||<rowspan=1 tablestyle="margin: 0px; width: 100%; bac
kground-color: #eeeeee" style="background-color: #dddddd; padding: 1ex; vertical-align: top;"> <<Icon(attention.png)>> ||<style="width: 100%; padding: 1ex 1ex 1ex 2ex"> Bitte __vor__ Antritt noch einmal prüfen, ob auch alle [[Programmierworkshop/software|benötigten Komponenten]] installiert sind. ||


||<rowspan=2 tablestyle="margin: 0px; width: 100%; background-color: #eeeeee" style="background-color: #dddddd; padding-top: 1.2ex; vertical-align: top;"> <<Icon(attention.png)>> ||<style="width: 100%; padding: 1ex 1ex 0.5ex 2ex; border-bottom-style: none"> Bitte vor Antritt zum Workshop noch einmal prüfen, ob auch alle benötigten Komponenten installiert sind. ||
||<style="width: 100%; padding: 0.5ex 1ex 1ex 2ex; border-top-style: none"> Eine vollständige Liste benötigter Programme findet sich unter dem Link [[Programmierworkshop/software|software]]. ||

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.



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