Semesterside for INF1800 - Høst 2009
Eksamensressurser
Eksamensoppgave
Forelesninger
Diverse
Logiske smuler
- Ekstensjonal-intensjonal
- Logikere
- Freges fire nivåer
- Språk og kalkyle
- Kompletthet
- Mekanisering
- Antagelser
- Turings analyse
- Universell maskin
- Avgjørbarhet
- Stoppeproblemet
- Gyldighet er ikke avgjørbart
- Pålitelighet
- Kompleksitet
- Busy beaver