Formale Beweisverifikation

Sie finden diese Veranstaltung in folgenden Modulen:

Allgemeine Berufsvorbereitung Mathematik 0162b_m30
Computeralgebra 0162bA1.2
Fach 2 Mathematik 0564a_m42
Computeralgebra 0162bA1.2
Fach 1 Mathematik 0563a_m37
Computeralgebra 0162bA1.2
Allgemeine Berufsvorbereitung (ABV) 0159c_m30
Computeralgebra 0162bA1.2
Master Informatik (SPO von 2014) 0089c_MA120
Computeralgebra 0162bA1.2
Fach 2 Mathematik 0564b_m42
Computeralgebra 0162bA1.2
Fach 1 Mathematik 0563b_m37
Computeralgebra 0162bA1.2
Gesamtes Lehrangebot der Mathematik E17o
Gesamtes Lehrangebot der Mathematik E17oA1.1
60-LP-Modulangebot Mathematik (SPO 2017) 0083e_m60
Computeralgebra 0082fA4.3
Bachelor Lehramt Mathematik (SPO 2017) 0082f_k90
Computeralgebra 0082fA4.3