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 zu Modulnummer 100339 - allgemeine Informationen | |
|---|---|
| Modulnummer | 100339 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2241 (Automaten und Logik) |
| Modulverantwortliche(r) | Prof. Dr. Dietrich Kuske |
| Sprache | |
| Turnus | unbekannt |
| Vorkenntnisse | |
| 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. |
| Inhalt | |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | |
| Literatur | |
| Lehrevaluation | |
| Spezifik Referenzmodul | |
|---|---|
| Modulname | Logik und Logikprogrammierung |
| Prüfungsnummer | 91700 |
| Leistungspunkte | 5 |
| SWS | 0 |
| Präsenzstudium (h) | 0 |
| Selbststudium (h) | 150 |
| Verpflichtung | Pflichtmodul |
| Abschluss | mehrere Teilleistungen |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Spezifik im Studiengang polyvalenter Bachelor Polyvalenter Bachelor mit Lehramtsoption für berufsbildende Schulen - Metalltechnik 2013 (IN), polyvalenter Bachelor Polyvalenter Bachelor mit Lehramtsoption für berufsbildende Schulen - Elektrotechnik 2013 (IN) | |
|---|---|
| Modulname | Logik und Logikprogrammierung |
| Prüfungsnummer | 92290 |
| Leistungspunkte | 5 |
| Präsenzstudium (h) | 0 |
| Selbststudium (h) | 150 |
| Verpflichtung | Pflichtmodul |
| Abschluss | mehrere Teilleistungen |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |