Aktuella meddelanden (de senaste hittar du längst ner)
Välkommen till kursen i Diskret Matematik, mve070

Schemat för kursen hittar du via länken till webTimeEdit på sidans topp.

Stencil utdelad på föreläsning om subtraktionsspelen "21" och Nim:  här.

Vi spikar gruppindelning torsdagen den 23/1. Om ni inte kommer då bör ni eposta mig: urban.larsson@chalmers.se. I första hand väljer ni själva er grupp om ungefär 4 medlemmar. För de som inte meddelat mig någon gruppindelning på torsdag gör jag ett förslag (och epostar). Senast den 5/2 på förmiddagen vill jag få in era duggor om 4 uppgifter per grupp. Man kan ha a,b,c,... indelning men det är bra om alla grupper gör exakt 4 uppgifter (dvs om man slår ut det, cirka en per student). För de av er som har svårt, på grund av arbete, kurs som krockar eller andra omständigheter, att deltaga i en del föreläsningar och lektioner, tipsar jag om möjligheten att hålla tät kontakt med resten av gruppmedlemmarna via epost och kanske Google+ Hangout eller Skype. Varje grupp utser en ledare som sammanställer uppgifterna. Varje uppgift ska följas av ett komplett lösningsförslag, men på ett separat a4, så att jag kan skriva ut dem var för sig. Skriv gruppnummer på varje dugga och lösningsförslag. (Icke-handskrivet format: latex, word, pdf annat går naturligtvis också bra via epost). Uppgifterna på första duggan ska alltså beröra de tre första kapitlen i boken samt eventuellt varianter av de kombinatoriska spel ni undersökt.

Om ni tycker er ha hittat några spännande spel eller lösningar på spel, så kan ni skriva ner detta individuellt eller parvis. Detta arbete behöver alltså inte nödvändigtvis sammanfalla med gruppindelningen ovan (liten ändrig från stencilen ovan). Jag kommer att ta upp intressanta spel och lösningar kort på föreläsningstid allt eftersom och i den mån de kommer in till mig. Om ni har ett bra spel med en klurig matematisk lösning kan vi även prova att alla spelar det vid lämpligt tillfälle. Jag kommer att ge er en till stencil nästa vecka med ett par ytterligare spel som hör till vissa moment i kursboken!

Nu har jag skrivit ner lite mer om kombinatoriska spel som vi använder under kursen: 
Stencil nummer 2 om kombinatoriska spel:  här.

Enligt planeringen ska vi ju utvärdera Dugga 1 på måndag 10/2. Förslag: om ni efter detta gör eventuella slutjusteringar av era duggor samt lösningar och skickar sista versionen till mig (skriv gruppnummer och pingpong i epostrubriken) så ska jag lägga upp dessa på pingpong så att alla kan nå allas duggor med lösningar.

Vi har ju redan pratat om lösningen av de kombinatoriska spelen Nim och "21". Nu har vi, för att illustrera rekursion, även studerat spelet Wythoff Nim med dess eleganta lösningar, där vi även tar upp gyllene snittet. Funktionsbegreppet behandlas i övningar på lektionstid.

Kurs-pm finns här.

Jag har uppdaterat "kurs-programmet" nedan till sin troligtvis slutgiltiga form. Om ni har synpunkter och idéer om ändringar på de sista två kursveckorna, så är det bra om vi pratar om det innan duggan, som ligger planerad måndag kursvecka 7. Inlämning av duggauppgiter till dugga 2, bör ske under veckan som kommer,, senast fredag förmiddag, då jag även kommer att finnas på kontoret på plan 4, Jupiter (OBS! jag har bytt kontor till timlärarrummet!). Jag tror att gruppindelningen kanske ännu inte var riktigt löst för alla... Det är mitt misstag OCH en del vill ju hellre jobba självständigt. Vi gör så här: ni som inte har fått en bra gruppindelning, skicka en individuell uppgift med facit till mig och skriv i rubriken utan gruppnr, så skapar vi en grupp för er vid duggatillfället.

