IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Grundlæggende strukturer for beregninger - Diskret Matematik 
Kursusnavn (engelsk):Foundations of Computing - Discrete Mathematics 
Semester:Forår 2013 
Udbydes under:Bachelor i softwareudvikling (bswu) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:https://blog.itu.dk/SGDM-F2013/ 
Min. antal deltagere:12 
Forventet antal deltagere:45 
Maks. antal deltagere:90 
Formelle forudsætninger:Basic ability to program in some imperative programming language (e.g., Java, Python, C/C++/C#, etc.), using conditions, loops, arrays, methods/procedures/functions, and simple recursion.
-----

Information about the course of study
This course is part of the second semester in the bachelor’s degree in Software Development. A description of the course of study can be found here:
Bachelor Software Development  
Læringsmål:After the course the student should be able to:

* List, describe and apply formal definitions

* Conduct formal proofs

* Work with regular languages and finite and infinite state machines

* Account for and use models of computation and specification

* Carry out counting and the asymptotic analysis of programs

* Use combinatorial structures

* Use graphs

* Assess probabilities of events

* Compute with expectations 
Fagligt indhold:The course is a introduction to discrete mathematics with focus on applications in the information technologies and software development. In particular, the course develops the necessary terminology and conceptual tools needed for later courses such as Advanced Models and Programs, Algorithms and Data Structures, Mobile and Distributed Systems and Programming Language Concepts and Implementation). This includes:

* models of computation, such as logic and automata

* databases, such as relations and functions

* models of networks (technological as well as social), such as graphs

* Discrete Probability

The course puts a emphasis on practical experimentation. Applications are expected to vary, but can include language processing, Bayesian spam filters, or models for social networks.

Central terms and concepts: Logic, specifications, sets and sequences, functions, sums, induction and recursion, permutations and combinations, discrete probability, relations, graphs, trees, finite state machines, grammars, Turing 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 11:00 - 11:50
1 hour of lecture on Wednesday from 13:00 - 13:50
2 hours of exercises on Thursday from 10:00 - 11:50

-----
See the schedule here:

----- 

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 censur

External examiner, 7-point marking scale, A2: Written examination with all written and printed aids
The duration of the written examination is 4 hour(s).  

Litteratur udover forskningsartikler:Course notes.
Kenneth Rosen, Discrete Mathematics and Its Applications, 6/e, McGraw Hill, ISBN: 007288008

http://intranet.itu.dk/en/Censor%20og%20undervisere/Til%20undervisere%20og%20vejledere/Kurser/Kursusansvarlig/Kursusbeskrivelse 
 
Afholdelse (tid og sted)
Kurset afholdes på følgende tid og sted:
UgedagTidspunktForelæsning/ØvelserStedLokale
Tirsdag 10.00-11.50 Forelæsning ITU Aud 2
Onsdag 12.00-13.50 Forelæsning ITU Aud 4
Torsdag 10.00-11.50 Øvelser ITU Aud 4

Eksamen afholdes på følgende tid og sted:
EksamensdatoTidspunktEksamenstypeStedLokale
2013-06-10 09-13 Skriftlig eksamen ITU 3A12, 4A14/4A16
2013-08-22 contact course manager Skriftlig eksamen ITU 3A12/3A14