At lære en række af begreber fra logik, mængdelære og Boole'sk
algebra. Disse begreber bliver andvendt for at gennemfølre direkte,
indirekte og induktionsbeviser. At kunne løse nogle enkle
rekursionsligninger samt bruge begrebet frembringende
funktion.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Opstille og udvikle logiske udtryk, mængdeudtryk og udtryk fra
Boole'ske algebra.
Reducere logiske udtryk, mængdeudtryk og udtryk fra Boolsk
algebra.
Håndtere kanoniske former af logiske udtryk.
Redegøre for principperne i direkte og indirekte beviser
Gennemføre direkte og indirekte beviser
Redeføre for principperne i induktionsbeviser og kunne
gennemføre simple induktionsbeviser
Kunne opstille enkle rekursionsligninger
Kunne løse enkle lineære rekursionsligninger
Håndtere enkle frembringende funktioner
Kursusindhold:
I dette kursus gennemgås en række af begreber fra logik, mængdelære
og Boole'sk algebra. Disse begreber bliver andvendt for at
gennemfølre direkte, indirekte og induktionsbeviser. At kunne løse
nogle enkle rekursionsligninger samt bruge begrebet frembringende
funktion.
