inf961 - Fundamental Competencies in Computing Science II: Mathematics (Complete module description)

inf961 - Fundamental Competencies in Computing Science II: Mathematics (Complete module description)

Original version English PDF Download
Module label Fundamental Competencies in Computing Science II: Mathematics
Modulkürzel inf961
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Verwendbarkeit des Moduls
  • Master's Programme Engineering of Socio-Technical Systems (Master) > Fundamentals/Foundations
Zuständige Personen
  • Fränzle, Martin Georg (module responsibility)
  • Heß, Florian (module responsibility)
  • Stein, Andreas (module responsibility)
  • Stein, Sandra (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
Prerequisites
No participant requirement
Skills to be acquired in this module
The courses provide an introduction to the fundamental methods of mathematical formalisation and proof, as well as to the central concepts of graph theory, elementary number theory, and algebra. The selection of topics is based on their particular relevance to computer science and related disciplines. Within the curriculum of the MSc EngSTS, this course provides students featuring a BSc in psychology or related subjects with the skills in mathematical formalization that are necessary for mastering subsequent courses in computer science.
Professional competences
The students
  • get acquainted with the formalisms and reasoning underlying modern mathematics, and they are able to apply these to concrete problems
  • understand the central concepts and methods of graph theory, elementary number theory, and algebra relevant to computer science and related disciplines
Methodological competences
The students
  • are able to apply fundamental methods of mathematical formalisation and reasoning to concrete problems
  • are able to retrieve the verdicts originating from such formal reasoning and to interpret them in terms of the original, informal problem description.

Social competences
The students
  • are able to explain mathematical formalizations to each other and to discuss their justification
Self-competences
The students
  • are able to reflect appropriateness of their formalisation and verification attempts
Module contents
  • Propositional logic;
  • methods of mathematical proof;
  • sets, relations, and functions;
  • combinatorics;
  • graphs and their applications;
  • natural and integer numbers and their residue classes;
  • groups and sime-groups.
The module consists of a lecture and an exercise part.
Literaturempfehlungen
  • B. Kreußler und G. Pfister: Mathematik für Informatiker, Springer-Verlag 2009 (available online from the university library)
Links
Language of instruction English
Duration (semesters) 1 Semester
Module frequency compulsory
Module capacity unlimited
Reference text
This course is part of the base curriculum of the MSc program "Engineering of Socio-Technical Systems". It provides students featuring a background in psychology with the fundamental competences in mathematical formalization that are necessary for mastering subsequent courses in computer science. This course is not intended for students with a background in computer science.
Teaching/Learning method 1VL + 1Ü
Previous knowledge none
Form of instruction Comment SWS Frequency Workload of compulsory attendance
Lecture 2 WiSe 28
Exercises 2 WiSe 28
Präsenzzeit Modul insgesamt 56 h
Examination Prüfungszeiten Type of examination
Final exam of module
At the end of the lecture periods
written exam or oral exam