Ugeprogram semesteruge 1

Udsagnslogik

Den første uge af kurset bruges på en indføring i udsagnslogik. Udsagnslogik er vigtig i matematik, da det er en af byggestenene i hvordan matematiske udsagn er formulerede og i hvordan matematiske argumenter præsenteres.

Ugens nøglebegreber

De logiske symboler “og”, “eller” og “medfører”. Logiske ækvivalenser. Regneregler i udsagnslogik. Bevistyper: modstridsbevis og kontrapositionsbevis.

Forberedelse og pensum

Til denne uge hører det første kapitel ‘01 - Udsagnslogik’ fra [lærebogen]. Det anbefales at læse kapitlet inden man møder op til undervisningen og eventuelt igen efter at have arbejdet med stoffet. På Store Dag gennemgås det meste af Afsnit 1.1, 1.2, 1.3 og 1.5. Resten af kapitel 1 behandles på Lille Dag.

Lærebogen kan downloades elektronisk på hjemmesiden og købes i DTU Polyteknisk boghandel. Til eksamen kan man ikke bruge en elektronisk version, så det anbefales at få et fysisk eksemplar.

Opgaver

Opgaver StoreDag

Opgaver LilleDag