KTH | Inst. för Matematik | SF1642 Logik för IT2, 6hp, hösten 2007

SF1642 Logik för IT2, 6hp, hösten 2007

Senaste nytt

2007-12-29: Tentan är rättad. Här är resultaten i siffror:

Linje Antal skrivande Ej godkända E D C B A

IT 19 4 3 5 4 2 1

D 7 5 2 - - - -

Övriga 4 2 1 - - 1 -

Två av de som inte blev godkända på D-linjen får komplettera.

Jag är väldigt glad över att så många som 15 av 19 på IT klarade sig. Bra jobbat! Tyvärr kommer det att att dröja till efter helgerna innan resultaten rapporteras in, men den som redan nu vill veta hur det gick kan skicka mig e-post så ska jag försöka svara så snabbt som möjligt med ert resultat.
2007-12-27: Den 19:e gavs årets tenta. Här är lösningarna. Idag börjar rättningen. Den bör vara klar inom några dagar.
2007-12-17: Tentasalar. Tentan är nu på onsdag kl 14-19 i sal V21,V22,V23 på Campus Valhallavägen.
Formelblad. På tentan kommer ni få använda det formelblad som delas ut där. Det kommer framför allt innehålla Peanos axiom, så dessa behöver ni inte lära er utantill.
2007-12-10: Denna vecka har vi våra två sista lektioner. De kommer ägnas åt repetition.
Tentaanmälan! Det är viktigt att ni anmäler er till tentan i tid. Efter 7 december går det inte att anmäla sig, och numera tar man inte emot sena anmälningar. Anmälan sker via Mina Sidor på studentwebben. Se även matematiks tentamenssida. Anmäl dig nu!
2007-11-22: Denna vecka pratade vi om tolkningar i modal predikatlogik.
2007-11-14: Idag avslutade vi naturlig deduktion i modallogik. Här finns nu lösningsskisser till de flesta uppgifter i kapitel 9.4.
2007-11-14: Vi är nu klara med Peanos axiom. Gör följande lite halvknepiga uppgift för att testa dig!
2007-11-11: I onsdags skrev och rättade vi PL3. Av de 14 som deltar i kursen och skrev skrivningen var det 9 som blev godkända. Bra jobbat!
2007-11-06: Idag pratade vi om relationer mellan sentenser.
2007-10-30: Vi har nu börjat med naturlig deduktion i flerställig predikatlogik med identitet. Här är lösningen till uppgift 8.4.II.2.
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.
2007-10-19: I onsdags skrev och rättade vi PL 2. Här är lösningarna. Den här gången gick det bättre och 13 av de 17 som deltar i kursen klarade sig. Bra jobbat! Se nu till att klara PL3! Den är den allra viktigaste av PL:arna att klara.
Bättre sent än aldrig. Här är den utlovade lösningen till uppgift 6.3.II.3.
2007-09-26: Idag pratade vi om logisk följd och tablåmetoden i predikatlogik.
2007-09-21: Igår började vi prata om predikatlogik, och då främst översättningar samt språkliga konstruktioner och logiska ekvivalenser.
2007-09-21: PL 1 är färdigrättad. Här är lösningarna. Av de 17 som deltar på lektionerna var det tyvärr bara 7 som klarade sig. Se nu till att klara PL2! Den är mycket viktigare för att klara tentan än vad PL1 är. Av övriga 11 som skrev var det 3 som klarade sig.
På onsdag den 19 september går vår första PL av stapeln kl 10-12 i sal 439. Jag vill att alla klarar den. Lycka till!
2007-09-13: Här är en diskussion om uppgift 4.4.22.
2007-09-07: Idag pratade vi om logisk följd och tablåmetoden. Här finns reglerna för tablåmetoden.
2007-09-04: Första föreläsningen har varit. Vi pratade mest om språkliga konstruktioner.
Välkommen till kursen! Första lektionen är tisdag 4 sep 13-15 i sal 439.

Kursinformation

All kursinformation finns i Kurs-PM. Här finns detaljerad information om undervisningen, läsanvisningar, beskrivning av tentamen med mera. Alla kursdeltagare måste läsa Kurs-PM nogrannt! Informationen på denna sida är endast en sammanfattning av kurs-PM.

Undervisning

