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. 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

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. 28. oktober, 2016