Diskret matematik - 1


1. kursusgang , tirsdag den 3. februar 8.15-12.00


Forelæsning i Auditorium 1, 8.15 - 8.45:

Afsnit 1.6:  Bevisteknikker, især modstridsbeviser (proof by contradiction).


Opgaveregning 8.45 - 10.40:

Opgave i afsnit 1.1: 44. Hvilken bevisteknik benyttes?

Opgaver i afsnit 1.6:  7, 23, 39, 40.

Opgave til afsnit 1.6:
Vis at log2(3) er irrational.
(19/12 bliver dog anvendt som en approximation. Se eventuelt appendix A-2 om logaritme funktioner).

Opgaverne kan læses her
 

Forelæsning i Auditorium 1, 10.40 - 12.00:

Afsnit 3.1:  Introduktion til algoritmer. Eksempler på algoritmer og beviser for at algoritmer virker efter hensigten. Afsnittet "The Halting Problem" udsættes til næste kursusgang.
Slides

Afsnit 3.2:  Store O notation. Hvor hurtigt vokser en funktion.