[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Rein |
| 2. | Perekonnanimi | Prank |
| 3. | Töökoht | Tartu Ülikool. Arvutiteaduse instituut |
| 4. | Ametikoht | dotsent |
| 5. | Sünniaeg | 22.03.1949 (päev.kuu.aasta) |
| 6. | Haridus | Nõo Keskkool 1967. Tartu Ülikooli matemaatikateaduskond 1967-71 (ei lõpetanud) Moskva RÜ mehaanika-matemaatikateaduskond 1971-73(lõpetasin). Aspirantuur Moskva RÜ mehaanika-matemaatikateduskonnas 1976-79. |
| 7. | Teenistuskäik | 1973-76 TÜ statistika ja programmeerimise kat. vanemõpetaja 1976-79 Moskva RÜ aspirant 1979-85 TÜ programmeerimise kat. vanemõpetaja 1985-… TÜ programmeerimise kateedri (nüüd Arvutiteaduse instituudi) dotsent |
| 8. | Teaduskraad | Füüsika- matem. teaduste kand. |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Moskva Ülikool, 1982 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
Arvutiteaduse instituudi juhataja 1994, 1999 |
| 12. | Juhendamisel kaitstud väitekirjad |
Anton Golovko, MSc, 2004, juh. Rein Prank. Õpiprogramm Bethi tabelite konstrueerimiseks. Tartu Ülikool Dmitri Lepp, MSc, 2003, juh. Rein Prank. Algebraliste teisenduste harjutamise programm "Polynom". Tartu Ülikool Marina Issakova, MSc, 2003, juh. Rein Prank. Aritmeetilisete tehete õppimise programm "1+4". Tartu Ülikool Mart Anton, MSc, 2003, juh. Rein Prank. Formaalsete aksiomaatiliste teooriate tõestuste redaktor. Tartu Ülikool Hannes Valk, MSc, 1994, juh. Rein Prank. Kooligeomeetria vahenditega kolmnurkade lahendamise modelleerimine arvutil. Tartu Ülikool Tauno Õunapuu, MSc, 1994, juh. Rein Prank. Õpiprogrammidesse sobiva automaatse teoreemitõestaja konstrueerimine. Tartu Ülikool |
| 13. | Teadustöö põhisuunad | 1) Realiseeritavusloogikaga elementaarteooriad 2) Intelligentne õpitarkvara matemaatika õpetamiseks 3) Komputeriseeritud hindamine |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
M.Issakova, D.Lepp, R. Prank. Input Design in Interactive Learning Environment T-Algebra. Proceedings. 5th IEEE International Conference on Advanced Learning Technologies ICALT 2005. 5-8 July 2005. Kaohsiung, Taiwan. IEEE, 2005. 489-491 R.Prank, V.Vaiksaar. Expression manipulation environment for exercises and assessment. 6th International Conference on Technology in Mathematics Teaching. Volos-Greece, October 2003. 342-348. R.Prank, E.Tõnisson. Computers in School Mathematics - A Pilot Course for School Teachers of Mathematics in Estonia. Technology in Mathematics Teaching. Proceedings of the ICTMT5 (Klagenfurt, 2001). Plenary Lectures and Strands. Schriftenreihe Didaktik der Mathematik, vol. 25. öbv & hpt, 249-252, Vienna, 2002. R.Prank. Using Computerised Tests as Support for Tutorial-Type Learning in Logic. Proceedings of the Second International Conference on the Teaching of Mathematics, 1-6 July 2002, Hersonissos, Crete. CD-publication. John Wiley & Sons, Inc. Publishers. 9 p. R.Prank, E.Tõnisson. Is the Domain Expert Module for Expression Manipulation Exercises Ready? Intelligent Computer and Communications Technology - Learning in On-Line Communities. Proceedings of the tenth International PEG Conference, Tampere, 2001. R.Prank. Some Further Steps after the Computerisation of Predicate Calculus. First International Congress on Tools for Teaching Logic. Proceedings. University of Salamanca, 2000, 131-136. R.Prank. Testing knowledge of definitions and theorems by computer. ICTMT4. The International Conference on Technology in Mathematics Teaching. University of Plymouth, 1999. R.Prank. Using Computers for Problem Solving Tests. International Conference on the Teaching of Mathematics. Samos, Greece, July 3-6, 1998. John Wiley & Sons, Inc. Publishers,1998, 248-250. 51-56. R. Prank, T. Õunapuu. Intelligent Tutoring System for Proof Building Exercises. New Media and Telematic Technologies for Education in Eastern European Countries. Twente University Press, Enschede, 1997, 371-376. R. Prank. Using Computerised Exercises on Mathematical Logic. Informatik-Fachberichte, Vol. 292, Springer-Verlag, 1991, pp. 34-38. Р.Пранк. О выразимости в элементарных теориях с логикой реализуемости в минимальной сигнатуре. Ученые записки Тартуского ГУ, 764, 1987, 67-73. Р.Пранк. Ο факторрешетке решетки рекурсивно перечислимых множеств по конгруэции иммунности. Ученые записки Тартуского ГУ, 556, 1981, 11-13. Р.Пранк. Выразимость в элементарной теории рекурсивно перечислимых множеств с логикой реализуемости. Алгебра и логика, 20, 1981, No4, 427-439. Р.Пранк. Выразимость в элементарной теории рекурсивных множеств с логикой реализуемости. Ученые записки Тартуского ГУ, 500, 1979, 119-128. Р.Пранк. Семантика реализуемости для языка с переменными по рекурсивно перечислимым множествам. Труды ВЦ Тартуского ГУ, 43, 1979, 112-131. Р.Пранк. О конгруэнциях в решетке рекурсивно перечислимых множеств. Ученые записки Тартуского ГУ, 464, 1978, 28-36. |
viimati muudetud: 16.09.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Rein |
| 2. | Surname | Prank |
| 3. | Institution | University of Tartu. Institute of Computer Science |
| 4. | Position | Assoc Professor |
| 5. | Date of birth | 22.03.1949 (day.month.year) |
| 6. | Education | Nõo Secondary School 1967 University of Tartu, Faculty of Mathematics 1967-71. Moscow University, Faculty of Mechanics and Mathematics 1971-73 Postgraduate student in Moscow University 1976-79 |
| 7. | Research and professional experience |
1973-76 University of Tartu, Lecturer 1976-79 Postgraduate student in Moscow University 1979-85 University of Tartu, Lecturer 1985-… University of Tartu, Assoc Professor |
| 8. | Academic degree | Candidate of Phys-Math Sci |
| 9. | Dates and sites of earning the degrees |
Moscow University, 1982 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
Head of the Institute of Computer science 1994, 1999. |
| 12. | Supervised dissertations |
Anton Golovko, MSc, 2004, superv. Rein Prank. Õpiprogramm Bethi tabelite konstrueerimiseks. Tartu Ülikool Dmitri Lepp, MSc, 2003, superv. Rein Prank. Algebraliste teisenduste harjutamise programm "Polynom". Tartu Ülikool Marina Issakova, MSc, 2003, superv. Rein Prank. Aritmeetilisete tehete õppimise programm "1+4". Tartu Ülikool Mart Anton, MSc, 2003, superv. Rein Prank. Formaalsete aksiomaatiliste teooriate tõestuste redaktor. Tartu Ülikool Hannes Valk, MSc, 1994, superv. Rein Prank. Kooligeomeetria vahenditega kolmnurkade lahendamise modelleerimine arvutil. Tartu Ülikool Tauno Õunapuu, MSc, 1994, superv. Rein Prank. Õpiprogrammidesse sobiva automaatse teoreemitõestaja konstrueerimine. Tartu Ülikool |
| 13. | Current research program | 1) Elementary Theories with Realizability Logic (...-1987) 2) Intelligent Tutoring Systems for Mathematics 3) Computer-Aided Assessment |
| 14. | Current grant funding | |
| 15. | List of most important publications |
M.Issakova, D.Lepp, R. Prank. Input Design in Interactive Learning Environment T-Algebra. Proceedings. 5th IEEE International Conference on Advanced Learning Technologies ICALT 2005. 5-8 July 2005. Kaohsiung, Taiwan. IEEE, 2005. 489-491 R.Prank, V.Vaiksaar. Expression manipulation environment for exercises and assessment. 6th International Conference on Technology in Mathematics Teaching. Volos-Greece, October 2003. 342-348. R.Prank, E.Tõnisson. Computers in School Mathematics - A Pilot Course for School Teachers of Mathematics in Estonia. Technology in Mathematics Teaching. Proceedings of the ICTMT5 (Klagenfurt, 2001). Plenary Lectures and Strands. Schriftenreihe Didaktik der Mathematik, vol. 25. öbv & hpt, 249-252, Vienna, 2002. R.Prank. Using Computerised Tests as Support for Tutorial-Type Learning in Logic. Proceedings of the Second International Conference on the Teaching of Mathematics, 1-6 July 2002, Hersonissos, Crete. CD-publication. John Wiley & Sons, Inc. Publishers. 9 p. R.Prank, E.Tõnisson. Is the Domain Expert Module for Expression Manipulation Exercises Ready? Intelligent Computer and Communications Technology - Learning in On-Line Communities. Proceedings of the tenth International PEG Conference, Tampere, 2001. R.Prank. Some Further Steps after the Computerisation of Predicate Calculus. First International Congress on Tools for Teaching Logic. Proceedings. University of Salamanca, 2000, 131-136. R.Prank. Testing knowledge of definitions and theorems by computer. ICTMT4. The International Conference on Technology in Mathematics Teaching. University of Plymouth, 1999. R.Prank. Using Computers for Problem Solving Tests. International Conference on the Teaching of Mathematics. Samos, Greece, July 3-6, 1998. John Wiley & Sons, Inc. Publishers,1998, 248-250. 51-56. R. Prank, T. Õunapuu. Intelligent Tutoring System for Proof Building Exercises. New Media and Telematic Technologies for Education in Eastern European Countries. Twente University Press, Enschede, 1997, 371-376. R. Prank. Using Computerised Exercises on Mathematical Logic. Informatik-Fachberichte, Vol. 292, Springer-Verlag, 1991, pp. 34-38. Р.Пранк. О выразимости в элементарных теориях с логикой реализуемости в минимальной сигнатуре. Ученые записки Тартуского ГУ, 764, 1987, 67-73. Р.Пранк. Ο факторрешетке решетки рекурсивно перечислимых множеств по конгруэции иммунности. Ученые записки Тартуского ГУ, 556, 1981, 11-13. Р.Пранк. Выразимость в элементарной теории рекурсивно перечислимых множеств с логикой реализуемости. Алгебра и логика, 20, 1981, No4, 427-439. Р.Пранк. Выразимость в элементарной теории рекурсивных множеств с логикой реализуемости. Ученые записки Тартуского ГУ, 500, 1979, 119-128. Р.Пранк. Семантика реализуемости для языка с переменными по рекурсивно перечислимым множествам. Труды ВЦ Тартуского ГУ, 43, 1979, 112-131. Р.Пранк. О конгруэнциях в решетке рекурсивно перечислимых множеств. Ученые записки Тартуского ГУ, 464, 1978, 28-36. |
last updated: 16.09.2005
[ sulge aken ]