Arbeitsaufwand:
180 h
Nummer INF3483 |
Titel Einführung in die Logik |
Art der Vorlesung Wahlpflicht |
---|---|---|
ECTS | 6 | |
Arbeitsaufwand - Kontaktzeit - Selbststudium |
Arbeitsaufwand:
180 h Kontaktzeit:
60 h / 4 SWS Selbststudium:
120 h |
|
Veranstaltungsdauer | 1 Semester | |
Häufigkeit des Angebots | Im Sommersemester | |
Unterrichtssprache | Deutsch | |
Prüfungsform | Klausur |
|
Lehrform(en) | Vorlesung, Übung | |
Inhalt | Es werden elementare Grundlagen der Logik dargestellt. Hierzu gehören die Syntax und Semantik der Aussagenlogik und der Prädikatenlogik erster Stufe, Normalformen sowie Logikkalküle wie z.B. der Resolutionskalkül und der Kalkül des natürlichen Schließens. |
|
Qualifikationsziele | Erwerb von logischen Grundkenntnissen, die für die Informatik unabdingbar sind. |
|
Vergabe von Leistungspunkten/Benotung |
Lehrform
Status
SWS
LP
Prüfungsform
Prüfungsdauer
Benotung
Berechnung
Modulnote (%) |
|
Teilnahmevoraussetzungen | Es gibt keine besonderen Voraussetzungen. | |
Dozent/in | Piecha | |
Literatur / Sonstiges | Literatur: siehe Homepage des jeweiligen Veranstalters. Hinweis: Diese Veranstaltung entspricht der früheren Veranstaltung INF2620 (Pflicht für Studierende des B.Sc. Informatik nach PO 2015 Pflicht; zu belegen im Modul "Logik & Proseminar (übK)" [INFM2620]). |
|
Zuletzt angeboten | nicht bekannt | |
Geplant für | Sommersemester 2024 | |
Zugeordnete Studienbereiche | BIOINFM2510, INFM2510, INFM3410, MDZINFM2510, MEINFM3210, MEINFM3220 |