English web site
TDDC36 Logik
HT2
Här finns lektionsmaterial i form av "uppmjukningsövningar" till några av lektionerna, samt ett par sammanställningar på svenska av begrepp och metoder. Övningarna är tänkta att tjäna som förberedelse till de övningar som finns i boken.
- Lektion 1 (semantiska tablåer)
- Lektion 2 (Gentzen, Hilbert)
- Lektion 3 (resolution)
- Lektion 8 (PTL, uppdaterad 2008-12-02)
- Sammanfattning av begrepp på svenska
- Frågeställningar och metoder inom logik
Sidansvarig: Peter Dalenius
Senast uppdaterad: 2008-12-02
