Repetitionskurs i logik, augusti 2006.

Gäller kursen 5B1928

Aktuell information

  • (060816) Kompletteringstentan går nu på fredag 18/8 kl. 9.00 - 14.00 i Q11.


  • (060628) Har gjort en del kompletteringar och mindre omredigeringar av texten på denna kurshemsida, samt ändrat ledningen till 4P i problemsamlingen.


  • (060620) Har lagt in en länk till formelbladet (i pdf-format) nedan. Samt skrivit ner de i första hand rekommenderade uppgifterna för varje modul.


  • (060612) Vid en extra korrekturläsning hittade jag några fel i problemsamlingen, vilka nu är rättade (avser uppgifterna 2P och 3C, samt ledningarna till 1Å och 3B a), samt flyttning av ``typexemplet'' i inledningen av Ledningar till Modul 3 till inledningen av Ledningar till Modul 2).



    • Kursstart: Måndag 7 augusti kl. 9.15

    Lokal: Sal Q11   (gäller hela kursen)


    Lärarledd undervisning samt kontrollskrivningar ges 7/8 - 17/8. Se kursöversikten nedan.
    En kompletteringstentamen kommer att äga rum fredagen den 18/8 kl. 9-14.

    Regler för kursen

    • Angående ansökning och villkor för ansökning, se repetitionskurssidan

    • Repetitionskursen ges i form av lärarledda räknestugor.
      Observera att endast den ordinarie kursens A-del ingår i repetitionskursen, så man kan få högst betyg 3 på denna, vilket då räknas som betyg 3 på den ordinarie kursen.

    • Närvaron är obligatorisk till 80%, dvs närvaro krävs på minst 14 av de 18 passen. (Som
      pass räknas varje förmiddags- och eftermiddagspass under de 9 undervisningsdagarna.)
      Det är inte tillåtet att byta grupp.

    • Examinationen består av fyra kontrollskrivningar (KS) och vid behov en skriftlig kompletteringstentamen. Varje KS kommer att bestå av två uppgifter à 3 poäng.
      För godkänt på en KS krävs minst 4 poäng.
      Godkänt betyg på kursen utdelas om minst tre av kontrollskrivningarna är godkända.

    • För de studenter som inte blivit godkända via kontrollskrivningarna finns det möjlighet att komplettera genom en skriftlig kompletteringstentamen den 18 augusti.
      Denna kommer att bestå av åtta uppgifter à 3 poäng. Uppgifterna 2k-1 och 2k svarar mot modul k, dvs det kursavsnitt som täcks av kontrollskrivning k (k = 1,2,3,4). Godkänd kontrollskrivning innebär att motsvarande tentamensuppgifter är godkända och därför inte skall behandlas.
      För godkänt betyg genom tentan krävs att alla moduler är godkända (vilket på tentan
      betyder att de två uppgifterna tillsammans bedöms med minst 4p.)

    • Någon ytterligare möjlighet till komplettering utöver denna kompletteringstentamen ges inte.

    • Det som ovan sagts om godkänd kurs gäller endast under förutsättning att närvaron, som kontrolleras genom närvarolistor, är godkänd.
 

Kursplanering

Kursledare är Jan Kristoferson.

Kurslitteratur: Lärobok Forbes: Modern Logic (samt kompletteringskompendium K1, se nedan). Som arbetsmaterial kommer att användas en problemsamling med tillhörande ledningar. Denna kan laddas ner här:    ps-fil    pdf-fil    Den kommer även att tillhandahållas i pappersform vid kursens början. Svar och i de flesta fall lösningar kommer efter varje kursdag att publiceras till de avsnitt som gåtts igenom denna dag:
Svar och lösningar till modul 1:   ps-fil    pdf-fil   2:   ps-fil    pdf-fil   3:   ps-fil    pdf-fil   4:   ps-fil    pdf-fil
Det vanliga formelbladet får användas vid kontrollskrivningar och tenta. Det kan laddas ner här:    pdf-fil 

Rekommenderade förberedelser: Skriv ut denna kurshemsida, kompletteringskompendiet (om du inte redan har det) och problemsamlingen. Börja titta på några uppgifter och läs motsvarande i litteraturen.

I följande kursöversikt finns kapitelhänvisningar till läroboken. De avsnitt som ingår i kursen är kapitel 1 - 8 med undantag för följande avsnitt: 2.6, 3.8, 4.9, 4.10, 6.8, 7.4, 8.6, 8.8. Dessutom ingår kompletteringskompendiet K1, i första hand sid. 7-8. Det kan laddas ner här:   ps-fil   pdf-fil

I praktiken definieras modulerna av de anvisade problemen.

Lärarledd undervisning (i huvudsak räknestugor) ges 9-11 och 13-15 nedanstående dagar.

Kontrollskrivningarna (KS1-4) äger rum 14.30-15.00 respektive dag.


Modul

Dag

KS

1. Satslogik
Kap 1 - 4       Problem: 1A - 1Ö 		Måndag 7/8  
Tisdag 8/8 KS1
2. Monadisk predikatlogik
Kap 5 - 6       Problem: 2A - 2Ö 		Onsdag 9/8  
Torsdag 10/8 KS2
3. Första ordningens predikatlogik med identitet
Kap 7 - 8.4    Problem: 3A - 3Å 		Fredag 11/8 
Måndag 14/8 KS3
4. Binära relationer och Peano-aritmetik
Kap 8.5, K1    Problem: 4A - 4P 		Tisdag 15/8  
Onsdag 16/8 KS4
Repetition Torsdag 17/8
KompletteringstentamenFredag 18/8



I första hand rekommenderade uppgifter:

Modul 1: A,C,D,E,F,G,L,M,Q,R,S,V,W,X,Z,Å
Modul 2: A,C,E,H,I,J,K,M,O,P,Q,S,U,V,W,X,Y,Z
Modul 3: A,B,C,D,E,G,I,J,K,N,Q,R,T,W,X
Modul 4: A,B,C,F,G,I,J,K,L,M,N,P