Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
20.08.2003 | Johan W. Klüwer? | ? | Setningslogisk spr?k. Sannhetstabeller.? | F?lgende avsnitt fra "Language, Proof and Logic": 1.1--1.4, 2.1--2.5? |
27.08.2003 | Johan W. Klüwer?? | ? | Sannhetstabeller. Hypotetisk bevis? | F?lgende avsnitt fra "Language, Proof and Logic": 3.1--3.7, 4.1--4.5? |
03.09.2003 | Johan W. Klüwer?? | ? | Naturlig deduksjon for setningslogikk.? | F?lgende avsnitt fra "Language, Proof and Logic": 5.1--5.4, 6.1--6.6? |
04.09.2003 | ? | Resepsjonen i 3. etasje. P.A. Munchs hus? | Innlevering av obligatorisk oppgave I.? | ? |
10.09.2003 | Johan W. Klüwer?? | ? | F?rsteordens spr?k. Parafrase med kvantorer. ? | F?lgende avsnitt fra "Language, Proof and Logic": 7.1--7.2, 8.1--8.4? |
17.09.2003 | Johan W. Klüwer? | ? | Naturlig deduksjon for kvantorer.? | F?lgende avsnitt fra "Language, Proof and Logic": 9.1--9.6, 10.1--10.3? |
24.09.2003 | Johan W. Klüwer? | ? | Semantikk for kvantifiserte utsagn.? | F?lgende avsnitt fra "Language, Proof and Logic": 11.1--11.5? |
25.09.2003 | ? | Resepsjonen i 3. etasje. P.A. Munchs hus?? | Innlevering av obligatorisk oppgave II.? | ? |
01.10.2003 | Johan W. Klüwer?? | ? | Semantikk. Identitet og bestemte beskrivelser? | F?lgende avsnitt fra "Language, Proof and Logic": 12.1--12.4, 13.1--13.3? |
08.10.2003 | Johan W. Klüwer??? | ? | Repetisjon. Leibniz' lover.? | F?lgende avsnitt fra "Language, Proof and Logic": 14.1--14.3? |
15.10.2003 | Johan W. Klüwer?? | ? | Eksamen? | ? |
Undervisningsplan
Publisert 6. mars 2005 05:14