Diskret matematik - 1

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

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 log₂(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.