| Teema |
Ettekandja |
Kuupäev |
|
| 1. |
Sissejuhatus. Teemade jaotamine. |
R.Prank, V.Laan |
21.II |
| 2. |
J.H.Davenport. Equality in Computer Algebra and Beyond. Journal of Symbolic Computation, Vol 34, No 4, Oct 2002. | E.Tõnisson |
2.III 9.III |
| 3. |
B.F.Caviness. On Canonical Forms
and Simplification. Journal of ACM. Vol 17, No 2, 1970. 385-396. |
T.Tamme |
16.III 23.III |
| 4. |
W.S.Brown. Rational Exponential
Expressions and a Conjecture Concerning 'PI' and 'E'. The American
Mathematical Monthly, 76, No 1, 1969, 28-34. |
V.Laan |
30.III 6.IV |
| 5. |
D.Richardson. Some unsolvable
problems involving elementary functions of a real variable. J.Symbolic
Logic 33 (1968), 514-520. |
A.Peder |
6.IV 13.IV |
| 6. |
D.Richardson. Solution of the Identity Problem for Integral Exponential Functions. Zeitschr. Math. Logik Grundl. Math., 15, 1969, 333-340. | R.Palm |
20.IV 27.IV |
| L.Henkin. The Logic of Equality.
The American
Mathematical Monthly, 84, 8 (1977), 597-612. |
|||
| 7. |
S.Burris, K.Yeats. The
Saga of the High School Identities. 1-17. |
D.Lepp |
18.V 25.V |
| 8. |
A.J.Wilkie. On
Exponentiation – A Solution to Tarski’s High School Algebra Problem. Connections between Model Theory and Algebraic and Analytic Geometry, Quadermi di Matematica, vol.6, Naples, 2000, 107-129. |
||
| 9. |
D.Marker . Introduction
to Model theory. Model Theory, Algebra, and Geometry. MSRI
Publications. 39, 2000. (meid huvitavat valdkonda silmas pidades kirjutatud sissejuhatus) |
||
| 10. |
A.Seidenberg. A New Decision
Method for Elementary Algebra. Ann. Math., Vol 60, No 2, 1954, 365-374. |
V.Tsvetkov |
4.V 11.V |
| 11. |
A.Macintyre, A.J.Wilkie. On the
decidability of the real exponential field. Kreiseliana: about and around Georg Kreisel, ed. By P.Odifreddi, 441-467, A.K.Peters, 1996. |