Modul CS1002-KP04, CS1002
Einführung in die Logik (Logik)
Dauer
1 Semester
Angebotsturnus
Jedes Sommersemester
Leistungspunkte
4
Studiengang, Fachgebiet und Fachsemester:
- Bachelor Medizinische Ingenieurwissenschaft 2014, Wahlpflicht, Informatik/Elektrotechnik
- Bachelor Medieninformatik 2020, Pflicht, Informatik
- Bachelor Informatik 2019, Pflicht, Grundlagen der Informatik
- Bachelor Robotik und Autonome Systeme 2020 , Wahlpflicht, Informatik
- Bachelor Medizinische Informatik 2019, Pflicht, Informatik
- Bachelor Medieninformatik 2014, Wahlpflicht, Informatik
- Bachelor Informatik 2016, Pflicht, Grundlagen der Informatik
- Bachelor Robotik und Autonome Systeme 2016, Wahlpflicht, Informatik
- Bachelor IT-Sicherheit 2016, Pflicht, Informatik
- Bachelor Medizinische Informatik 2014, Pflicht, Informatik
- Bachelor Informatik 2014, Pflicht, Grundlagen der Informatik
- Bachelor Medizinische Informatik 2011, Pflicht, Informatik
- Bachelor Medizinische Ingenieurwissenschaft 2011, Wahlpflicht, Informatik
- Bachelor Mathematik in Medizin und Lebenswissenschaften 2010, Wahl, Informatik
- Bachelor Informatik 2012, Pflicht, Grundlagen der Informatik
Lehrveranstaltungen:
- CS1002-V: Einführung in die Logik (Vorlesung, 2 SWS)
- CS1002-Ü: Einführung in die Logik (Übung, 1 SWS)
Workload:
- 10 Stunden Prüfungsvorbereitung
- 65 Stunden Selbststudium und Aufgabenbearbeitung
- 45 Stunden Präsenzstudium
Lehrinhalte:
- Grundbegriffe der Syntax: Alphabet, String, Term, Formel
- Grundbegriffe der Semantik: Belegung, Struktur, Modell
- Grundbegriffe der Kalküle: Axiome, Beweise
- Formalisierung und Kodierung von Problemen und Systemen
- Überprüfung von Formalisierungen auf Korrektheit und Erfüllbarkeit
- Syntax und Semantik der Aussagenlogik
- Syntax und Semantik der Prädikatenlogik
- Beweiskalküle
Qualifikationsziele/Kompetenzen:
- Studierende können die Konzepte Syntax und Semantik anhand der Beispiele Aussagen- und Prädikatenlogik erklären
- Sie können Formalisierungen mittels logischer Systeme und formale Beweise mittels Beweissystemen erstellen
- Sie können die Methoden der Logik auf einfache praktischen Anwendungen übertragen
- Sie können diskrete Problemstellungen formalisieren
- Sie können Beweismuster modifizieren, um eigene einfache Beweise zu führen
Vergabe von Leistungspunkten und Benotung durch:
- Klausur
Modulverantwortliche:
Literatur:
- Uwe Schöning : Logik für Informatiker Spektrum Verlag, 1995
- Kreuzer, Kühlig : Logik für Informatiker Pearson Studium, 2006
Sprache:
- Wird nur auf Deutsch angeboten
Bemerkungen:
Zulassungsvoraussetzungen zur Belegung des Moduls:- Keine
Zulassungsvoraussetzungen zur Teilnahme an Modul-Prüfung(en):
- Erfolgreiche Bearbeitung von Übungszetteln gemäß Vorgabe am Semesteranfang
Modulprüfung(en):
- CS1002-L1: Einführung in die Logik, Portfolioprüfung bestehend aus: 70 Punkten in Form von Übungen, die eigenständig semesterbegleitend erbracht werden, und 30 Punkten in Form der Klausur. Die Note ergibt sich wie folgt: 50 bis 54 Punkte für eine 4,0, dann 55 bis 59 Punkte für eine 3,7 und so weiter bis am Ende 95 bis 100 Punkte für eine 1,0.
Letzte Änderungen:
24.07.2023