Kursusbasen

Kursusoversigt

Kursusbeskrivelse

Kursusnavn (dansk):	Foundations of Computing - Discrete Mathematics
Kursusnavn (engelsk):	Foundations of Computing - Discrete Mathematics
Semester:	Efterå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:	35
Maks. antal deltagere:	60
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 and Technology, Development Technology Track/Conversion Track.
Læringsmål:	After the course the student should be able to: * Describe and apply formal definitions * Conduct and understand 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:	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 2 hours of 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), 7-trins-skala, Ekstern prøve 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.).
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