IT-Universitetet i København mit.ITU
Skift kodeord   English    Printervenlig
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Discrete Mathematics, MSc SD  Help
Kursusnavn (engelsk):Discrete Mathematics, MSc SD  Help
Semester:Efterår 2018  Help
Udbydes under:cand.it., softwareudvikling og -teknologi (sdt)  Help
Omfang i ECTS:7,50  Help
Kursussprog:Engelsk  Help
Kursushjemmeside:https://learnit.itu.dk  Help
Min. antal deltagere: Help
Forventet antal deltagere: Help
Maks. antal deltagere:68  Help
Formelle forudsætninger:Basic arithmetic.

Please note that this course is not open to bachelor-students. Instead bachelor students can take the SWU Bachelor course: Foundations of Computing - Discrete Mathematics BSc. 
I øvrigt skal man opfylde IT-Universitetets generelle optagelseskrav. Help
Læringsmål:After the course the student should be able to:

* Describe and apply formal definitions

* Conduct and explain basic formal proofs

* Work with regular languages and finite state machines

* Use models of computation and specification

* Use combinatorial reasoning

* Assess probabilities of events

* Use basic modular arithmetic  Help
Fagligt indhold:The course is an introduction to discrete mathematics as a foundation to work within the fields of computer science, information technologies, and software development. The course develops the necessary terminology and conceptual tools needed for later courses. This includes:

* formal reasoning, induction, set theory, relations and functions

* models of computation, such as finite state machines and grammars

* basic graph theory, language theory

* combinatorics, probability and number theory

The course aims at providing a basic understanding of the mathematical foundations of computer science.

Central terms and concepts: Logic, specifications, sets and sequences, functions, sums, induction and recursion, number theory, permutations and combinations, discrete probability, relations, graphs, trees, finite state machines, grammars and theory of computation.  Help
Læringsaktiviteter:14 ugers undervisning bestående af forelæsninger og øvelser

The course consists of 14 weeks of lectures and exercises.

* The lectures will provide the theory and examples of formal definitions, formal proofs, regular languages, state machines, models of computations, combinatorics, discrete probabilities and modular arithmetic (c.f. ILO).

* The weekly exercises are written exercises that train the students in working with and apply the theory introduced in the lectures. The problems that the students solve in the weekly exercises will prepare the students for the written exam, as the exam will contain problems of similar nature.  Help

Obligatoriske aktivititer:There are six mandatory assignments that have to be handed in though a peer grading system. For each assignment it is mandatory that the student gives peer feedback at a satisfactory level.

Be aware: The student will receive the grade NA (not approved) at the ordinary exam, if the mandatory activities are not approved and the student will use an exam attempt  Help
Eksamensform og -beskrivelse:X: Eksperimentel eksamensform., (7-scale, external exam)

4 hours written exam with no aids.
There is no access to advanced electronic tools such as computers, e-Readers or tablets.
Only old-fashioned pocket calculators and standard tools for writing on paper are allowed (pen, pencil, eraser, etc.).
Only use of pen is allowed for the final exam hand-in.

Form of re-exam is the same as the ordinairy exam.   Help

 
Undervisere
Følgende personer underviser på kurset:
NavnStillingUndervisertypeIndsats (%)
Patrick Bahr Adjunkt(ITU) Kursusansvarlig 100
Marie Dahl Højsgaard Hjælpelærer(ITU) Hjælpelærer 0
Rasmus Rahbek Østergaard Hjælpelærer(ITU) Hjælpelærer 0
Sebastian Brünnich Mogensen Hjælpelærer(ITU) Hjælpelærer 0
Frederik Schelhase Buch Hjælpelærer(ITU) Hjælpelærer 0


 

Webmaster
2019-05-22