Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel




 


 
weitere Informationen zu Vorlesungsverzeichnis   Vorlesungsverzeichnis    
 
  weitere Informationen zu Mathematisch-Naturwissenschaftliche Fakultät   Mathematisch-Naturwissenschaftliche Fakultät    
 
  weitere Informationen zu Institut für Informatik und Computational Science   Institut für Informatik und Computational Science    
 
  weitere Informationen zu Bachelor of Science   Bachelor of Science    
 
  weitere Informationen zu Computational Science (Prüfungsversion ab WiSe 2019/20)   Computational Science (Prüfungsversion ab WiSe 2019/20)    
 
  weitere Informationen zu I. Grundlagenmodule Informatik/Computational Science   I. Grundlagenmodule Informatik/Computational Science    
 
  weitere Informationen zu INF-1020 - Formale Grundlagen der Informatik   INF-1020 - Formale Grundlagen der Informatik    
 
   
 
      Formale Grundlagen der Informatik    Belegung über PULS
Logo für Vorlesung/Übung Vorlesung/Übung WiSe 2020/21    
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   08:00 - 10:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Montag   08:00 - 10:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 2      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   10:00 - 12:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Montag   10:00 - 12:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 3      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   12:00 - 14:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Montag   12:00 - 14:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 4      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   14:00 - 16:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Montag   14:00 - 16:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 5      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   16:00 - 18:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Montag   16:00 - 18:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 6      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Dienstag   10:00 - 12:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Dienstag   10:00 - 12:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 7      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Dienstag   14:00 - 16:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Kranz
wöch. Dienstag   14:00 - 16:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: 3.04. 0.04
Lehrperson: Vogel Kranz
Gruppe 8      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Dienstag   08:00 - 10:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: 3.04. 1.02
Lehrperson: Böhne
wöch. Dienstag   08:00 - 10:00
Beginn: 03.11.2020  Ende: 09.02.2021
Raum: Online. Veranstaltung
Lehrperson: Böhne
Gruppe 9      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Freitag   10:00 - 12:00
Beginn: 06.11.2020  Ende: 12.02.2021
Raum: 3.04. 1.02
Lehrperson: Böhne
wöch. Freitag   10:00 - 12:00
Beginn: 06.11.2020  Ende: 12.02.2021
Raum: Online. Veranstaltung
Lehrperson: Böhne
Gruppe 10      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Montag   10:00 - 12:00
Beginn: 02.11.2020  Ende: 08.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Böhne Kranz
Gruppe 11      jetzt belegen / abmelden
wöch. Mittwoch   10:00 - 12:00
Beginn: 04.11.2020  Ende: 16.12.2020
Raum: Online. Veranstaltung
Dozent: Kreitz
wöch. Mittwoch   10:00 - 12:00
Beginn: 06.01.2021  Ende: 10.02.2021
Raum: Online. Veranstaltung
Dozent: Lucke
wöch. keine Angabe    
Raum:
Dozent: Kreitz
wöch. keine Angabe    
Raum:
Dozent: Lucke
wöch. Mittwoch   12:00 - 14:00
Beginn: 04.11.2020  Ende: 10.02.2021
Raum: Online. Veranstaltung
Lehrperson: Vogel Böhne Kranz