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