Diskret Matematik, 3. kursusgang, onsdag den 12. februar
Forelæsning, 8.15-8.45:
Mere om åbne udsagn, kvantorer og slutningsregler.
Slides
Tavle
Opgaveregning 8.45-10.45:
Opgaver i afsnit 1.4:
- Oversæt mellem matematiske udsagn og engelske tekster
1, 4, 5, (7)
- Bestem sandhedsværdi af matematiske udsagn
9, (19) - Bevis logisk ækvivalens
(27) - Vis ikke-ækvivalens
(30)
Opgaver i afsnit 1.5:
- Oversæt udsagn til engelsk (eller dansk)
1, 3 - Udtryk matematiske udsagn ved hjælp af prædikater, kvantorer og logiske konnektiver
11 - Omskriv udsagn med negationer og kvantorer
17 - Bestem sandhedsværdi af udsagn om alle heltal
(13) - Find modeksempler
(21)
Opgaver i afsnit 1.6:
- Hvilken slutningsregel benyttes
1, 2, 5 - Find fejlen/fejlene i et argument
17, (16)
Forelæsning, 10.45-12.00:
Afsnit 1.8: Introduktion til bevismetoder
Afsnit 1.9: Bevis metoder
Afsnit 2.1: Mængder
Tavle