01904 Diskret matematik

2024/2025

Kursusinformation
Discrete mathematics
Dansk
5
Diplomingeniør
Obligatorisk kursus (B Eng), IT og økonomi
Obligatorisk kursus (B Eng), IT-elektronik
Obligatorisk kursus (B Eng), Softwareteknologi
Tilvalgskursus (B Eng), Global Business og Engineering
Tilvalgskursus (B Eng), Sundhedsteknologi
E5A (ons 8-12)
Campus Lyngby
Der afholdes forelæsninger og grupperegning
[Kurset følger ikke DTUs normale skemastruktur]
E5A, F5A
Skriftlig eksamen og bedømmelse af øvelse(r)
Skriftlig eksamen: 2 timer
Alle hjælpemidler - uden adgang til internettet
7-trins skala , intern bedømmelse
01017.01019
Tyge Tiessen , Tlf. (+45) 4525 3009 , tyti@dtu.dk
Christian Majenz , Lyngby Campus, Bygning 322 , chmaj@dtu.dk
01 Institut for Matematik og Computer Science
I studieplanlæggeren
Overordnede kursusmål
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.
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
  • At gennemføre enkle kombinatoriske beregninger
  • Opstille enkle rekursionsligninger
  • Løse enkle lineære rekursionsligninger
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 gennemføre enkle kombinatoriske beregninger. At kunne løse nogle enkle rekursionsligninger.
Sidst opdateret
02. maj, 2024