Discrete wiskunde, april 2005

Algemeen
Rooster
Beoordeling en Deadlines
Literatuur

Algemeen

Discrete Wiskunde wordt verzorgd door T.H. Koornwinder met assistentie van F.J. van de Bult.
Het is een onderdeel van het vak Datastructuren en Discrete Wiskunde bestemd voor 1ejaars bachelor informatica.
I. Bethke verzorgt het onderdeel Datastructuren en is tevens coördinerend docent van dit vak.

Rooster

vier hoorcolleges door Koornwinder op dinsdag 5, 12, 19 en 26 april, 13.15-15.00 uur, zaal P.227
vier werkcolleges door Van de Bult op woensdag 6, 13, 20 en 27 april, 13.15-15.00 uur, zaal P.017
twee Mathematica-practica door Van de Bult op donderdag 7 en 21 april, 9.30-11.30 uur, zaal P.127

Beoordeling en deadlines

Beoordeling op basis van inleverwerk i.v.m. werkcollege en practicum. Inlevering in twee series:

Deadline serie 1 op donderdag 21 april.
Deadline serie 2 op maandag 9 mei.

Inleveren in postvakje F. van de Bult in gebouw Euclides (dus niet in postvakje Wiskunde-practicum INF). Lever ook het Mathematica-werk geprint in hardcopy op deze wijze in.
Het inleverwerk n.a.v. de werkcolleges moet individueel worden gedaan. Bij het Mathematica-werk mag er in koppels worden gewerkt (maar mag er ook individueel worden gewerkt). Het Mathematica-werk telt voor 1/4 mee in het cijfer voor het inleverwerk bij inleverserie 1; bij inleverserie 2 is dit voor de helft.

Het gemiddelde cijfer voor de twee inleverseries is het eindcijfer voor het onderdeel discrete wiskunde en het telt voor 1/2 (dus 3 EC) mee in het eindcijfer voor het vak Datastructuren en Discrete Wiskunde. Echter moeten de cijfers voor Discrete Wiskunde en voor Datastructuren allebei minstens 6 zijn om voor het vak geslaagd te zijn.

Eventuele herkansing voor het onderdeel Discrete Wiskunde op afspraak met T.H. Koornwinder.

Literatuur

Syllabus wiskunde voorbereidend: discrete wiskunde.
Hieruit als herhaling § 5.2 (bewijzen met volledige inductie) en § 4 (permutaties en combinaties).
E.M. van de Vrie, R.J. Beerends e.a., Discrete wiskunde, Academic Service (Open Universiteit), 1999, ISBN 9039510261.
Hieruit §8.3 (volledige inductie).
G.E. Martin, Counting: the art of enumerative combinatorics, Springer, 2001, ISBN 0-387-95225-X.
Hieruit een aantal paragrafen uit Chapters 1 (Elementary enumeration), 2 (The principle of inclusion and exclusion), 6 (recurrence relations), 8 (graphs). Zie ook The back of the book voor antwoorden van exercises.
M.T. Goodrich & R. Tamassia, Algorithm design: foundations, analysis, and internet examples, Wiley, 2002, ISBN 0-471-38365-1.
Hieruit §6.1 (The graph abstract data type), §5.2.1 (Divide-and-conquer recurrence equations).

to Tom Koornwinder's home page