|
|
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >> Professur für Grundlagen der Informatik >>
|
Lehrveranstaltungen
| |
GdI-MfI-1-B: Mathematik für Informatik
Übung; Rein Präsenz; 2,00 SWS; Mi, 8:30 - 10:00, WE5/00.022; Einzeltermin am 6.11.2024, Einzeltermin am 13.11.2024, 8:30 - 10:00, WE5/01.004
|
Burke, L.
|
| |
GdI-MTL: Modal and Temporal Logic
Vorlesung und Übung; Rein Präsenz; 2,00 SWS; Di, 8:30 - 10:00, WE5/05.005
|
Burke, L.
|
| |
GdI-Sem-M/B: Seminar GdI (Computational Semantics of Natural Language and Modal Predicate Logic)
Seminar; Di, 10:15 - 10:45, WE5/05.005; Zeit n.V., WIAI-Räume alle; ab 14.1.2025; To sign up for this course send a joint email to gaby.bauer@uni-bamberg.de, michael.mendler@uni-bamberg.de and luke.burke@uni-bamberg.de, stating the course that you are studying and whether you are a master's or bachelor's student (both can participate). It will be in WE5/05.006 and not in WE5/05.005, but that option cannot be selected on UNIVIS (not clear why). The time of the seminar might be changed after the first session. Assessment for 3 ECTS consists of a final presentation (presentation 3), of 40 minutes on a given topic with discussion (20 mins) ("Kolloquium: Präsentation mit Diskussion") (30 + 20 mins) and two class presentations ("Referat"), presentation 1 and presentation 2, during term time. Presentation 1 and 2 are each 30 minutes and on different topics, one of which may overlap with presentation 3.
|
Burke, L.
|
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|