Molnár Zoltán Gábor

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

Kutatás

Publikációk és hivatkozások:
MTMTGoogleScholarResearchGate

mathematical logic
logic
philosophy of mathematics
teaching of mathematics