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

Sie sind hier: Startseite

Vorlesungsverzeichnis (SoSe 2022)



Seitenansicht wählen:    kurz   mittel   lang  


 
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 Master of Science   Master of Science    
 
  weitere Informationen zu Computational Science (Prüfungsversion ab WiSe 2013/14)   Computational Science (Prüfungsversion ab WiSe 2013/14)    
 
  weitere Informationen zu IX. Wahlpflichtmodul   IX. Wahlpflichtmodul    
 
  weitere Informationen zu Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese (auslaufend)   Automatisierte Logik und Programmierung: Beweisautomatisierung und Programmsynthese (auslaufend)    

Dieses Modul gilt, aufgrund einer Änderungssatzung, nur noch für Studierende,die das Modul vor dem 01.10.2019 begonnen haben.
 
   
 
      Mathematisches Beweisen lernen mithilfe des Beweisassistenten Coq    Belegung über PULS
Logo für Vorlesung/Übung Vorlesung/Übung SoSe 2022   4 SWS  
Einrichtung: Institut für Informatik und Computational Science
Gruppe 1      jetzt belegen / abmelden
Einzel Dienstag   08:00 - 10:00
Beginn: 19.04.2022  Ende: 19.04.2022 		Raum: 2.70. 0.05
Dozent: Böhne
wöch. Montag   08:00 - 10:00
Beginn: 25.04.2022  Ende: 25.07.2022 		Raum: 2.70. 0.10
Dozent: Böhne
wöch. Dienstag   08:00 - 10:00
Beginn: 26.04.2022  Ende: 26.07.2022 		Raum: 2.70. 0.10
Dozent: Böhne
wöch. Donnerstag   12:00 - 14:00
Beginn: 21.04.2022  Ende: 28.07.2022 		Raum: 2.70. 0.05
Lehrperson: Böhne
Gruppe 2      jetzt belegen / abmelden
Einzel Dienstag   08:00 - 10:00
Beginn: 19.04.2022  Ende: 19.04.2022 		Raum: 2.70. 0.05
Dozent: Böhne
wöch. Montag   08:00 - 10:00
Beginn: 25.04.2022  Ende: 25.07.2022 		Raum: 2.70. 0.10
Dozent: Böhne
wöch. Dienstag   08:00 - 10:00
Beginn: 26.04.2022  Ende: 26.07.2022 		Raum: 2.70. 0.10
Dozent: Böhne
wöch. Freitag   12:00 - 14:00
Beginn: 22.04.2022  Ende: 29.07.2022 		Raum: 2.70. 0.05
Lehrperson: Böhne
 
 

© Copyright HIS
Hochschul-Informations-System eG