Undervisningen ges i två olika former:
Lektioner:	Lärarledd undervisning. I KTHs schemagenerator står det föreläsning eller övning.
Problemlösningstest (PL):	Skrivning och rättning av någon annans skrivning. Godkänt test ger bonuspoäng på tentamen. Se Kurs-PM för information om hur detta går till.

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: Onsdagen den 19 december 2007.
Tid och plats: Klockan 14-19. Sal V21, V22, V23, Campus Valhallavägen.
Anmälan: Görs senast 7 december 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:	-Några uppgiftslösningar: 4.4.22, 6.3.II.3, 6.4.I.8, 8.4.II.2 -Språkliga konstruktioner -Tablåmetoden med regler -Språkliga konstruktioner och logiska ekvivalenser i predikatlogik -Tablåmetoden i predikatlogik -Relationer mellan sentenser -En Peanouppgift -Lösningsskisser till de flesta uppgifter i kapitel 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

Förra årets ordinarie tenta
15 dec 2006 med lösningar

Tenta och omtenta från D-linjen i våras
21 maj 2007 med lösningar
29 aug 2007 med lösningar

Gamla kontrollskrivningar - föregångarna till våra PL:ar
  KS 1 på D-linjen våren 2007 med lösningar    Ny!
  KS 2 på D-linjen våren 2007 med lösningar    Ny!
  KS 3 på D-linjen våren 2007 med lösningar    Ny!
  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

Förra å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

Årets problemlösningstester
  PL 1 med lösningar
  PL 2 med lösningar
  PL 3 med lösningar

Schema

Nr	Datum	Tid	Lokal	Innehåll	Läsanvisning
1	Tis 4 sep	13 – 15	439	Satslogik: grunder, översättningar, kungar & narrar	Kapitel 1, 2.1–2.4
2	Tor 6 sep	13 – 15	432	Grunder, sanningstabeller, klassifikation, tolkningar	2.1–2.4, 3.1, 3.2
3	Fre 7 sep	10 – 12	439	Klassifikation, logisk följd, tablåmetoden	3.2–3.6

4	Tis 11 sep	13 – 15	439	Logisk följd, tablåmetoden	3.3–3.6
5	Tor 13 sep	13 – 15	532	Naturlig deduktion	4.1–4.6

6	Mån 17 sep	10 – 12	530	Naturlig deduktion, sundhet & fullständighet	4.1–4.6, 4.11
7	Ons 19 sep	10 – 12	439	PL1 + genomgång
8	Tor 20 sep	13 – 15	532	Predikatlogik: grunder	5.1–5.3

9	Tis 25 sep	13 – 15	439	Predikatlogik: semantik, tolkningar, motexempel	6.1, 6.2
10	Ons 26 sep	10 – 12	439	Motexempel, tablåmetoden	6.2, 6.7

11	Ons 3 okt	10 – 12	439	Tablåmetoden, naturlig deduktion i predikatlogik	6.2-6.4, 6.7
12	Tor 4 okt	10 – 12	439	Naturlig deduktion i predikatlogik	6.3, 6.4

13	Ons 10 okt	10 – 12	439	Naturlig deduktion i predikatlogik	6.3, 6.4

14	Tis 16 okt	13 – 15	439	PL2 + genomgång
15	Ons 17 okt	10 – 12	439	Flerställig predikatlogik med identitet, tolkningar	7.1, 7.2, 8.1

16	Mån 29 okt	13 – 15	439	Tolkningar, hitta motexempel	8.1, 8.2
17	Tis 30 okt	10 – 12	439	Motexempel, naturlig deduktion	8.3, 8.4
18	Ons 31 okt	10 – 12	439	Naturlig deduktion	8.3, 8.4

19	Mån 5 nov	13 – 15	439	Binära relationer, relationer mellan sentenser	8.5, utdelat material
20	Tis 6 nov	10 – 12	439	Binära relationer, relationer mellan sentenser	8.5, utdelat material
21	Ons 7 nov	8 – 10	439	PL3 + genomgång

22	Mån 12 nov	8 – 10	530	Peanos axiom	Bengt Eks kompendium
23	Tis 13 nov	10 – 12	439	Modallogik	9.1, 9.2, 9.4–9.6
24	Ons 14 nov	10 – 12	439	Modallogik	9.1, 9.2, 9.4–9.6

25	Tis 20 nov	10 – 12	439	Intuitionistisk logik	Kapitel 10

26	Mån 26 nov	13 – 15	439	Intuitionistisk logik	Kapitel 10
27	Ons 28 nov	13 – 15	438	Modellteori, kompakthetssatsen	Bengt Eks kompendium

28	Mån 3 dec	13 – 15	439	Andra ordningens predikatlogik	Bengt Eks kompendium

29	Mån 10 dec	13 – 15	439	Repetition
30	Ons 12 dec	13 – 15	439	Repetition
Tenta	Ons 19 dec	14 – 19		Tentamen

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


Avdelning Matematik	Sidansvarig: Andreas Enblom Uppdaterad: 2007-12-27