Rein Prank
 | See artikkel vajab toimetamist. (Detsember 2012) |
Rein Prank (sündinud 22. märtsil 1949 Amblas Järvamaal) on eesti matemaatik ja arvutiteadlane.[1]
Elulugu[muuda | muuda lähteteksti]
Rein Prank on teemeistri poeg.[1]
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.[1]
Teadustöö[muuda | muuda lähteteksti]
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.[1]
Tunnustus[muuda | muuda lähteteksti]
Viited[muuda | muuda lähteteksti]
- ↑ 1,0 1,1 1,2 1,3 Eesti teaduse biograafiline leksikon, 3. köide
- ↑ "Tartu Ülikooli aumärgi kavalerid". Tartu Ülikool. Vaadatud 8.12.2022.
- ↑ "Tartu Ülikooli medali kavalerid". Tartu Ülikool. Vaadatud 5.12.2022.
Teoseid[muuda | muuda lähteteksti]
- Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости. // Алгебра и логика 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[muuda | muuda lähteteksti]
- Tartu Riikliku Ülikooli õppe-teaduskoosseisu biobibliograafia nimestik 1944–1980. Trt, 1987, 378; II, 134
- EE 14, 378.
- Eesti teaduse biograafiline leksikon. 3. köide: N–Sap TTEÜ, avaldatud elektrooniliselt 2013
Käesolevas artiklis on kasutatud "Eesti teaduse biograafilise leksikoni" materjale.