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