Rein Prank

Rein Prank (sündinud 22. märtsil 1949 Amblas Järvamaal) on eesti matemaatik ja arvutiteadlane.

Elulugu
Rein Prank on teemeistri poeg.

Lõpetas 1967 Nõo Keskkooli, õppis 1967–1971 Tartu Ülikooli matemaatikateaduskonnas, lõpetas 1973 Moskva Ülikooli matemaatikuna, 1979 samas aspirantuuri, füüsika-matemaatikakandidaat (1982, Moskva Ülikool), väitekiri "Элементарные теории с логикой реализуемости". Täiendas end 1993 Saksamaal. Oli 1973–1976 TÜ matemaatilise statistika ja programmeerimise kateedri vanemõpetaja, 1979 programmeerimise kateedri õpetaja, 1979–1985 vanemõpetaja, 1985–1992 dotsent, 1993– arvutiteaduse instituudi teoreetilise informaatika õppetooli dotsent. Õpetanud matemaatilist loogikat, programmeerimist, algoritmiteooriat, õpiprogramme; koostanud õppevahendeid.

Teadustöö
Uurimisvaldkonnad: konstruktiivne matemaatiline loogika, intelligentsed õpetussüsteemid. Olnud õpilaste täppisteaduste olümpiaadi informaatika ainekomisjoni esimees (1988, 1992–1997), Eesti võistkonna juhendaja üleliidulisel informaatika olümpiaadil 1988 ja rahvusvahelisel olümpiaadil 1992–1997. Eesti Matemaatika Seltsi liige, Eesti Informaatika Seltsi liige. Üle 30 teadustrükise.

Tunnustus
2009 Tartu Ülikooli aumärk
2010 Gerhard Rägo nimeline mälestusmedal
2014 Tartu Ülikooli medal

Viited

Teoseid
 Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости. // Алгебра и логика 20 (1981) 4
 Using computerised exercises on mathematical logic. // Informatik-Fachberichte 292 (1991)
 Loogika. Mõtlemise tõestamisest (kaasautorid T. Tamm, T. Tammet). Tartu, 1997, 2. trükk 2002
 Matemaatiline loogika ja algoritmiteooria. Tartu, 2004
 Sissejuhatus matemaatilisse loogikasse. Tartu, 2004.

Kirjandus
 Tartu Riikliku Ülikooli õppe-teaduskoosseisu biobibliograafia nimestik 1944–1980. Trt, 1987, 378; II, 134
 EE 14, 378.
 

Eesti matemaatikud
Eesti informaatikud
Tartu Ülikooli õppejõud
Nõo Reaalgümnaasiumi vilistlased
Moskva Riikliku Ülikooli vilistlased
Sündinud 1949