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 

Zuständige Personen 
Lehrenden, Die im Modul (Prüfungsberechtigt)
Heß, Florian (Module responsibility)
Fränzle, Martin Georg (Module responsibility)
Stein, Sandra (Module responsibility)
Stein, Andreas (Module responsibility)

Prerequisites  
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. They 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. They are able to retrieve the verdicts originating from such formal reasoning and to interpret them in terms of the original, informal problem description. students: Social competences: The students are able to explain mathematical formalizations to each other and to discuss their justification Selfcompetences: 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 simegroups. The module consists of a lecture and an exercise part. 
Literaturempfehlungen  B. Kreußler und G. Pfister: Mathematik für Informatiker, SpringerVerlag 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 SocioTechnical 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. 
Modullevel / module level  BC (Basiscurriculum / Base curriculum) 
Modulart / typ of module  
Lehr/Lernform / Teaching/Learning method  V+Ü 
Vorkenntnisse / Previous knowledge 
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 