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.

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