Kursplan
Föreläsningarna planeras att ges i sal. Det finns dock inspelade föreläsningar och anteckningar som alternativ. Föreläsningsanteckningarna kan komma att uppdateras lite under kursen gång.
| Innehåll | Boken | Bilder | |
|
F 1 29/8 |
Introduktion till logik | s 1-5 | |
|
F 2 2/9 |
Satslogik: syntax, naturlig deduktion | 1.2, 1.3 | |
|
F 3 3/9 |
Predikatlogik: introduktion, syntax | 2.1, 2.2 | |
|
Ö 1 6/9 |
Satslogik: naturlig deduktion |
|
|
|
F 4 9/9 |
Prolog 1 | ||
|
F 5 12/9 |
Prolog 2 | ||
|
F 6 16/9 |
Prolog 3 | ||
|
F 7 18/9 |
Prolog 4 | ||
|
19/9 |
Hemtal 1 publiceras |
|
|
|
Ö 2 20/9 |
Prolog |
|
|
|
F 8 24/9 |
Satslogik: semantik | 1.4 | |
|
Labb 1 26/9 |
Hjälppass |
|
|
|
Ö 3 26/9 |
Satslogikens semantik, formalisering i predikatlogik Inlämning och kamraträttning av hemtal 1. |
|
|
|
F 9 30/9 |
Predikatlogik: naturlig deduktion |
2.3 |
|
|
1/10 |
Hemtal 2 publiceras |
|
|
|
Labb 1 2/10 |
Hjälppass |
|
|
|
Ö 4 4/10 |
Predikatlogik: naturlig deduktion |
|
|
|
F 10 7/10 |
Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet | 2.4, 2.5, 2.6 |
|
|
Ö 5 8/10 |
Predikatlogikens semantik Inlämning och kamraträttning av hemtal 2 |
|
|
|
Labb 1 10/10 |
Redovisning |
|
|
|
Labb 1 11/10 |
Redovisning |
|
|
|
Quiz |
Quiz 1-3 |
|
|
|
F 11 29/10 |
Predikatlogik: axiomatiseringar | Se fotnot 2 | |
|
F 12 31/10 |
Strukturell induktion | 1.4.2, 1.4.3 Strukturell induktion Download 1.4.2, 1.4.3 Strukturell induktion |
|
|
Ö 6 1/11 |
Induktion |
|
|
|
F 13 4/11 |
Strukturell induktion forts | 1.4.2, 1.4.3 Strukturell induktion | |
|
Labb 2 6/11 |
Hjälppass |
|
|
|
Ö 7 8/11 |
Induktion forts |
||
| F 14 11/11 | Temporallogik: syntax och semantik | 3.1, 3.4 Download 3.1, 3.4 | |
| 12/11 | Hemtal 3 publiceras |
|
|
| F 15 13/11 | Temporallogik: modellprovning | - | |
|
Labb 2 14/11 |
Hjälppass |
|
|
| F 16 18/11 | Hoare-logik och programspecifikation | 4.2 | |
|
Ö 8 19/11 |
Temporallogik Inlämning och kamraträttning av hemtal 3 |
|
|
|
Labb 2 20/11 |
Redovisning |
|
|
|
Labb 2 21/11 |
Redovisning |
|
|
| F 17 26/11 | Hoare-logik och programspecifikation | 4.3 | |
| F 18 27/11 | Repetition. Framför allt behandlas material som relaterar till quiz 4-6. | Gamla quiz Download Gamla quiz | |
|
Ö 9 27/11 |
Hoare-logik | ||
|
Labb 3 28/11 |
Hjälppass | ||
|
F 19 2/12 |
Första timmen är en gästföreläsning av Dilian Gurov. Han kommer att tala om tillämpningar av Hoare-logik i industrin. Andra timmen blir en introduktion till vissa mer avancerade former av logik. |
Del 1 (Dilian) Download Del 1 (Dilian)
|
|
|
3/12 |
Hemtal 4 publiceras |
|
|
|
Labb 3 4/12 |
Hjälppass |
|
|
|
Ö 10 10/12 |
Hoare-logik forts Inlämning och kamraträttning av hemtal 4 |
|
|
|
Labb 3 11/12 |
Redovisning |
|
|
|
Labb 3 |
Redovisning |
|
|
|
Quiz 16/12 |
Quiz 4-6 |
|
|
|
Quiz 7/1 |
Om-quiz 1-6 |
|
|
|
Hemtenta 7/1 |
Hemtentan publiceras |
|
|
|
Hemtenta 13/1 |
Hemtentan lämnas in |
|
Fotnot 1: Mängder och relationer är egentligen sådant som brukar läras ut i en kurs i diskret matematik. För denna kurs räcker materialet som presenteras på föreläsningsbilderna. Om man föredrar att läsa en text snarare än föreläsningsbilder kan man läsa här (Länkar till en externa sida.).
Fotnot 2: Peanos axiom förklaras bra här (Länkar till en externa sida.) (dock mycket mer utförligt än vad som krävs i kursen).