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/T0 |
| Elméleti számítástudomány | BMETE91MM00/T1 |
| Elméleti számítástudomány | BMETE91MM00/A0 |
| Elméleti számítástudomány | BMETE91MM00/A1 |
Kutatás
Publikációk és hivatkozások:
mathematical logic
logic
philosophy of mathematics
teaching of mathematics