Verlauf

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


Material

Programmierworkshop/Haskell/termine/2013-10-26

Grundzüge der Logik

TITUS-Forum, Clubraum 8

26. Oktober 2013, 10.00 Uhr

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


lugfrankfurt: Programmierworkshop/Haskell/termine/2013-10-26 (zuletzt geändert am 2013-08-30 06:14:55 durch SteffenBauer)