Senaste nytt

• 2007-04-26: Omtentor. Logikkursen ges just nu för D-programmet. Deras ordinare tenta räknas som omtenta i kursen för IT-programmet. Dessutom kommer det att komma en omtenta i augusti. Anmälan till tentorna är obligatorisk och görs via Mina Sidor på studentwebben. Följande omtentatillfällen finns alltså detta läsår:
  • Måndagen den 21 maj kl. 8.00-13.00.
  • Någon gång i augusti 2007.
  Mer information om anmälning, tider och salar finns på Matematiks tentamensida. Där meddelas även exakt tid för augustitentan. Lycka till!
  
  
• 2006-12-22: Tentan är färdigrättad. Här är de kvantitativa resultaten:
  
  IT: 31 skrivande, 22 godkända (varav fyra med betyg 4), 9 underkända (varav en får komplettera).
  D: 18 skrivande, 8 godkända (varav en med betyg 5), 6 underkända.
  
  Jag är väldigt glad över att så många som 71% klarade tentan på IT. Bra jobbat! Tyvärr gör julledigheten att resultaten inte kommer att rapporteras in förrän efter nyår. Men om man ändå vill veta hur det gick (och inte kunnat lista ut det redan) kan man höra av sig till mig via e-post och få besked inom några dagar.
  
  
• 2006-12-18: I fredags var det tenta. Vi har satt igång med rättningen och försöker bli klara så snabbt som möjligt. Här är tentan med lösningar.
  
  
• 2006-12-11: Ny sal för tentan. Eftersom det var oväntat många som anmälde sig till tentan så har man bestämt att denna ska äga rum i föreläsningssal F1, Campus Valhallavägen. Lycka till på tentan!
  
  
• 2006-11-30: Repetition. Nästa vecka ges de två sista lektionerna. Dessa kommer att ägnas helt och hållet åt repetition inför tentan. Välkomna!
  
  
• 2006-11-27: Tentaanmälan. Glöm inte att anmäla dig till tentan. Detta är möjligt 24 nov - 8 dec och görs via Mina Sidor på studentwebben. Om du inte har ett KTH-konto måste du skaffa det.
  
  
• 2006-11-16: Anteckningar om tolkningar i modal predikatlogik finns nu tillgängliga.
  
  
• 2006-11-16: Ytterligare några fel i anteckningarna om relationer mellan sentenser är rättade. Jag tar gärna emot kommentarer och felrapporter!
  
  
• 2006-11-14: Nu finns en Peanouppgift och lösningsskisser till 9.4 upplagda på sidan.
  
  
• 2006-11-09: PL3 gick tyvärr riktigt dåligt. Endast 5 av 28 klarade sig. Tänk nu på att ni måste klara motsvarande uppgifter på tentan istället. Följande kan vara bra att plugga på:
  • Översättningar. Nödvändigt/tillräckligt villkor och sånt som "alla barn har en kompis". Det finns två lektionsanteckningar om detta: språkliga konstruktioner och språkliga konstruktioner och logiska ekvivalenser. Alla utom en missade denna fråga på PL:en.
  • Konstruera motexempel. Det vill säga att visa att logisk följd inte gäller. Om det rör sig om ett tvåställigt predikat: tänk på att tolka premisser och slutsats grafiskt.
  • Om frågan är att avgöra om logisk följd gäller: försök först konstruera ett motexempel som ovan. Se verkligen till att förstå vad premisserna och slutsatsen säger! Försök översätta det till en lättbegriplig mening. Om det inte verkar gå att hitta ett motexempel, verkar det som att logisk följd gäller.
  • Titta igenom lösningen på PL:en en gång till, och se till att förstå. De tre frågorna är väldigt centrala.
  Här är skrivningen med lösningar.
  
  
