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

[uredi] Zunanje povezave


Ta biografski članek o matematiku je škrbina. Slovenski Wikipediji lahko pomagate tako, da ga dopolnite z vsebino.