| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 18.01.2011 | Henrik Forssell? | Lille auditorium? | Introduksjon, kursplan, mengdel?re? | Mengdel?ren som vi begynte p? og som vi vil gj?re ferdig neste uke er detaljert beskrevet i Roger Antonsens f?rste forelesning fra i fjor. Den finner du her? |
| 25.01.2011 | Henrik Forssell? | Lille auditorium? | Rekap, mengdel?re, induksjon? | ? |
| 01.02.2011 | Henrik Forssell? | Lille auditorium? | Induksjon? | Avigad kapittel 2; Enderton ? |
| 08.02.2011 | Henrik Forssell? | Lille auditorium? | Rekursjon, setningslogikk (syntaks)? | Avigad til og med 3.4 (3.4 for interesserte), resten av Enderton, van Dalen 1.1.? |
| 15.02.2011 | Henrik Forssell? | Lille auditorium? | Setningslogikk (semantikk)? | Avigad 3.5, van Dalen 1.2? |
| 22.02.2011 | Roger Antonsen? | Lille auditorium? | Naturlig deduksjon? | van Dalen 1,3 og 1,4; Avigad 3.7-4.3.? |
| 01.03.2011 | Henrik Forssell? | Lille auditorium? | Sunnhet og kompletthet for setningslogikk? | van Dalen 1.5, Avigad 4.4-4.5.? |
| 08.03.2011 | Henrik Forssell? | Lille auditorium? | Kompakthet, intuisjonistisk setningslogikk og tertium non datur, algebraisk semantikk. Intro til f?rsteordens logikk.? | Avigad 4.6-5.2. van Dalen 1.6-2.3. ? |
| 15.03.2011 | Henrik Forssell? | Lille auditorium? | F?rsteordens logikk, syntaks og semantikk? | Avigad 5.1-5.3; van Dalen 2.1-2.4.? |
| 22.03.2011 | Henrik Forssell? | Lille auditorium? | F?rsteordens logikk, syntaks og semantikk ? | Avigad kapittel 5; van Dalen 2.5-2.7.? |
| 29.03.2011 | Henrik Forssell? | Lille auditorium? | Strukturer og definerbarhet, naturlig deduksjon.? | Avigad 5.5 og 6.1; van Dalen 2.7 og 2.8.? |
| 05.04.2011 | Henrik Forssell? | Lille auditorium? | Naturlig deduksjon, sunnhet.? | Avigad 6.1-6.2; van Dalen 2.8-2.10.? |
| 12.04.2011 | Henrik Forssell? | Lille auditorium? | Sunnhet og kompletthet, teorier og modeller? | Avigad 6.2, 6.4, 7.1 (ikke 6.3, men har du lyst har du lov). Van Dalen 3.1 t.o.m. 3.1.5, 3.3 t.o.m. 3.3.9.? |
| 26.04.2011 | Henrik Forssell? | Lille auditorium? | Modellteori, kompakthet? | Avigad 7.1-7.3; van Dalen 3.2-3.3. ? |
| 03.05.2011 | Roger Antonsen? | Lille auditorium? | Sekventkalkyle? | ? |
| 10.05.2011 | Henrik Forssell? | Lille auditorium? | Termmodeller, anvendelser, kompletthet? | Van Dalen 3.1, Avigad 6.3? |
| 24.05.2011 | Henrik Forssell? | Lille auditorium? | Avsluttning? | Hva har vi l?rt, og hva skal det v?re godt for? Hva rakk vi ikke, hvordan ser feltet ut utover den lile biten vi har kikket p?? Hva f?r vi p? eksamen?? |
Undervisningsplan
Publisert 18. jan. 2011 18:54
- Sist endret 16. jan. 2012 18:48