MLU
INF.02511.06 - Mathematische Grundlagen der Informatik (Complete module description)
Original version English
INF.02511.06 5 CP
Module label Mathematische Grundlagen der Informatik
Module code INF.02511.06
Semester of first implementation
Faculty/Institute Institut für Informatik
Module used in courses of study / semesters
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) (ELF) (Lehramt) > Informatik Inform (Gymnasium) (ELF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) (ELF, WLF) (Lehramt) > Informatik Inform (Gymnasium) (ELF, WLF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) () (Lehramt) > Informatik Inform (Gymnasium), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) (WLF) (Lehramt) > Informatik Inform (Gymnasium) (WLF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF) (Lehramt) > Informatik Informatik (Sekundar) (ELF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF) (Lehramt) > Informatik Informatik (Sekundar) (ELF), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF, WLF) (Lehramt) > Informatik Informatik (Sekundar) (ELF, WLF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF, WLF) (Lehramt) > Informatik Informatik (Sekundar) (ELF, WLF), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Psychologie (180 LP) (Bachelor) > Psychologie Psychologie180, Version of accreditation (WS 2006/07 - SS 2021) > Nebenfach
Responsible person for this module
Further responsible persons
Prof. Dr. Wolf Zimmermann
Prerequisites
Skills to be acquired in this module
Die Teilnehmer*innen erwerben folgende Kompetenzen
  • Sie entwickeln auf Basis der Kenntnis grundlegender mathematischer Methoden ein Verständnis für abstrakte Zusammenhänge
  • Sie sind in der Lage auf Basis eines Mathematisches Grundlagenwissen selbstständig zu lernen und zu arbeiten
  • Sie sind in der Lage exakt und gründlich zu arbeiten
  • Sie beherrschen die mathematischen Sprache und können diese Problem- und Sach-orientiert einsetzen.
  • Sie entwickeln die Fähigkeit zum logischen Denken
  • Erkennen von Zusammenhängen zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik
  • Sie in der Lage Aussagen und mathematische Sätze selbstständig unter Einsatz verschiedener Beweisverfahren zu beweisen
Module contents
  • Einführung in die Informatik: Was ist Informatik? Datum, Information, Signal, Semiotik,Wissen, Verantwortung von Informatikerinnen bzw. Informatiker, Systembegriff,Modellbegriff, Prinzipien der Modellierung
  • Mengen, Relationen, Funktionen, Graphen und Bäume
  • Texte: Textersetzungssysteme, Grammatiken, Chomsky-Hierarchie, endliche Automaten,Strukturbäume
  • Monoide, Boolesche Algebra und Verbände
Forms of instruction Lecture (2 SWS)
Exercises (2 SWS)
Course
Languages of instruction German, English
Duration (semesters) 1 Semester Semester
Module frequency jedes Wintersemester
Module capacity unlimited
Time of examination
Credit points 5 CP
Share on module final degree Course 1: %; Course 2: %; Course 3: %.
Share of module grade on the course of study's final grade 1
Reference text
zu den Studienleistungen: (nicht die eigene Lösung erklären können bzw. die Vorstellung ablehnen bedeutet, dass alle Aufgaben der Übungsserie als nicht bearbeitet gelten)
Module course label Course type Course title SWS Workload of compulsory attendance Workload of preparation / homework etc Workload of independent learning Workload (examination and preparation) Sum workload
Course 1 Lecture Vorlesung 2 0
Course 2 Exercises Übung 2 0
Course 3 Course Bearbeitung der Übungsaufgaben/Selbststudium 0
Workload by module 150 150
Total module workload 150
Examination Exam prerequisites Type of examination
Course 1
Course 2
Course 3
Final exam of module
Bearbeitung von mindestens 80% der Übungsaufgaben und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise)
mündl./schriftl. Prüfung
Exam repetition information
Prerequisites and conditions Prerequisites Frequency Compulsory attendance Share on module grade in percent
Course 1 Winter semester No %
Course 2 Winter semester No %
Course 3 Winter semester No %