5B1928 Logik för IT3, 4p, hösten 2006
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
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: 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
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
Nr | Datum | Tid | Lokal | Innehåll | Läsanvisning |
1 | Tor 31 aug | 13 - 15 | C21 | Satslogik: grunder, översättningar, kungar & narrar | Kapitel 1, 2.1-2.4 |
2 | Fre 1 sep | 14 - 16 | C22 | Grunder, sanningstabeller, klassifikation, tolkningar | 2.1-2.4, 3.1, 3.2 |
3 | Mån 4 sep | 13 - 15 | C21 | Klassifikation, logisk följd, tablåmetoden | 3.2-3.6 |
4 | Tor 7 sep | 13 - 15 | C21 | Logisk följd, tablåmetoden | 3.3-3.6 |
5 | Fre 8 sep | 13 - 15 | C21 | Naturlig deduktion | 4.1-4.6 |
6 | Mån 11 sep | 13 - 15 | C21 | Naturlig deduktion, sundhet & fullständighet | 4.1-4.6, 4.11 |
7 | Tor 14 sep | 13 - 15 | C21 | PL1 + genomgång | |
8 | Mån 18 sep | 13 - 15 | C21 | Predikatlogik: grunder | 5.1-5.3 |
9 | Tor 21 sep | 10 -
12 | C21 | Predikatlogik: semantik, tolkningar, motexempel | 6.1, 6.2 |
10 | Mån 25 sep | 13 - 15 | C21 | Motexempel, tablåmetoden | 6.2, 6.7 |
11 | Tor 28 sep | 13 - 15 | C21 | Motexempel, tablåmetoden | 6.2, 6.7 |
12 | Mån 2 okt | 13 - 15 | 538 | Naturlig deduktion i predikatlogik | 6.3, 6.4 |
13 | Tor 5 okt | 13 - 15 | 530 | Naturlig deduktion i predikatlogik | 6.3, 6.4 |
14 | Mån 9 okt | 13 - 15 | 530 | PL2 + genomgång | |
15 | Tor 12 okt | 13 - 15 | 533 | Flerställig predikatlogik med identitet, tolkningar | 7.1, 7.2, 8.1 |
16 | Tor 26 okt | 9 - 11 OBS ändring! | 531 | Tolkningar, hitta motexempel, tablåmetoden | 8.1, 8.2 |
17 | Fre 27 okt | 13 - 15 | 533 | Motexempel, naturlig deduktion | 8.3, 8.4 |
18 | Mån 30 okt | 8 - 10 | 531 | Naturlig deduktion | 8.3, 8.4 |
19 | Tor 2 nov | 10 - 12 | 538 | Binära relationer, relationer mellan sentenser | 8.5, utdelat material |
20 | Fre 3 nov | 13 - 15 | 432 | Binära relationer, relationer mellan sentenser | 8.5, utdelat material |
21 | Mån 6 nov | 8 - 10 | 530 | PL3 + genomgång | |
22 | Tor 9 nov | 10 - 12 | 439 | Peanos axiom | Bengt Eks kompendium |
23 | Mån 13 nov | 8 - 10 | 538 | Modallogik | 9.1, 9.2, 9.4-9.6 |
24 | Tor 16 nov | 10 - 12 | 439 | Modallogik | 9.1, 9.2, 9.4-9.6 |
25 | Mån 20 nov | 8 - 10 | 538 | Intuitionistisk logik | Kapitel 10 |
26 | Tor 23 nov | 10 - 12 | 532 | Intuitionistisk logik | Kapitel 10 |
27 | Mån 27 nov | 8 - 10 | 538 | Modellteori, kompakthetssatsen | Bengt Eks kompendium |
28 | Tor 30 nov | 10 - 12 | 538 | Andra ordningens predikatlogik | Bengt Eks kompendium |
29 | Mån 4 dec | 8 - 10 | 538 | Repetition | |
30 | Tor 7 dec | 10 - 12 | 538 | Repetition | |
Tenta | Fre 15 dec | 14 - 19 | F1OBS ändring! | Tentamen | |
Schemat kan komma att ändras efter behov. Datumen för PL:arna är dock
slutgiltiga.
|