Tõnu Tamme

**Tõnu Tamme** (sündinud 23. detsembril 1958 Tartus) on eesti arvutiteadlane ja loogik.

## Haridustee
Ta lõpetas 1977. aastal Miina Härma Gümnaasiumi ja 1982. aastal Tartu Ülikooli rakendusmatemaatika erialal *[[cum laude]]*. 1985–1988 õppis Moskva Riikliku Ülikool mehhaanika-matemaatikateaduskonnas matemaatilise loogika aspirantuuris.

Kaitses 1996. aastal magistrikraadi informaatikas.

## Töökohad
* 2018–2024 Tartu Ülikool. Arvutiteaduse instituut. Informaatika õpetaja.
* 1993–2018 Tartu Ülikool. Matemaatikateaduskond. Arvutiteaduse instituut. Lektor
* 1988–1993 Tartu Ülikool. Rakendusmatemaatika labor. Nooremteadur
* 1982–1985 Tartu Ülikool. Arvutuskeskus. Insener

## Õpetamine
Tõnu Tamme on õpetanud mitmeid arvutiteaduse põhikursusi, sealhulgas:
* Programmeerimise alused
* C++ programmeerimine
* Loogiline programmeerimine
* Sissejuhatus andmebaasidesse
* TeX küljendusprogramm
* Tehisintellekt
* Loogika

## Teadustöö
Arvutiteadlane Tõnu Tamme on Tartu Ülikooli arvutiteaduse instituudi pikaajaline lektor ja teoreetilise informaatika õpetaja, kelle töö keskmes on matemaatiline loogika, õpiprogrammid,  loogiline programmeerimine, diskreetne matemaatika ja teadusfilosoofia. Ta on üks Eesti loogikaõpetuse tuntumaid kujundajaid.
Tema töö keskendub loogika ja arvutiteaduse teoreetilistele alustele. Olulisemad panused:
* Kaasautor õpikus „Loogika: mõtlemisest tõestamiseni“, mis on üks Eesti olulisemaid loogikaõpikuid. 
* Artiklid matemaatilise loogika ja informatsioonihalduse teemadel, sh Dedekindi arvude loendamise meetodid ja e-kirjade halduse täiustamine.