Vi har haft ett "mittmöte". Det vore bra om ni som deltog kunde samla er och skriva en lite rapport om vad som sades. Jag förstod det soma tt det viktigaste var: Undervisning om mängdlära bör ses över, i synnerhet eftersom det finns överlappningar med den parallella kursen i statistik. Vi borde ha med en del grafteori i den här kursen, i synnerhet eftersom det relaterar så bra till övriga kursmoment. Man skulle alltså kunna minska på mängdläran och öka på grafteorin! Modellen med utformning av duggor och facit har fungerat bra. Kanske missade jag någon punkt här?

Lycka till med dugga 2, deadline för inlämning fredag förmiddag: skicka gärna både pdf och förlaga i .doc, .tex eller vad ni använder, till: urban.larsson@chalmers.se. Vi försöker i störta möjliga mån undvika handskrivna uppgifter och facit, eftersom det försvårar handhavandet i samband med uppladdnign till pingpong med mera. Om det är OK med er så lägger jag upp uppgifter och facit precis som de ser ut vid duggatillfället denna gång (om det återstår små fel, så finns era epost-adresser med i dokumentet, så det går bra att höra av sig och diskutera). Jag kommer alltså även att lägga upp en övningstenta med fullständiga facit i mitten av nästa vecka.

Nu finns en lite längre övningstenta här, med facit här. På sista föreläsningen 6 mars, tittar vi på den, samt repeterar det som behövs efter utvärdering av dugga 2. Det finns även chans att göra dugga 2, för de som inte kunde komma i måndags, men helst gör vi det på lektionen på fredag morgon. Övrigt material att träna på ligger under Dokument i pingpong, dugga 1 och dugga 2.

Nu finns facit till tentan här. Jag har fått fråga om varför maxpoäng är satt lite högre än vanligt på Chalmers. Jag har gjort så för att jag vill undvika ge halvpoäng på uppgifterna. För maximal poäng på en uppgift måste man ha en mycket bra motivering och redovisning av sitt svar (motsvarande högsta betyg enligt kurs-pm).

Jag finns på Jupiter för hämtning (efter signering) av rättade tentor måndag 31 mars kl 14-16 och tisdag 1 April kl 11-13. Eventuella rättning/justerning av bedömning gör vi i samband med att ni hämtar era tentor.

Här är lösningsförslag till augustitentan.
Lärare
Kursansvarig: Urban Larsson, urban.larsson@chalmers.se
Övningsledare: Urban Larsson
Kurslitteratur
Algebra och diskret matematik, Johan Jonasson och Stefan Lemurell.
Lista på tryckfel i boken, förra upplagan (grön), finns  här.
Föreläsningarna omfattar avsnitten(enligt gamla upplagan; för nya upplagan, se nedan under Program: numrering enligt nya boken, föreläsningar)

1:2-7, 9-10 (inte alla bevis)
2:1-3
3:1-2, 5
6:1-4
7:1-4 (inte alla bevis)

Ni kommer även att få lite material om kombinatoriska spel under kursens gång. Det mesta kommer att presenteras direkt på föreläsningar och i efterhand läggas ut på hemsidan. Detta material handlar bara om experiment och problemlösning, till skillnad från boken som även har en mer teoretisk utformning. Vi kommer inte att gå på djupet med alla bokens bevis i den här kursen. (Det finns en liknande mer omfattande kurs där man gör det.) Men det ingår att förstå enkel bevisföring. Som ni ser i planeringen, lägger vi lite extra tyngpunkt på kapitel 1 i början av kursen.
Program: numrering enligt förra upplagan av boken, den gröna.


