Diskret matematik - 1

1. kursusgang , fredag den 5. februar 

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

Opgaveregning 8.40-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 er altså kun en approximation [bruges i musik]. Se eventuelt appendix A-2 om logaritme funktioner).

Opgave i afsnit 2.3:  17.

Forelæsning i Auditorium 3, 10.40 - 11.20:

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.

Lidt fra starten af Afsnit 3.2:  Store O notation. Hvor hurtigt vokser en funktion.