course: Utsagnslogikk og Bevis

List of chapters

Logiske konnektiver, Logisk konsekvens, Gyldige argument, Oppfyllbarhet, Falsifiserbarhet, Tautologi, Sannhetsverditabeller

Chapter
Mengdelære
Utsagnslogikk og Bevis
Relasjoner og funksjoner
Grafar
Førsteordens Logikk
Beregnbarhet
Kombinatorikk og Sannsylegheit
Informasjonsteori