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 lære at gennemføre enkle kombinatoriske beregninger. At kunne løse nogle enkle rekursionsligninger. 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
• At gennemføre enkle kombinatoriske beregninger
• Opstille enkle rekursionsligninger
• Løse enkle lineære rekursionsligninger

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 gennemføre enkle kombinatoriske beregninger. At kunne løse nogle enkle rekursionsligninger. 04. maj, 2023