Betyg | U | 3 | 4 | 5 |
antal studenter, (procent av tenterande) | 16 (24%) | 28 (43%) | 15 (22%) | 7 (11%) |
Dag
|
Avsnitt
|
Planerad Innehåll (viss
försjkutning kan ske)
|
|
Tis 27 okt |
1.1-1,6, 2.1--2.4 |
Kursintroduktion.
Matematiska argument och bevis. |
|
Ons 28 okt |
1.7-1.9, 3.1-3.4 | Tema logik
börjar: Predikatlogik. Funktioner,
variabler. OBS! lokal: VH |
|
Fre 30 okt |
3.6--3.8 | Relationer, Ekvivalensrelationer. Partiella ordningar. | |
Tis 3 nov |
6.1--6.4 | Induktion, rekursion, motsägelsebevis. | |
Fred 6 nov | Temaföreläsning
1: Logik i datavetenskap, Thierry Coquand |
||
Tis 10 nov |
7.1 | Heltalsaritmetik börjar: delbarhet, division med rest. | |
Ons 11 nov |
7.2--7.3 | Euklides algoritm, diofantiska ekvationer, primtal. | |
Fre 13 nov |
7.2, 7.4 | Primtal, aritmetikens fundatmentalsats. | |
Tis 17 nov |
7.4-7.5 |
Kongruensräkning, kinesiska restsatsen. | |
Ons 18 nov |
7.6 | Eulers phi-funktion. | |
Fre 20 nov |
7.7 | RSA-krypto. | |
Tis 24 nov |
Kap 7 | Kombinatorik börjar: multiplikationsprincipen, permutationer | |
Fre 27 nov |
8.1, 8.2 |
Additionsprincipen, lådprincipen, kombinationer. | |
Tis 1 dec |
Kap 8, stencil | Kombinatiorik, grafer | |
Ons 2 dec |
Temaföreläsning 2: talteori och kryptering. RSA-algoritmen, Björn von Sydow | ||
Fre 4 dec |
9.1--9.4 | Grafer och träd | |
Tis 8 dec |
Kap 9 | Grafer och träd, Temaföreläsning 3: Grafer bakom Google, Stefan Lemurell | |
Fre 11 dec |
Samanfattning och repetition. | ||
Tors 17 dec |
8.30--12.30 | Tentamen (preliminärt). Se studieportalen |
veckoblad1 |
Forma en grupp med ~4
studenter som vill jobba ihop. Börja med bokens
övningar, kap 1, 2, 3, (utom 1.15, 1.16). Ni gjorde redan de
flesta under introduktionskursen. Kolla att ni fortfarande kan
dem. Ser ni på dem på ett nytt sätt nu, med lite
mer erfarenhet? Gör de andra! |
veckoblad
2 |
Bokens övningar, kap 3,
funktioner och relationer,
alla uppgifter. Ni gjorde 1--16, 19 under introduktionskursen och
förra veckan. Kolla att ni fortfarande kan dem. Ser ni
på dem på ett nytt sätt nu, med lite mer erfarenhet?
Gör de kvarvarande. |
veckoblad
3 |
Bokens övningar,
kapitel 6, Induktions- och
motsägelsebevis. Alla uppgifter. För lite mer om induktivt definierade mängder, se J. Hein, kapitel 3.1 (Chalmers e-bibliotek, länk ovan, "litteratur") . Titta även genom Kapitel 4 i boken: {\bf Talen från grunden} |
veckoblad
4 |
Heltal: delbarhet, primtal, diofantiska
ekvationer, uppgifter 7.1, 7.2, 7.6--7.10 |
veckoblad
5 |
Alla uppgifter i kap 7: heltalen |
veckoblad
6 |
Kap 8, kombinatorik. |
veckoblad
7 |
Alla uppgifter i kap 8, kombinatorik och kap 9, grafer. |
Under måndagsövningarna arbetar vi huvudsakligen med att konstruera egna uppgifter.
Tanken med detta är man själv ska ikläda sig lärarrollen, vilket kräver en djup
förståelse av kursinnehållet. Detta görs gruppvis i samma grupper som på
övningarna. Varje grupp konstruerar två uppgifter per tema, inklusive lösningar,
och testar dem på en annan grupp. Uppgifterna bedöms och poängsätts; en
bra uppgift som gärna är av teoretisk karaktär ger höga poäng medan en ''vanlig''
övningsuppgift stulen ur en bok ger låga poäng. Man kan få upp till 4p totalt. Instruktionsblad