Ugeprogram semesteruge 1

Udsagnslogik

Den første uge af kurset bruges på en indføring i udsagnslogik. Udsgnslogik 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 kapitel [01 - Udsagnslogik]. Lærebogen kan købes i DTU Polyteknisk boghandel.

Opgaver

Opgaver StoreDag

Opgaver LilleDag