Den muntliga tentan: Kom ihåg att ta med legitimation.
Tider och platser för muntliga tentamina:
Oves grupp: Plats: Rum 14213, Ångström.
Tider enligt överenskommelse med Ove:
Oves muntatider.
Ingers grupper: Plats: Rum 74114 (Ångström, hus 7, plan 4),
Tider: Välj en tid i följande muntashema:
Ingers muntatider.
Enklast bokar du en tid för muntan genom att komma till en lektion.
VIKTIGT! Meddela mig SENAST den 30 maj om du inte vill att jag
rapporterar godkänd kurs.
(Gäller de som är klara med LPL och
som EJ kommer på majtentan, men som vill försöka skriva för högre betyg i
augusti 2011 eller januari 2012.)
För de som inte hört av sig rapporteras den skriftliga delen (4 hp)
enligt tentaresultatet.
När den muntliga tentan är klar, rapporteras 1 hp.
Kursen som helhet är godkänd, och får räknas in i en examen,
när båda delarna är avklarade.
Meddelanden:
Detta för att säkert vara klar före tentan med vilka som har blivit godkända med LPL-uppgifterna.
På LPL:s hemsida
http://lpl.stanford.edu under fliken NEWS hittar man följande text som jag hoppas löser problemen.
November 28 2011 -- Patch for problem with Fitch released
There is an issue with Fitch 3.1.0 which impacts users of Fitch on Windows installed with a non-English localization (so far reported by German and Swedish users). We are preparing a new release of the software, but for the time being a patch is available and can be obtained by logging in here.
Följande tentor från Logik MN1.
Där användes ett annat formellt bevissystem, naturlig deduktion.
Alla uppgifter där man ska konstruera ett bevisträd i naturlig deduktion,
kan ni göra med vårt system för formella bevis, Fitch, i stället.
Tentamen 2006-05-30 Passande uppgifter: 1--6.
Tentamen 2006-01-12 Passande uppgfiter: 1--4, 7.
Tentamen 2005-01-10 Passande uppgifter: 1-2, 4--7.