Website
Modulhandbuch (ab WS 2020/21)

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, ab 3. Fachsemester
  • Bachelor Medieninformatik 2020 (Pflicht), Informatik, 2. Fachsemester
  • Bachelor Informatik 2019 (Pflicht), Grundlagen der Informatik, 2. Fachsemester
  • Bachelor Robotik und Autonome Systeme 2020 (Wahlpflicht), Informatik, 5. oder 6. Fachsemester
  • Bachelor Medizinische Informatik 2019 (Pflicht), Informatik, 2. Fachsemester
  • Bachelor Medieninformatik 2014 (Wahlpflicht), Informatik, 5. oder 6. Fachsemester
  • Bachelor Informatik 2016 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
  • Bachelor Robotik und Autonome Systeme 2016 (Wahlpflicht), Informatik, 5. oder 6. Fachsemester
  • Bachelor IT-Sicherheit 2016 (Pflicht), Informatik, 2. Fachsemester
  • Bachelor Medizinische Informatik 2014 (Pflicht), Informatik, 3. Fachsemester
  • Bachelor Informatik 2014 (Pflicht), Grundlagen der Informatik, 3. Fachsemester
  • Bachelor Medizinische Informatik 2011 (Pflicht), Informatik, 1. Fachsemester
  • Bachelor Medizinische Ingenieurwissenschaft 2011 (Wahlpflicht), Informatik, 3. Fachsemester
  • Bachelor Mathematik in Medizin und Lebenswissenschaften 2010 (Wahl), Informatik, 6. Fachsemester
  • Bachelor Informatik 2012 (Pflicht), Grundlagen der Informatik, 1. Fachsemester
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
Modulverantwortlicher:
Lehrende:
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 Änderung:
24.7.2023