Logik und Logikprogrammierung - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
| Modulinformationen zum Modul Logik und Logikprogrammierung im Studiengang Bachelor Informatik 2013 | ||
|---|---|---|
| Modulname | Logik und Logikprogrammierung | |
| Modulnummer | 100339 | |
| Fakultät | Fakultät für Informatik und Automatisierung | |
| Fachgebietsnummer | 2241 (Automaten und Logik) | |
| Modulverantwortliche(r) | Prof. Dr. Dietrich Kuske | |
| Leistungspunkte | 5 | |
| Verpflichtung | Pflichtmodul | |
| Voraussetzungen | Grundlagen und diskrete Strukturen | |
| Modulabschluss | Einzelleistungen | |
| Details zum Abschluss | ||
| Link zum Moodle-Kurs | ||
| Lehrende | ||
| Anmeldemodalitäten für alternative PL oder SL | ||
| Lernergebnisse und erworbene Kompetenzen | Die Studierenden können zentrale Begriffe der Aussagen- und der Prädikatenlogik darstellen und auf konkrete Problemstellungen anwenden. Sie verstehen das Zusammenspiel von Syntax und Semantik formaler Systeme und argumentieren dabei präzise und folgerichtig. Sie kennen klassische Entscheidungsverfahren für die genannten Kalküle und können sie hinsichtlich ihrer Anwendbarkeit beurteilen. Sie haben ein grundlegendes Verständnis für die Logik-Programmierung und sind in der Lage, typische Probleme durch Prolog-Programme zu lösen. | |