IT-Universitetet i København
  Tilbage Kursusoversigt
Kursusnavn (dansk):Foundations of Computing - Discrete Mathematics MSc 
Kursusnavn (engelsk):Foundations of Computing - Discrete Mathematics MSc 
Semester:Efterår 2015 
Udbydes, softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Min. antal deltagere:
Forventet antal deltagere:35 
Maks. antal deltagere:55 
Formelle forudsætninger:Basic arithmetics.

Information about the course of study
This course is mandatory for students who are enrolled on the Master of Science in IT, study programme Software Development, DesignTrack 
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 and infinite state machines

* Use models of computation and specification

* Use combinatorial reasoning

* Assess probabilities of events

* Use basic modular arithmetic 
Fagligt indhold:Please note, that due to technical challenges, changes may occur before the start of the semester (week 35) – this applies to all sections of the course description.

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. 
Læringsaktiviteter:14 ugers undervisning bestående af forelæsninger og øvelser

The lectures and exercises will take place over two days, such that:
Thursday 9-10 lectures
Thursday 11-12 lectures

Friday 10-12 exercises

See the schedule here:
link to the time table

NB!! Course restriction I!!
Please note that there is a course restriction between this course and the SDT course Modelling and Design.
If you have already taken Modeling and Design you need to register for the course Foundations of Computing - Algorithms and Data Structures. 

Obligatoriske aktivititer:Der er ingen obligatoriske aktiviteter. Vær venlig KUN at ændre denne tekst når der er obligatoriske aktiviteter./
There are no mandatory activities. Please, change this text ONLY when there are mandatory activities. 
Eksamensform og -beskrivelse:X. experimental examination form (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.  

Litteratur udover forskningsartikler:Susanna S. Epp, Discrete Mathematics with Applications, International Edition, BROOKS/COLE Cengage Learning, 4th edition, ISBN-13: 978-0-495-82616-3 
Følgende personer underviser på kurset:
NavnStillingUndervisertypeIndsats (%)
Agata Anna Murawska Ph.d.-studerende(ITU) Underviser 0
Troels Bjerre Lund Adjunkt(ITU) Kursusansvarlig 55
Lorena Ronquillo Postdoc(ITU) Underviser 45
Håkan Lane Undervisningsassistent(ITU) Underviser 0
Nicolaj Rasmussen Hjælpelærer(ITU) Hjælpelærer 0
Amund Ranheim Lome Hjælpelærer(ITU) Hjælpelærer 0
Kaj Hejlesen Hjælpelærer(ITU) Hjælpelærer 0
Kristoffer Wilhjelm Hjælpelærer(ITU) Hjælpelærer 0