Laborationsuppgifterna är obligatoriska. För att ni skall få möjlighet att
komplettera eller rätta ev. felaktigheter måste redovisningarna
vara inlämnade 13 oktober. Sista inlämningsdag är annars 20 oktober.
12/10 bevissökning mha fullständighetssatsen, konsekvenser
av kompakthetssatsen, resolution (uppgifter utdelas 5/10 och 9/10)
Det är tillåtet att arbeta i grupper om två (varje medlem skall dock
vara beredd att presentera lösningen). Presentationen tillgår så
att alla som vill ha bonuspoäng lämnar in skrivna lösningar och markerar
noggrant vilka de anser sig ha löst. För varje uppgift väljer läraren ut
en person att presentera och diskutera lösningen vid tavlan.