IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Foundations of Computing - Discrete Mathematics 
Kursusnavn (engelsk):Foundations of Computing - Discrete Mathematics 
Semester:Forår 2014 
Udbydes under:cand.it., softwareudvikling og -teknologi (sdt) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:https://learnit.itu.dk 
Min. antal deltagere:12 
Forventet antal deltagere:45 
Maks. antal deltagere:70 
Formelle forudsætninger:Basic mathematics. Ability to program computer programs using
conditions, loops, arrays, methods/procedures/functions, and simple
recursion.


Information about the course of study
This course is mandatory for students who are enrolled on This course is mandatory for students who are enrolled on on the Master of Science in IT, study programme Software Development and Technology, Development Technology track. 
Læringsmål:After the course the student should be able to:

* Describe and apply formal definitions

* Conduct 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: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 such as Advanced Models and Programs, Algorithm Design, Database Tuning, Mobile and Distributed Systems and Efficient AI Programming). This includes:

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

* models of computation, such as finite state machines

* 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, recurrence relations, relations, graphs, trees, finite state machines. 
Læringsaktiviteter:14 ugers undervisning bestående af forelæsninger og øvelser

14 weeks of teaching consisting of lectures and exercises

The lectures and exercises will take place:
1 hour of lecture on Tuesday from 13:00 - 13:50
1 hour of lecture on Tuesday from 15:00 - 15:50
2 hours of exercises on Thursday from 10:00 - 11:50

-----
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), 7-trins-skala, Ekstern prøve

4 hours written exam with no aids.
There is no access to electronic tools such as calculators, computers, e-Readers or tablets.
Only standard tools for writing on paper are allowed (pen, pencil, eraser, etc.).  

Litteratur udover forskningsartikler:Kenneth Rosen, Discrete Mathematics and Its Applications, Global Edition, McGraw-Hill Higher Education, 7 edition (1 Sep 2012), ISBN: 978-0071315012 
 
Afholdelse (tid og sted)
Kurset afholdes på følgende tid og sted:
UgedagTidspunktForelæsning/ØvelserStedLokale
Tirsdag 13.00-13.50 Forelæsning ITU Aud 2
Tirsdag 14.00-15.50 Forelæsning ITU Aud 2
Torsdag 10.00-11.50 Forelæsning ITU Aud 2

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2014-06-10 09:00-13:00 Se: Eksamensform - yderligere oplysninger ITU Students first name from Adam to Jakob L. - Room 2A12/14
2014-06-10 09:00-13:00 Se: Eksamensform - yderligere oplysninger ITU Students first name from Niels P. to Zingales - Room 5A14/16
2014-06-10 09:00-13:00 Se: Eksamensform - yderligere oplysninger ITU Students first name from Jens to Niels A. - Room 4A14/16
2014-08-19 RE-EXAM - 09:00-13:00 Se: Eksamensform - yderligere oplysninger ITU 2A52