Diskret matematik - 1

1. kursusgang , onsdag den 2. 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, 10.40 - 12.00:

Afsnit 1.1  og 1.2: Logik