Beosztás:
egyetemi adjunktus
Fokozat:
-
Szoba:
H308
Email:
mozow@math.bme.hu
Telefon:
463-1111/5661
Kurzusok
Tantárgy neve | Kurzus kód |
---|---|
A matematika filozófiai alapjai és alkalmazásai | BMETE92AX47/T0 |
A számítástudomány alapjai MC | BMETE92MC22/T01 |
Bizonyításelmélet és a Coq programcsomag | BMETE91AM58/T0 |
Elméleti számítástudomány | BMETE91MM00/A0 |
Elméleti számítástudomány | BMETE91MM00/A1 |
Elméleti számítástudomány | BMETE91MM00/T0 |
Elméleti számítástudomány | BMETE91MM00/T1 |
mathematical logic
logic
philosophy of mathematics
teaching of mathematics