Izidor Hafner
Iz Wikipedije, proste enciklopedije
Izidor Hafner, slovenski matematik in logik, * ???.
Po diplomi iz predikatnega računa (1972) in magisteriju iz algebre (1974) je leta 1983 doktoriral na Fakulteti za elektrotehniko s temo Kompleksnost teorij Leśniewskega in njihova uporaba.
Leta 2006 je predavatelj na Fakulteti za računalništvo in informatiko v Ljubljani. Je ustanovitelj tekmovanj iz logike ter revije Logika in razvedrilna matematika. Za svoje zasluge pri uvajanju računalništva in logike v srednje šole ter za delo z mladimi na tem področju je leta 2000 prejel častni znak svobode Republike Slovenije.
[uredi] Glej tudi
- seznam slovenskih matematikov
- seznam slovenskih logikov
- seznam slovenskih pedagogov
- seznam prejemnikov častnega znaka svobode Republike Slovenije
[uredi] Zunanje povezave
- Izidor Hafner - osebna predstavitev
Ta biografski članek o matematiku je škrbina. Slovenski Wikipediji lahko pomagate tako, da ga dopolnite z vsebino.