• 2006-11-03: På måndag kl 8.15 är det dags för den sista PL:en. Jag hoppas att ni alla klarar den! Denna gång har man en hel timme på sig att skriva. Lycka till!
  
  
• 2006-11-03: Tyvärr blev det lite fel i ett exempel i skriften om relationer mellan sentenser. Nu har jag rättat till det och dessutom lagt till två övningsuppgifter med lösningar. Jag vill gärna att ni läser och kommer med kommentarer!
  
  
• 2006-11-02: Nu finns en liten skrift om relationer mellan sentenser att läsa. Detta är första versionen, så det kan finnas en del fel. Jag är mycket tacksam för kommentarer och påpekanden av fel. Tyvärr har jag inte hunnit skriva klart extra övningsuppgifter till detta avsnitt, men det finns en hel del sådana uppgifter i gamla tentor och kontrollskrivningar. Dessutom gör jag några exempel på lektionen.
  
  
• 2006-10-12: Schemaändring. Nästa lektion är torsdag 26 oktober kl 9-11 i sal 531. Förändringen är alltså bara att lektionen startar en timme tidigare än planerat. Anledningen är att kursledaren i den kurs som många har på eftermiddagen villa ha sitt pass mellan 12 och 15 istället för mellan 13 och 15.
  
  
• 2006-10-11: I måndags skrev och rättade vi PL2. Det var 38 personer som skrev och 26 som blev godkända. Jag vill ju att alla klarar sig och är lite missnöjd. Men jag ser att de som deltagit på lektionerna i allmänhet klarat sig betydligt bättre. Nu är det väldligt viktigt att se till att ni klarar PL3! Ni som läst kursen tidigare: Varför inte komma på lektionerna under andra halvan av kursen? Då kommer ni nog att klara tentan! Skrivningen och lösningar finns upplagda på sidan.
  
  
• 2006-10-08: Inför morgondagens PL: Lycka till och se till att ni klarar den! Det visade sig att en av de rekommenderade uppgifterna (6.4.I.8) använder SI-regler (som jag inte tar upp på lektionerna) i facit. Så här är lösningsförslag till den uppgiften utan SI-regler (i själva verket två olika, men snarlika lösningar). Hoppas någon hinner ha nytta av detta.
  
  
• 2006-09-28: Idag avslutade vi avsnittet om tablåmetoden i predikatlogik. Nu kommer vi ägna nästa två lektioner åt naturlig deduktion.
  
  
• 2006-09-19: I går pratade jag bland annat om Språkliga konstruktioner och logiska ekvivalenser på lektionen. Nästa gång blir det mer predikatlogik: tolkningar och motexempel.
  
  
• 2006-09-14: På måndag fortsätter kursen och då börjar vi med predikatlogik.
  
  
• 2006-09-14: Idag skrev och rättade vi PL1. Det var 37 personer som skrev och 35 som blev godkända. Bra jobbat! Men ni behöver plugga på naturlig deduktion. En hel del hade problem med uppgift 3. Skrivningen och lösningar finns upplagda på sidan under "Extramaterial".
  
  
• 2006-09-12: På torsdag 14 sept har vi vår första PL. Den vill jag att alla klarar, så se till att plugga ordentligt.
  
  
• 2006-09-04: Nästa lektion är på torsdag. Då repeterar vi logisk följd och går igenom tablåmetoden.
  
  
• Tips: Om du tycker att det finns facit till för få uppgifter:
  • Gör uppgifter från gamla tentor och KS:ar.
  • Gör exemplen i boken som övningar.
  • Gör exempel från lektionerna som övningar.
  
  
• 2006-09-04: Idag, måndag, fortsätter vi enligt schema. Vi har gott om tid att gå igenom det material som skulle tagits upp i fredags. Välkomna!
  
  
• 2006-09-01: Logiken inställd. Dagens logiklektion är inställd eftersom Andreas drabbats av njurstensanfall. Det är dock övergående och kursen fortsätter på måndag enligt schema. Läs anteckningarna om språkliga konstruktioner som finns på kurshemsidan tills dess.
  
  
• Välkommen till kursen! Första lektionen är torsdag 31 augusti 13-15 i sal C21.

Kursinformation

Undervisning

Personal

Kursledare: Andreas Enblom
E-post: enblom@math.kth.se
Telefon: 08-790 7208
Besöksadress: Rum 3752, Institutionen för matematik, Lindstedtsvägen 25

Kurssekreterare: Kerstin Engstrand
E-post: kerstin@math.kth.se
Telefon: 08-790 6149
Besöksadress: Rum 3541, Institutionen för matematik, Lindstedtsvägen 25

Examination

Examinationen består av en skriftlig tentamen.
Datum: Den 15 dec 2006.
Tid och plats: Klockan 14-19 i sal F1(OBS ändring!), Campus Valhallavägen.
Anmälan: Görs via Mina Sidor på studentwebben. Se även matematiks tentamenssida.

Litteratur

Graeme Forbes: Modern Logic. Oxford University Press, 1994.
Kompendier av Bengt Ek:	- Om axiomatisering och Peanos axiomsystem - Något om modeller, kompakthetssatsen - Om andra ordningens predikatlogik
Lektionsanteckningar och uppgifter:	- Språkliga konstruktioner - Tablåmetoden - Språkliga konstruktioner och logiska ekvivalenser - Tablåmetoden i predikatlogik - Några lösningar: 6.4.I.8, 8.4.II.2 - Relationer mellan sentenser - En peanouppgift - Lösningsskisser till 9.4 - Tolkningar i modal predikatlogik

Extramaterial

Facit till några av uppgifterna i boken, skrivna av Johan Karlander:
  Kapitel 2
  Kapitel 3
  Kapitel 4     (tryckfel i lydelsen till 4.2.4)
  Kapitel 5
  Kapitel 6     OBS! Fel i lydelsen i 6.4.I:14, lite "fusk" i lösningen. Svaret till 6.2.8 verkar fel.
  Kapitel 7     OBS! Svaret till 7.1.III:10 verkar vara fel!
  Kapitel 8     OBS! Svaret till 8.1.II:5 verkar vara fel!

Gamla tentor
  29 maj 2006 med lösningar
  16 jan 2006 med lösningar
  14 dec 2005 med lösningar
  29 aug 2005 med lösningar
  4 jun 2005 med lösningar

Årets tenta
  15 dec 2006 med lösningar

Gamla kontrollskrivningar - föregångarna till våra PL:ar
  KS 1 på D-linjen våren 2006 med lösningar
  KS 2 på D-linjen våren 2006 med lösningar
  KS 3 på D-linjen våren 2006 med lösningar
  KS 1 på IT-linjen hösten 2005 med lösningar
  KS 2 på IT-linjen hösten 2005 med lösningar
  KS 3 på IT-linjen hösten 2005 med lösningar

Årets problemlösningstester
  PL 1 på IT-linjen hösten 2006 med lösningar
  PL 2 på IT-linjen hösten 2006 med lösningar
  PL 3 på IT-linjen hösten 2006 med lösningar

Schema

Schemat kan komma att ändras efter behov. Datumen för PL:arna är dock slutgiltiga.