Undervisningsplan

 

Dato Undervises av Sted Tema Kommentarer / ressurser
25.08.2010 Roger Antonsen  Aud. 1, GS  Velkommen og introduksjon   
26.08.2010 Roger Antonsen  Aud. 1, GS  Matematisk resonnering og mengdel?re   
01.09.2010 Roger Antonsen  Aud. 1, SB  Litt om utsagnslogikk   
02.09.2010       Ingen forelesning; studiestrategikurs. 
08.09.2010       Ingen forelesning; auditoriet opptatt. 
09.09.2010 Roger Antonsen  Aud. 1, GS  Utsagnslogiske begreper   
15.09.2010 Roger Antonsen  Aud. 1, GS  Utsagnslogikk og bevismetoder   
16.09.2010 Roger Antonsen  Aud. 1, GS  Mer om bevismetoder og utsagnslogikk   
22.09.2010       Ingen forelesning; auditoriet opptatt. 
23.09.2010 Roger Antonsen  Aud. 1, GS  Relasjoner   
29.09.2010 Roger Antonsen  Aud. 1, GS  Funksjoner   
30.09.2010       Ingen forelesning; instituttseminar. 
06.10.2010 Roger Antonsen  Aud. 1, GS  Mengdel?re   
07.10.2010 Roger Antonsen  Aud. 1, GS  Mengdel?re   
13.10.2010 Roger Antonsen  Aud. 1, GS  Induktivt definerte mengder   
14.10.2010 Roger Antonsen  Aud. 1, GS  Induktivt definerte mengder   
20.10.2010 Roger Antonsen  Aud. 1, GS  Formelle spr?k og induksjonsbevis   
21.10.2010 Roger Antonsen  Aud. 1, Kjemibygningen  F?rsteordens logikk: Syntaks   
27.10.2010 Roger Antonsen  Aud. 1, GS  F?rsteordens logikk: Representasjon og semantikk   
28.10.2010       Ingen forelesning; dagen@ifi.  
03.11.2010 Roger Antonsen  Aud. 1, GS  F?rsteordens logikk: Semantikk   
04.11.2010 Roger Antonsen  Aud. 1, GS  F?rsteordens logikk: Mer avansert   
10.11.2010 Roger Antonsen  Aud. 1, GS  Logiske kalkyler: Tabl?metoden   
11.11.2010 Roger Antonsen  Aud. 1, GS  Logiske kalkyler: Tabl?metoden   
17.11.2010 Roger Antonsen  Aud. 1, GS  Kombinatorikk   
18.11.2010 Roger Antonsen  Aud. 1, GS  Grafteori   
24.11.2010 Roger Antonsen  Aud. 1, GS  Regul?re uttrykk og automater   
25.11.2010 Roger Antonsen  Aud. 1, GS  Litt av hvert   
26.11.2010   Informatikkbygningen  Avslutningsfest   
01.12.2010       Ingen forelesning; INF1000-eksamen 
02.12.2010 Roger Antonsen  Aud. 1, GS  Repetisjon   
09.12.2010        
Publisert 25. aug. 2010 11:02 - Sist endret 1. apr. 2014 08:43