Föreläsningar (numrering enligt gamla upplagan)
Dag Avsnitt
Innehåll
20/1
1:2-3
Introduktion, Några övningar i kombinatoriska spel. Lite om logik, Utsagor, Konjunktion, Disjunktion och negation
23/1
1:4-7
Logik, fortsättning, Implikation och ekvivalens, Tautologi och logisk ekvivalens, Argument och bevis, Logisk implikation
27/1
1:9-10
Predikat, allkvantorn och existenskvantorn, Logisk fullständighet
30/1
2:1-3
Mängdlära, Delmängder, Mängdoperatorer
3/2
3:1-2, (6-8)
Funktioner, Injektivitet, surjektivitet, bijektivitet och invers. Kort om relationer.
6/2
Dugga 1

10/2
Utvärdering av Dugga 1, Repetition
Även lösningar av kombinatoriska spel
13/2
3:5, 6:1-2
Summor, Induktion, Rekursion
17/2
6:3-4
Induktion fortsättning, Aritmetiska och geometriska summor, Motbevis
20/2
7:1
Delbarhet, Divisionsalgoritmen, Euklides algoritm
24/2
7:2-3
Primtal, Aritmetikens fundamentalsats, Diofantiska ekvationer
27/2
7:4
Kongruensräkning och efter förfrågan från er, kanske lite grafteori om vi hinner; kombinatoriska spel exemplifierar induktion, logik, delbarhet och kongruens, med mera
3/3
Dugga 2

6/3
Utvärdering av Dugga 2, Repetition
Tentaövningar


Rekommenderade övningsuppgifter (numrering enligt gamla upplagan)
Kursvecka
Uppgifter
1
1.12: 1, 2, 3, 4, samt konstruktion av kombinatoriskt spel
2
1.12: 8a,b,c,d,e, 9, 10, 13, 14, 16
3
2.5: 1, 2, 4, 6, 7, 8, 9, 10
4-5
3.11: 1, 2, 3, 5, 7, 14, 19, även om relationer 3.11: 20, 22, 23, 26 och 6.6: 1, 2, 3, 4, 5, 6
6
7.9: 1, 2, 3, 6, 7, 8, 9, 10, 11, 12, 13, 14, 21
7
Repetition, Tentaövningar

Program: numrering enligt nya upplagan av boken, den röda.


Föreläsningar (numrering enligt nya upplagan)
Dag Avsnitt
Innehåll
20/1
1:2-3
Introduktion, Några övningar i kombinatoriska spel. Lite om logik, Utsagor, Konjunktion, Disjunktion och negation
23/1
1:4-7
Logik, fortsättning, Implikation och ekvivalens, Tautologi och logisk ekvivalens, Argument och bevis, Logisk implikation
27/1
1:9-10
Predikat, allkvantorn och existenskvantorn, Logisk fullständighet
30/1
2:1-3
Mängdlära, Delmängder, Mängdoperatorer
3/2
3:1-2, (6-8)
Funktioner, Injektivitet, surjektivitet, bijektivitet och invers. Kort om relationer.
6/2
Dugga 1

10/2
Utvärdering av Dugga 1, Repetition
Även lösningar av kombinatoriska spel
13/2
3:5, 4:1-2
Summor, Induktion, Rekursion
17/2
4:3-4
Induktion fortsättning, Aritmetiska och geometriska summor, Motbevis
20/2
5:1
Delbarhet, Divisionsalgoritmen, Euklides algoritm
24/2
5:2-3
Primtal, Aritmetikens fundamentalsats, Diofantiska ekvationer (bytt kapitelordning i nya boken)
27/2
5:4
Kongruensräkning och efter förfrågan från er, kanske lite grafteori om vi hinner; kombinatoriska spel exemplifierar induktion, logik, delbarhet och kongruens, med mera
3/3
Dugga 2

6/3
Utvärdering av Dugga 2, Repetition
Tentaövningar

