Kurset starter tirsdag den 6. september. Der skal ikke købes nogen lærebog.
Pensum til eksamen er alt materiale (som regel slides) angivet på denne
webside under F-timer. Hvis der til et punkt er angivet yderligere
materiale som ikke er pensum, er dette ikke nødvendigt at læse for
at kunne regne opgaverne eller gå til eksamen (dette ekstramateriale er
blot ment som en service for personer, der efterspørger noget sådant).
| Uge |
Type |
Dato |
Tid |
Lokale |
Indhold |
| 36 |
F |
Tirsdag 6/9 |
12-14 |
U20 |
Kursusintroduktion.
Repræsentation af tal ved Rolf Fagerberg.
|
| 36 |
F |
Torsdag 8/9 |
14-16 |
U20 |
Afslutning af Repræsentation af tal.
Boolsk algebra og gates ved Rolf Fagerberg.
|
| 37 |
F |
Tirsdag 13/9 |
12-14 |
U47
|
Afslutning af Boolsk algebra og gates. Bemærk (ikke pensum), at selv om Boolsk algebra på
CPU'er implementeres via strøm og elektronik, er dette ikke en
nødvendighed. Enhver teknologi, som kan implementere logiske gates,
kan i princippet bruges. F.eks. blev der i 1964 bygget en computer
baseret på luftstrømme . Se også
denne artikel.
|
| 37 |
F |
Torsdag 15/9 |
14-16 |
U20 |
CPUer og maskinkode, ved Rolf Fagerberg. CPU
simulator (Johan Fagerberg,
baseret på forlæg af J. Glenn Brookshear).
De to eksempelprogrammer fra slides om CPU:
bytOmPåToTal.txt og
udskrivStigendeSekvens.txt.
[For yderligere
materiale (ikke pensum) om Boolean algebra, gates og
CPUer/maskinkode
se f.eks. slides fra
Alvin
Lebeck's kursus, specielt
disse,
disse
og delvist disse.]
|
| 37(-38) |
E |
|
|
|
Opgaver. Løsninger
(med nummerering fra E21).
|
| 38 |
F |
Tirsdag 20/9 |
12-14 |
U20
|
Satisfiability, ved Anton Danholt
Lautrup. Eksamensrelevant indhold: side 3-16, 20-23 og 28-37. Bemærk
at i slides bruges ordene "conjunction" for AND og "disjunction" for
OR.
|
| 38 |
F |
Torsdag 22/9 |
13-14 |
U20
|
Start på feature spaces and clustering,
ved Melih Kandemir. Eksamensrelevant indhold: side 13-19 og
31-40. [For yderligere materiale (ikke
pensum) om Lp-normer, se f.eks.
dette underafsnit af den engelske Wikipedia-side om
Lp-rum..]
|
| 38(-39) |
E |
|
|
|
Opgaver. Løsninger
(med nummerering fra E21).
|
| 39 |
F |
Tirsdag 27/9 |
12-14 |
U20
|
Afslutning af feature spaces and
clustering, ved Melih Kandemir. Eksamensrelevant indhold: side 13-19
og 31-40. [For yderligere materiale (ikke
pensum), se f.eks. side 1-10 af Zijun Zhangs slides
om k-means og side 1-28 af David Sontags
slides om k-means].
|
| 39 |
F |
Torsdag 29/9 |
14-16 |
U20
|
Start på algoritmer, asymptotisk notation,
invarianter, ved Lene Monrad Favrholdt.
|
| 39(-40) |
E |
|
|
|
Opgaver. Løsninger
(med nummerering fra E21).
|
| 40 |
F |
Tirsdag 4/10 |
12-14 |
U20
|
Afslutning på algoritmer, asymptotisk notation,
invarianter, ved Lene Monrad Favrholdt. Første del (ud af seks) af
eksamen i kurset: 30 minutters online multiple-choice test i
klassen. Pensum for denne eksamen vil være materialerne om
repræsentation af tal, Boolsk algebra og gates. For alle emner
inkluderer materialet både slides og de tilhørende opgaver i
øvelsestimerne (ugerne 37(-38) og 38(-39)). For evt. yderligere
materiale angivet i gråt og med betegnelsen "(ikke pensum)" er dette
naturligvis ikke med i pensum.
|
| 40 |
F |
Torsdag 6/10 |
13-15 |
U20
|
Start på merging og hashing, ved Rolf
Fagerberg.
|
| 40(-41) |
E |
|
|
|
Opgaver. Løsninger
(med nummerering fra E21) samt løsninger til
programmeringsopgaverne (i Java og med nummerering fra E21).
|
| 41 |
F |
Tirsdag 11/10 |
12-14 |
U20
|
Afslutning af merging og hashing, ved Rolf
Fagerberg. Midtvejsevaluering af kurset.
|
| 41 |
F |
Torsdag 13/10 |
10-12 |
U20
|
Start på machine learning, ved Marco
Chiarandini. Se også Marco's
supplerende note om emnet (er en del
af pensum).
|
| 41(-43) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21), som for nogle svar refererer til
en yderligere fil.
|
| 43 |
F |
Tirsdag 25/10 |
12-14 |
U20
|
Afslutning af machine learning, ved Rolf
Fagerberg (slides fra Marco Chiarandini). Se også Marco's
supplerende note om emnet (er en del
af pensum).
|
| 43 |
F |
Onsdag 26/10 |
12-14 |
U20
|
Anden del (ud af seks) af eksamen i kurset: 30 minutters online
multiple-choice test i klassen. Pensum for denne eksamen vil være
materialerne om CPU/maskinkode og om Satisfiability. For alle emner
inkluderer materialet både slides og de tilhørende opgaver i
øvelsestimerne (ugerne 39(-40) og 40(-41)). For evt. yderligere
materiale angivet i gråt og med betegnelsen "(ikke pensum)" er dette
naturligvis ikke med i pensum.
Datalogiens historie, ved Rolf
Fagerberg. Dette emne er ikke eksamenspensum, dvs. vil ikke danne
baggrund for eksamensspørgsmål. For nogle danskere med indflydelse på
datalogiens historie, se
denne
artikel på dr.dk. For mere om Charles Babbage, se
Computer History
Museum.
|
| 43(-44) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 44 |
F |
Tirsdag 1/11 |
12-14 |
U20
|
Start på modeller for
beregning, ved Kevin Schewior. [For yderligere
materiale (ikke pensum) om DFA'er, se f.eks. slides
af Henrik Nilsson.]
|
| 44 |
F |
Torsdag 3/11 |
12-14 |
U20
|
Mere om modeller for
beregning, ved Kevin Schewior. [For yderligere
materiale (ikke pensum) om CFG'er, se f.eks. slides
1 (et sprog er regulært, hvis der findes en DFA som genkender
strengene i sproget) og slides
2 af Henrik Nilsson.]
Start på regulære udtryk, ved Rolf Fagerberg.
|
| 44(-45) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 45 |
F |
Tirsdag 8/11 |
12-14 |
U20
|
Afslutning af regulære udtryk, ved Rolf Fagerberg.
Hvis man vil vide mere om effektiv implementation af søgning med
regulære udtryk og sammenhængen med forskellige typer endelige
automater, se denne webside
af Russ Cox (ikke pensum).
Tredie del (ud af seks) af eksamen i kurset: 40 minutters online
multiple-choice test i klassen. Pensum for denne eksamen vil være
materialerne om feature spaces og clustering (Melih Kandemir) samt om
algoritmer, asymptotisk notation og invarianter (Lene Monrad
Favrholdt). For alle emner inkluderer materialet både slides og de
tilhørende opgaver i øvelsestimerne (ugerne 41(-43) og 43(-44)). For
evt. yderligere materiale angivet i gråt og med betegnelsen "(ikke
pensum)" er dette naturligvis ikke med i pensum.
|
| 45(-46) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 46 |
F |
Tirsdag 15/11 |
12-14 |
U20
|
Online algoritmer, ved Kim
Skak Larsen.
|
| 46 |
F |
Torsdag 17/11 |
12-14 |
U20
|
Start på databaser, ved Rolf Fagerberg.
|
| 46(-47) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 47 |
F |
Tirsdag 22/11 |
12-14 |
U20
|
Slut på databaser, ved Rolf Fagerberg.
[For yderligere materiale (ikke pensum) om
relational algebra og om SQL, se f.eks. Johannes
Gehrke's slides, Tutorialspoints,
w3school, Khan
Academy, Phil Spector's
slides, PostgreSQL's
dokumentation.]
|
| 47 |
F |
Torsdag 24/11 |
12-14 |
U20
|
Start på korteste veje i grafer
(kode fra slides), ved Daniel Merkle.
Fjerde del (ud af seks) af eksamen i kurset: 45 minutters online
multiple-choice test i klassen. Pensum for denne eksamen vil være
materialerne om merging og hashing (Rolf Fagerberg) samt om machine
learning (Marco Chiarandini og Rolf Fagerberg). For alle emner
inkluderer materialet både slides og de tilhørende opgaver i
øvelsestimerne (ugerne 44(-45) og 45(-46)). Også Marcos noter er
pensum. For evt. yderligere materiale angivet i gråt og med
betegnelsen "(ikke pensum)" er dette naturligvis ikke med i pensum.
|
| 47(-48) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 48 |
F |
Tirsdag 29/11 |
12-14 |
U20
|
Afslutning af korteste veje i grafer
(kode fra slides), ved Daniel Merkle.
|
| 48 |
F |
Torsdag 1/12 |
12-14 |
U20
|
Start på kryptologi, ved Joan Boyar. Side 1-21 blev
gennemgået.
|
| 48(-49) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 49 |
F |
Tirsdag 6/12 |
12-14 |
U20
|
Mere om kryptologi, ved Joan Boyar. Side 22-44 blev
gennemgået.
Femte del (ud af seks) af eksamen i kurset: 50 minutters online
multiple-choice test i klassen. Pensum for denne test vil være
materialerne om modeller for beregning (Kevin Schewior), regulære
udtryk (Rolf Fagerberg) og online algoritmer (Kim Skak Larsen). For
alle emner inkluderer materialet både slides og de tilhørende opgaver
i øvelsestimerne (ugerne 46(-47) og 47(-48)). For evt. yderligere
materiale angivet i gråt og med betegnelsen "(ikke pensum)" er dette
naturligvis ikke med i pensum.
|
| 49 |
F |
Torsdag 8/12 |
12-14 |
U20
|
Afslutning af kryptologi, ved Joan Boyar. Emnerne
fra dele af slides kan også læses i dette
notesæt om de algoritmiske aspekter af RSA (er
en del af pensum). [For yderligere materiale
(ikke pensum): Keith Conrad har mange velskrevne noter
om dette emne (og meget andet), se f.eks. hans noter om Fermats
lille sætning, Fermat-testen,
Carmichael-tal,
og Rabin-Miller-testen.]
|
| 49(-50) |
E |
|
|
|
Opgaver.
Løsninger (med nummerering
fra E21).
|
| 50 |
F |
Torsdag 15/12 |
12-14 |
U181 |
3D-grafik, ved Rolf Fagerberg. [Dette er ikke
eksamenspensum, dvs. vil ikke danne baggrund for eksamensspørgsmål.]
|
| 50 |
E |
|
|
|
Opgaver.
Løsninger del 1 og
del 2 (med nummerering fra
E21).
|
| 51 |
F |
Tirsdag 20/12 |
12-14 |
U20
|
Sjette del (ud af seks) af eksamen i kurset: 65 minutters online
multiple-choice test i klassen. Pensum for denne test vil være
materialerne om databaser (Rolf Fagerberg), korteste veje i grafer
(Daniel Merkle) og kryptologi (Joan Boyar). For alle emner inkluderer
materialet både slides og de tilhørende opgaver i øvelsestimerne
(ugerne 48(-49), 49(-50) og 50). Også notesættet om de algoritmiske
aspekter af RSA er pensum. For evt. yderligere materiale angivet i
gråt og med betegnelsen "(ikke pensum)" er dette naturligvis ikke med
i pensum.
|