764G06 Diskret matematik och logik, 6 hp

för Systemvetarprogrammet hösten 2011

Kursstart:

Kursen startar den 23 augusti 2011, kl. 10.15 i sal Key 1 i Key-huset, Campus Valla. (Karta Campus Valla)

Kurslitteratur:
Diskret matematik och diskreta modeller, av Kimmo Eriksson och Hillevi Gavel.
Ett kapitel i logik (av Asratian, Björn, turesson) samt en häfte med kompletterande uppgifter delas ut vid kursstart.

Kursansvarig:
Daniel Carlsson,
Besöksadress: Matematiska institutionen, B-huset, A-korridoren mellan ingång 21-23, 1 trappa.
Mail: dacar@mai.liu.se, tel. 013-28 57 61.

• Kursplan

I kursplanen beskrivs kursens innehåll och mål.

• Kursprogram

I kursprogrammet hittar du all väsentlig information om kursen, så som kurslitteratur, föreläsningsschema, lektionsplanering och en utförlig beskrivning av hur kursen examineras. Där finns också kontaktuppgifter till medverkande lärare.

• Schema HT2011
  

Ett dagsaktuellt schema hittar du alltid på universitetets schemaserver.
(Schema för kursen publiceras här från 8 augusti och visas bara framåt i tiden.)

• Formelblad i logik

Tillåtet hjälpmedel vid tentamen! OBS! Skriv ut den och ta med dig till tentamen. Bifogas ej vid tentamen.
OBS! Får ej förekomma egna anteckningar på formelbladet vid tentamen!
(se http://www.student.liu.se/regler/disciplinarenden/fusk?l=sv)

• Inlämningsuppgifter 2011  - OBS! Notera deadlines samt att all in- och återlämning sker i samband med lektionerna!
  Vid inlämnande efter deadlines på respektive omgång deltar man ej i 'bonusprogrammet'. Detta för att ge alla samma förutsättningar.
  

Tre tentor med lösningar från föregående år återfinns nedan. Tentamensuppgifter kommer gås igenom och diskuteras vid den sista föreläsningen som alltså är en problemdemonstration.

    Tentamen 101022    Lösningar 101022
    Tentamen 110110    Lösningar 110110
    Tentamen 110409    Lösningar 110409
    Tentamen 100417    Lösningar 100417
    Tentamen 100108    Lösningar 100108