## Publikatsioonid
* Tõnu Tamme. Lausearvutusvalemite viimine disjunktiivsele normaalkujule. Kursusetöö, 1980. (Juhendajad dots. Rein Prank ja Agu Nigul)
* Tõnu Tamme. Väljendatavus lihtrekursiivse realiseeritavuse elementaarteoorias. Kursusetöö, 1981. (Juhendaja dots. Rein Prank)
* Tõnu Tamme. Väljendatavusest osaliselt rekursiivsete funktsioonide realiseeritavuse loogikaga elementaarteoorias. Diplomitöö, 1982. (Juhendaja dots. Rein Prank)
* Tõnu Tamme. About realization of a data manipulation language. (vene keeles) Proc. Comp. Centr. of Tartu Univ. No. 52, 1985, 15–26.
* Tõnu Tamme. Automorphisms of the Computational Structure. Third Logical Biennial, Summer School and Conference in Honour of S. C. Kleene. June 6–15, 1990, Chaika near Varna, Bulgaria. Abstracts. Sofia, 1990, 68.
* Tõnu Tamme. Two incomparable sets invariant with respect to the group of automorphisms of the computational structure. (vene keeles) Acta et Comm. Univ. Tartuensis} 878, 1990, 137–146.
* Rein Prank, Tõnu Tamme, Hellis Viira. Problem-Solving Environments for Mathematical Logic. East-West Conference on Emerging Computer Technologies in Education, 6–9 April 1992, Moscow, Russia. Conference Abstracts. Moscow, 1992, 112–113.
* Tõnu Tamme. Loogikaraamat. I osa. Klassikaline loogika. Magistritöö, 1996.
* Tambet Matiisen, Tõnu Tamme. Agenditehnoloogia ülevaade. Arvutimaailm nr. 7 (1997), 41–44; nr. 8 (1997), 49–53.
* Tõnu Tamme. Deduktsioon ja induktsioon. Raamatus: Arutlusi teadusest ja tõest, toimet. Jaak Kangilaski ja Enn Kasak, Võro Instituut, 1998, 109–113.
* Tõnu Tamme. Matemaatika tehnilised piirid. Akadeemia nr. 10, 1999, 2117–2121. Kogumikus: Mart Jaanson, Monika Kaldalu, Janika Päll (toim.). Techne. Scripta Musicalia, Tallinn, 2002, 135–138.
* Tõnu Tamme. Viienda põlvkonna müüt. Arvutimaailm nr. 5, 2000, 48–49.
* Mati Tombak, Ain Isotamm, Tõnu Tamme. On Logical Method for Counting Dedekind Numbers. In R. Freivalds (ed.), Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, LNCS 2138: 424–427.
* Tõnu Tamme, Kalle Kullman. Logical Description of Layouts. Seventh Symposium on Programming Languages and Software Tools SPLST'2001, University of Szeged, 2001. Tibor Gyimothy (ed.), 244–249.
* Walter Dosch, Tõnu Tamme. Designing a Conditional Merge Component – From Streams to State Transitions. 21st International Conference on Computers and Their Applications (CATA-2006), March 23–25, 2006, Seattle, Washington USA. J. Jackson (ed), 64–71.
* Walter Dosch, Annette Stümpel, Tõnu Tamme. Streaming Dyadic Boolean Operations. 5th International Conference on Information Technology : New Generations (ITNG 2008); Las Vegas, Nevada, USA; April 7–9, 2008. S. Latifi (ed). IEEE Computer Soc, 2008, 88–96.
* Tõnu Tamme, Ulrich Norbisrath, Georg Singer, Eero Vainikko. Improving Email Management. IMMM 2011 : The First International Conference on Advances in Information Mining and Management, 2011, 67–72.
* Tõnu Tamme. Simplifying Email Management. Editors Arvi Tavast, Kadri Muischnek, Mare Koit. Human Language Technologies – The Baltic Perspective. Frontiers in Artificial Intelligence and Applications 247, 2012, 230–237.
* Tõnu Tamme. Logic in Estonia. In: Logic in Central and Eastern Europe: History, Science and Discourse. Andrew Schumann (ed). University Press of America, 2012, 166–171.
* Tõnu Tamme, Leo Võhandu, Ermo Täks. 2nd International Workshop “Network Analysis in Law” Pre-proceedings: 2nd International Workshop “Network Analysis in Law” NAiL2014 in conjunction with JURIX 2014: The 27th International Conference on Legal Knowledge and Information Systems. Krakow, Poland, Dec 10, 2014. Ed. R. Winkels, N. Lettieri, 105−114.
* Tõnu Tamme, Addi Rull, Leo Võhandu. Eesti põhiseaduse ja Huno Rätsepa raamatu koht eesti kirjandusmaastikul. Teesid: Generatiivse grammatika grupi juubelikoosolek, Tartu, 18.12.2015. Toim. Valge, J. Tartu: TÜ Eesti ja üldkeeleteaduse instituut, 18.
* Addi Rull, Tõnu Tamme, Leo Võhandu. A Structural and Grammatical Analysis of the Estonian Constitution. Baltic Journal of European Studies, 6(2), 2016, 76–95,

## Raamatud
* Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: mõtlemisest tõestamiseni. Tartu Ülikooli Kirjastus, 1997.
* Tõnu Tamme.  Loogilise programmeerimise meetod. Tartu, 2003.

## Isiklikku
Tema isa oli matemaatikaprofessor Enn Tamme (1930–2019). Tema poeg on Jaagup Tamme.

## Viited