Kursusnavn (dansk): | Foundations of Computing - Discrete Mathematics |
Kursusnavn (engelsk): | Foundations of Computing - Discrete Mathematics |
Semester: | Efterår 2014 |
Udbydes under: | Bachelor i softwareudvikling (bswu) |
Omfang i ECTS: | 7,50 |
Kursussprog: | Engelsk |
Kursushjemmeside: | https://learnit.itu.dk |
Min. antal deltagere: | 12 |
Forventet antal deltagere: | 90 |
Maks. antal deltagere: | 95 |
Formelle forudsætninger: | Basic arithmetics.
-----
Information about the course of study
This course is mandatory for students who are enrolled on Bachelor in Software Development |
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 |
| |