Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
20.08.2003Johan 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.2003Johan W. Klüwer?? ? Sannhetstabeller. Hypotetisk bevis? F?lgende avsnitt fra "Language, Proof and Logic": 3.1--3.7, 4.1--4.5?
03.09.2003Johan 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.2003Johan 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.2003Johan 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.2003Johan 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.2003Johan 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.2003Johan W. Klüwer??? ? Repetisjon. Leibniz' lover.? F?lgende avsnitt fra "Language, Proof and Logic": 14.1--14.3?
15.10.2003Johan W. Klüwer?? ? Eksamen? ?
Publisert 6. mars 2005 05:14