Zur JKU Startseite
Institut für Symbolisches Rechnen (RISC)
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

Wolfgang Windsteiger

Aktuelle Lehrveranstaltungen

LVA Nr. Titel Anmeldung Typ SSt. LeiterInnen Rhythmus
326063 (2025S) Symbolic Computation: Projektseminar Formale Methoden und Automatisches Beweisen
Weitere Informationen
Terminliste einblenden
Anmelden SE 2,00 Wolfgang SchreinerTeimuraz KutsiaWolfgang Windsteiger Wöchentlich
326003 (2025S) Algorithmische Methoden
Terminliste einblenden
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326300 (2025S) Mathematik für Sozial- und Wirtschaftswissenschaften
Weitere Informationen
Terminliste einblenden
Anmelden KS 2,00 Wolfgang WindsteigerPhilipp Langgruber Wöchentlich
326403 (2025S) Mathematics for AI II
Terminliste einblenden
Anmelden UE 2,00 Wolfgang Windsteiger Wöchentlich
326063 (2025S)
Titel Symbolic Computation: Projektseminar Formale Methoden und Automatisches Beweisen
Weitere Informationen
Terminliste einblenden
Anmeldung Anmelden
Typ SE
SSt. 2,00
LeiterInnen Wolfgang SchreinerTeimuraz KutsiaWolfgang Windsteiger
Rhythmus Wöchentlich
 
326003 (2025S)
Titel Algorithmische Methoden
Terminliste einblenden
Anmeldung Anmelden
Typ KV
SSt. 2,00
LeiterInnen Wolfgang Windsteiger
Rhythmus Wöchentlich
 
326300 (2025S)
Titel Mathematik für Sozial- und Wirtschaftswissenschaften
Weitere Informationen
Terminliste einblenden
Anmeldung Anmelden
Typ KS
SSt. 2,00
LeiterInnen Wolfgang WindsteigerPhilipp Langgruber
Rhythmus Wöchentlich
 
326403 (2025S)
Titel Mathematics for AI II
Terminliste einblenden
Anmeldung Anmelden
Typ UE
SSt. 2,00
LeiterInnen Wolfgang Windsteiger
Rhythmus Wöchentlich
 
Informationen zu den Fotorechten