UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
kurz

ausführlich

Druckansicht

 
 
Stundenplan

 
 
 Extras
 
alle markieren

alle Markierungen löschen

Ausgabe als XML

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Informatik >>

Professur für Grundlagen der Informatik

 

GdI-IFP: Introduction to Functional Programming

V/Ü; Rein Präsenz; 2,00 SWS; Di, 10:00 - 12:00, WE5/04.014
Mendler, M.
 

GdI-IFP: Introduction to Functional Programming

Ü; Rein Präsenz; 2,00 SWS; Fr, 8:00 - 10:00, WE5/01.004
Mendler, M.
 

GdI-MfI-1-B: Mathematik für Informatik

Ü; Rein Präsenz; 2,00 SWS; Mi, 8:30 - 10:00, WE5/00.022
Burke, L.
 

GdI-MfI-1-B: Mathematik für Informatik

V; Rein Präsenz; 2,00 SWS; Do, 10:00 - 12:00, WE5/00.019; Einzeltermin am 25.10.2024, 10:00 - 12:00, WE5/01.006; Einzeltermin am 30.10.2024, 10:00 - 12:00, WE5/00.019; Einzeltermin am 24.1.2025, 10:00 - 12:00, WE5/01.006; ACHTUNG: Bitte die abweichenden Einzeltermine beachten!
Mendler, M.
 

GdI-MTL: Modal and Temporal Logic

V/Ü; Rein Präsenz; 2,00 SWS; Do, 8:00 - 10:00, WE5/05.005
Mendler, M.
 

GdI-MTL: Modal and Temporal Logic

V/Ü; Rein Präsenz; 2,00 SWS; Di, 8:30 - 10:00, WE5/05.005
Burke, L.
 

GdI-Proj-M: Masterprojekt Grundlagen der Informatik

PROJ; Rein Präsenz; 4.00 SWS; Zeit und Raum n.V.
N.N.
 

GdI-Sem-M/B: Seminar GdI (Computational Semantics of Natural Language and Modal Predicate Logic)

S; Rein Präsenz; Vorbesprechung: 15.10.2024
 
     Di
n.V.
10:15 - 10:45
WE5/05.005
WIAI-Räume alle
Burke, L.
 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.
 

Mathematik für Informatik, Tutorium Gruppe 1

Ü; Rein Präsenz; 2,00 SWS; Mo, 12:00 - 14:00, WE5/01.003
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 2

Ü; Rein Präsenz; 2,00 SWS; Mo, 16:00 - 18:00, WE5/01.003
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 3

Ü; Rein Präsenz; 2,00 SWS; Di, 10:00 - 12:00, WE5/02.005
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 4

Ü; Rein Präsenz; 2,00 SWS; Di, 16:00 - 18:00, WE5/01.003
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 5

Ü; Rein Präsenz; 2,00 SWS; Mi, 8:00 - 10:00, WE5/04.014
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 6

Ü; Rein Präsenz; 2,00 SWS; Mi, 18:00 - 20:00, WE5/04.014
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 7

Ü; Rein Präsenz; 2,00 SWS; Do, 8:00 - 10:00, WE5/01.003
N.N.
 

Mathematik für Informatik, Tutorium Gruppe 8

Ü; Rein Präsenz; 2,00 SWS; Fr, 12:00 - 14:00, WE5/02.005
N.N.


UnivIS ist ein Produkt der Config eG, Buckenhof