Diskret Matematik, 2. kursusgang, fredag den 7. februar
Forelæsning, 8.15-8.45:
Mere om udsagnslogik, ækvivalens af sammensatte udsagn.
Slides
Tavle
Opgaveregning 8.45-10.45:
Lav først opgaver, der ikke er skrevet i parentes. Hvis der derefter er tid til det så lav opgaverne skrevet i parentes.
Opgaver i afsnit 1.3:
- Brug sandhedstabeller til at vis ækvivalens og tautologi
3, 5, 9 - Vis tautologi uden sandhedstabel
7
Opgaver i afsnit 1.2:
- Oversæt engelske sætninger til symboler
3 - Logic puzzle
9 - Logiske kredsløb
23
Opgaver i afsnit 1.3:
- Sammensat udsagn på specielle former
19, 20, 21, (22, 23) - Satisfiability
37, (39)
Forelæsning, 10.45-12.00:
Afsnit 1.4: Prædikater og kvantorer.
Afsnit 1.5: Kvantorer inden i hinanden
Afsnit 1.6: Slutningsregler
Tavle