Dette emnet er erstattet av IN1150 – Logiske metoder.

Opptak av forelesninger

Dato Tema Opptak
Fredag 27. november Avslutningsfest! YouTube
Fredag 27. november Gjennomgang av prøveeksamen YouTube
Fredag 13. november Kapittel 24: Naturlig deduksjon YouTube | MP4
Onsdag 11. november Kapittel 23: Formelle språk og grammatikker YouTube | MP4
Fredag 6. november Kapittel 22: Vandringer i grafer YouTube | MP4
Onsdag 4. november Kapittel 21: Grafteori YouTube | MP4
Fredag 30. oktober Kapittel 20: Litt abstrakt algebra YouTube | MP4
Onsdag 28. oktober Kapittel 19: Litt mer kombinatorikk YouTube | MP4
Fredag 23. oktober Kapittel 18: Kombinatorikk YouTube | MP4
Onsdag 21. oktober Kapittel 17: Abstraksjon med ekvivalenser og partisjoner YouTube | MP4
Fredag 16. oktober Kapittel 16: Resonnering om modeller YouTube | MP4
Onsdag 14. oktober Kapittel 15: Tolkning i modeller YouTube | MP4
Onsdag 7. oktober Kapittel 14: Representasjon av kvantifiserte utsagn YouTube | MP4
Fredag 2. oktober Kapittel 13: Førsteordens språk YouTube | MP4
Onsdag 30. september Kapittel 12: Strukturell induksjon YouTube | MP4
Fredag 25. september Kapittel 11: Matematisk induksjon YouTube | MP4
Onsdag 23. september Kapittel 10: Rekursive funksjoner YouTube | MP4
Fredag 18. september Kapittel 9: Tillukninger og induktivt definerte mengder YouTube | MP4
Onsdag 16. september Kapittel 8: Litt mer mengdelære YouTube | MP4
Fredag 11. september Kapittel 7: Funksjoner YouTube | MP4
Onsdag 9. september Kapittel 6: Relasjoner YouTube | MP4
Fredag 4. september Kapittel 5: Bevis, formodninger og moteksempler YouTube | MP4
Onsdag 2. september Kapittel 4: Utsagnslogiske begreper YouTube | MP4
Fredag 28. august Kapittel 3: Semantikk for utsagnslogikk YouTube | MP4
Onsdag 26. august Kapittel 2: Utsagnslogikk YouTube | MP4
Fredag 21. august Kapittel 1: Grunnleggende mengdelære YouTube | MP4
Onsdag 19. august Introduksjon, praktisk info, spørsmål og svar,
oversikt over kurset og kapittel 0.
YouTube | MP4

 

Publisert 20. aug. 2015 15:12 - Sist endret 8. des. 2015 17:33