Veranstaltungsdetails

Veranstaltungsdetails

Computational Logic
Untertitel:
(Logik für Informatiker)
Dozierende:
Kreuzer, Martin, Prof. Dr.
Veranstaltungstyp:
Vorlesung
Ort:
(IM) HS 12: Mo. 10:00 - 12:00 (15x), (IM) HS 11: Do. 09:00 - 10:00 (15x), (AM) HS 10: Montag. 19.02. 09:00 - 13:00, (WIWI) HS 5: Donnerstag. 29.03. 09:00 - 13:00
Zeiten:
Mo. 10:00 - 12:00 (wöchentlich), Ort: (IM) HS 12, Do. 09:00 - 10:00 (wöchentlich), Ort: (IM) HS 11,
Erster Termin:Mo , 16.10.2017 10:00 - 12:00, Ort: (IM) HS 12
Semester:
WS 17/18
Veranstaltungsnummer:
5670V
Anrechenbar fr:

Die Angaben zu den Anrechenbarkeiten an der FIM sind ohne Gewähr. Bitte beachten Sie die verbindliche Liste der Anrechenbarkeiten .

Studienangebote in anderen Sprachen > Studienangebot in englischer Sprache
Fakultät für Informatik und Mathematik > Bachelor Informatik
Fakultät für Informatik und Mathematik > Bachelor Internet Computing
Fakultät für Informatik und Mathematik > Bachelorstudiengang Mathematik
Fakultät für Informatik und Mathematik > Master Informatik
ECTS-Punkte:
7
Literatur:
M. Kreuzer und S. Kühling, Logik für Informatiker, Pearson Studium 2006
Weitere Informationen zu dieser Veranstaltung:
Heimatinstitut: Lehrstuhl für Mathematik mit Schwerpunkt Symbolic Computation
Angemeldete Teilnehmer: 107
Anzahl der Postings im Forum: 4
Anzahl der Dokumente im Downloadbereich: 2