UPPSALA UNIVERSITET
Matematiska institutionen
Vera Koponen
Logik och bevisteknik I, vt 2009
Allmän information
Lärare: Vera Koponen, föreläsningar, lektioner
(vera@math.uu.se, 018-471 31 85, Ångströmlaboratoriet, rum 14234), och
Anton Hedin, lektioner.
Kurslitteratur: Language, Proof and Logic av J. Barwise och J. Etchemendy,
CSLI Publications, inklusive CD-skiva med programvaran LPL som ingår i kurslitteraturpaketet.
Undervisningen består av 17 föreläsningar samt 5 lektioner (alltid dubbeltimmar).
Föreläsningarna kommer att innehålla såväl teori, dvs introduktion av nya
begrepp, metoder och resultat,
som behandling av exempel och problemlösning.
På lektionerna skall ni i huvudsak arbeta själva,
under lärarhandledning, med uppgifter som anges
i lektionsplaneringen nedan.
OBS! Ni behöver lägga ner betydligt mer tid på eget arbete än den
(lilla) tid som ges på de fem lektionerna.
Betygen som ger godkänt på denna kurs är 3, 4 och 5.
För betyg 3 finns två vägar:
En väg är att bli godkänd på punkterna 1 och 2 nedan.
Alternativt så kan man få betyg 3 genom att bli godkänd på punkt 2 och 3 nedan (och behöver då inte göra punkt 1).
För att få betyg 4 eller 5 så finns också två möjligheter:
Antingen genom att bli godkänd på punkt 1 och punkt 2 och sedan så beror
betyget på hur många poäng man uppnår på uppgifterna 6-9 på den skriftliga salstentamen som är punkt 3 nedan (och i detta fall behöver man inte göra uppgifterna 1-5 på samma tentamen).
Alternativt så blir man godkänd på punkt 2 och blir godkänd och uppnår tillräckligt många poäng i punkt 3; i detta fall måste man bli godkänd på uppgifterna 1-5 i denna salstentamen.
Observera att punkt 1 av examinationen (om ni väljer denna väg, som rekommenderas) är löpande, dvs. ni rekommenderas under kursens
gång lösa uppgifter med hjälp av LPL som rättas av Grade Grinder och sedan skickas till er
lektionslärare; det finns fyra deadlines; mer information nedan.
2. Muntlig examination:
Vi försöker att
klara av så många muntliga examina som möjligt under 2-3 dagar i
slutet av maj eller början av juni.
Mer detaljerad information om tidpunkt anges
här och på föreläsningstid mot slutet av kursen.
På den muntliga examinationen skall ni kunna redogöra
för grundläggande begrepp från kursen, och tar 10-15 minuter
per person.
Information om vad ni skall kunna på den muntliga examen.
Introduktionen till detta examensarbete,
Short proofs of finite instances of valid sentences, ger lite inblick i sambandet mellan
formella bevissystem och frågan om den komplexitetsteoretiska klassen NP är sluten under komplement,
vars svar fortfarande är okänt.