Rekommenderade övningsuppgifter (numrering enligt nya upplagan)
Kursvecka
Uppgifter
1
1: 1, 2, 3, 4, samt kontruktion av kombinatoriskt spel
2
1: 7a,b,c,d,e, 8, 10, 12, 13, 15
3
2: 1, 2, 6, 7, 8, 9, 11, 12
4-5
3: 1, 2, 3, 4, 5, 6, 7, 33 även om relationer 3: 20, 22, 23, 25 och 4: 1,2,3,4, 21, 22
6
5: 1, 2, 5, 9, 13, 14, 16, 17, 18, 29, 36, 38, 39
7
Repetition, Tentaövningar

Kursens mål och utformande


Kurskrav
Kursens mål finns angivna i kursplanen. Vi använder kombinatoriska spel som tillämpning på den mer teoretiska delen i boken. Ni kommer alltså även att spela spelen för att även se hur diskret matematik fungerar för lite mer tillämpade frågor. Kurs-pm finns här.
Duggor
Vi kommer att ha två duggor under kursen. Detta är ett obligatoriskt kursmoment. Ni kommer själva att gruppvis fundera ut duggafrågor till era kurskamrater, se även planering ovan (Aktuella meddelanden). Ni kontrollerar med mig innan duggatillfället att era lösningar är OK. Ni rättar sedan gruppvis era kurskompisars lösningar. Observera att duggorna ligger på föreläsningstid. Förberedelser inför duggorna sker lämpligtvis under lektionstid, då jag är mer tillgänglig för diskussioner om uppgifterna. Alla duggor samlas in och kommer att ligga till grund för utformning av tentamen. Utvärderingen av duggorna kommer att vara på föreläsningstid direkt efter duggatillfället. Inga bonuspoäng delas ut efter prestationen på duggorna, men de kommer att ha stor inverkan på utformningen av tentamen, så de utgör ett viktigt moment i kursen; kanske det viktigaste. Jag kommer ofta att finnas tillgänglig för diskussioner även någon timme efter lektionstid på mitt kontor i Jupiter 4 vån. Välkomna! Ett mitt-terminsmöte skulle passa bra strax efter Dugga 1, i mitten av februari.
Examination
 Tentamen enligt anslag.
Rutiner kring tentamina
I Chalmers Studentportal kan du läsa om när tentor ges och om vilka regler som gäller kring att tentera på Chalmers.

Vid tentamen ska du kunna uppvisa giltig legitimation och kvitto på erlagd kåravgift.

Meddelande om resultat får du med epost, som skickas automatiskt när resultaten är registrerade. Alternativt kan du gå till Ladok via inloggning i Studentportalen.

Granskning vid ordinarie tentamen:
Då det är praktiskt möjligt ordnas ett separat granskningstillfälle av tentamen. Tidpunkt för detta meddelas på kurshemsidan. Den som inte kan delta vid granskningen kan efter granskningstillfället hämta och granska sin tenta på Matematiska vetenskapers studieexpedition, måndag till fredag, kl 9.00-13.00. Kontrollera att Du har fått rätt betyg och att poängsumman stämmer. Eventuella klagomål på rättningen ska lämnas skriftligt på expeditionen, där det finns en blankett till hjälp.

Vid omtentamen:
Tentorna granskas och hämtas ut på Matematiska vetenskapers studieexpedition, måndag till fredag, kl 9.00-13.00. Eventuella klagomål på rättningen ska lämnas skriftligt på expeditionen, där det finns en blankett till hjälp.
Kursutvärdering
I början av kursen bör minst två studentrepresentanter ha utsetts för att tillsammans med lärarna genomföra kursutvärderingen. Utvärderingen sker genom samtal mellan lärare och studentrepresentanter under kursens gång samt vid ett möte efter kursens slut då enkätresultatet diskuteras och rapport skrivs. Se följande mall för Utvärdering av kurser i studentportalen.
Gamla tentor
 Kommer efter dugga 2 i mitten av kursvecka 7!