Dag
|
Sal |
Avsnitt
|
Innehåll
|
Mån 29 okt |
HC2 |
1.1-1,6, 2.1--2.4 |
Kursintroduktion.
Matematiska argument och bevis. OH
från föreläsningen |
Tis 30 okt |
HC2 |
1.7-1.9, 3.1--3.4 | Tema logik
börjar: Predikatlogik. Funktioner, variabler. |
Fre 2 nov |
HB4 |
3.6--3.9 | Relationer. |
Tis 6 nov |
HC2 |
6.1--6.2 | Ekvivalensrelationer. Partiella ordningar. |
Tor 8 nov |
HA1 |
6.3--6.4 |
Motsägelsebevis. Induktion, rekursion. |
Fre 9 nov |
HB4 |
Temaföreläsning
1: Thierry Coquand |
|
Tis 13 nov |
HC2 |
7.1 | Heltalsaritmetik
börjar: delbarhet, division med rest. |
Fre 16 nov |
HB4 |
7.2--7.3 |
Euklides algoritm,
diofantiska ekvationer, primtal. |
Tis 20 nov |
HC2 |
7.2, 7.4 |
Primtal, kongruensräkning. |
Tor 22 nov |
HA1 |
Kinesiska restsatsen, Eulers phi-funktion. | |
Fre 23 nov |
HB4 |
7.5--7.6 |
Temaföreläsning 2: Andrei
Sabelfeld: talteori och kryptering. RSA-algoritmen |
Tis 27 nov |
HC2 |
Kap 7 |
Mer om primtal och
algoritmer. |
Fre 30 nov |
HB4 |
Kap 8 |
Kombinatorik
börjar: multiplikationsprincipen, permutationer |
Tis 4 dec |
HC2 |
Kap 8, stencil |
Additionsprincipen,
lådprincipen |
Tor 6 dec |
HA1 |
Temaföreläsning 3: Niklas
Eriksen: Grafer bakom Google |
|
Fre 7 dec |
HB4 |
9.1--9.4 |
Grafer och träd |
Tis 11 dec |
HC2 |
Kap 9 |
Grafer och träd |
Fre 14 dec |
HB4 |
Samanfattning. |
|
15 dec |
Maskin |
8.30--12.30 |
Tentamen |
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 (nu med 3 uppgifter!) |
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, alla uppgifter utom 6,
7, 10. |
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