Marica Radojčić (Prešić): bibliography                                                  

(papers, books, articles, softwares)

a) Master and doctoral thesis

1. Potapanje algebarskih struktura i modela, master thesis, Beograd 1969

2. Jedan iterativni postupak za jednovremeno određivanje k korena polinoma, doctoral thesis, Beograd 1972

b) Scientific papers: mathematics

1. M. D. Radojčić, On the embedding of universal algebras  in groupoids holding  the law XY*ZU**= XZ*YU**,  Mat. vesnik, Beograd, 5(20), Sv. 5, 1968, pp. 353-356

2. A method for solving equations in finite fields, Mat.vesnik, Beograd, 7(22), Sv. 4, 1970, pp. 507-509

3. On  certain formulas for equivalence and order relations, Mat. vesnik, Beograd, 7(22), Sv. 4, 1970,

pp. 510-513

4. Un procédé itératif pour detérminer k zéros d'un polynome, C.R. Acad. Sci. Paris, t. 273 (1971), pp. 446-449

5. Jedan iterativni postupak za jednovremeno odredjivanje k realnih rešenja jednačine na polju realnih brojeva, Mat. vesnik, Beograd, 10(25), Sv. 4, 1973, pp. 299-308

6. On the embedding of W-algebras in groupoids, Publ. Inst. Math. Beograd,

t. 21(35), 1977, pp. 169-174 (with S. B. Prešić)

7. On Ostrowski's fundamental existence theorem, Publ. Inst. Math. Beograd,

t. 24(38), 1978, pp. 125-132

8. On the greatest congruence of relations, Publ. Inst. Math. Beograd, t. 25(40), 1979 pp. 233-247

9. On Ostrowski's fundamental theorem in the complex case, Publ. Inst. Math. Beograd, t. 26(40), 1979,

pp. 125-128

10. On the embedding of models, Abstracts of 6th International Congress of Logic, Methodology and Philosophy of Science, Hanover, 1979, pp. 143-147

11. On the free commutative groupoid, Publ. Inst. Math. Beograd, t. 27(41), 1980, pp. 209-223

12. On the embedding of propositional models, Publ. Inst. Math. Beograd,

t. 28(42), 1980, pp. 151-158

13. A convergence theorem for a method for simultaneous determination of all zeros of a polynomial, Publ. Inst. Math. Beograd, t. 28(42), 1980, pp. 159-168

14. Some results on the extending of models, Proceedings of the Algebraic conference, Skoplje 1980,

pp. 45-51

15. Some  embedding theorems, Publ. Inst. Math. Beograd, t. 30(44), 1981, pp. 161-168 (with S. B. Prešić)

16. Formalizacija jednog dela srpskohrvatskog jezika - prikaz, Proceedings of the conference  “Računarska obrada lingvističkih podataka - 2”, Bled, 1982, pp. 73-85

17. A generalization of equivalence relations, Publ. Inst. Math. Beograd, t. 40(54), 1986, pp. 17-22

18. Formalne gramatike, Računari u nauci i obrazovanju, br. 2, Beograd, 1990 pp. 43-58

19. A PROLOG Program for Generating a Fragment of Serbo-Croatian, Prague Bulletin of Mathematical Linguistics, Prague, t. 54(1990), pp. 57-74

20. Intensional Logic with Noun Cases, Publ. Inst. Math. Beograd, t. 54(68), 1993, pp. 28-37

21. Towards High-level Knowledge in Speech Recognition: Applications of Mathematical Logic, in Brain and Speech, Neuro Computing and Speech Recognition (Ed. Jelisaveta Milojević), Academia Nova, Beograd, 1994, 40 pages

22. A Constructive Proof of Equivalence of Formalism of DCG's with the formalism of type 0 Phrase-structure Grammars, Publ. Inst. Math. Beograd, t. 58(72), 1995, pp. 38-47  (with S.B. Prešić)

23. Representation of Metamorphosis Grammar in Logic Grammar: Proof Trees and Their Lengths, Publ. Inst. Math. Beograd, t. 61(75), 1996, pp. 57-62

 c) Philosophy

24. Matematički pravci i problem postojanja, Pitanje postojanja u matematici, Matematički institut, Beograd, 1979, pp. 56-61

25. Za Slovom/Beyond Logos, Za Slovom/Beyond Logos, Muzej savremene umetnosti, Beograd, 1992,

pp. 3-5

26. Stanja upitanosti/ States of Questioning, Za Slovom/Beyond Logos, Muzej savremene umetnosti, Beogard, 1992, pp. 25-30

27. Four, Proceedings of the International Conference "Symmetry", Belgrade

1993, pp. 25-29

28. The future of architecture, u Building Plans & Schemes (selection: G. Bleus-a), Culturcentrum Heusden-Zolder, 1993, pp. 83

d) Other papers & softwares

29. O formalnim teorijama I, Matematika, Beograd, br. 1, 1973, pp. 26-30

30. Kako u osnovnoj školi predavati aksiome i teoreme, II (završetak), Matematika, Beograd, br. 4, 1974, pp. 89-92 (with S. B. Prešić)

31. O formalnim teorijama II, Matematika, Beograd, br. 4. 1975, pp. 25-37

32. Metoda dokazivanja razlikovanjem slučajeva, Matematika, Sarajevo, br. 3, 1979, pp. 26-35

33. SRB, software za generisanje odlomka srpskog jezika, ARITY PROLOG, 1990

34. Azbuka++, Proceedings of the International Conference “Ćirilica i informacione tehnologije”, Beograd, 1994, 4 pages

e) Publicity

35. Dobro i loše, Vuk Karadžić - više od serije, okrugli sto NIN-a i KPZ Srbije, NIN, 6. March 1988, pp. 56

36. Čime se ponosio Tesla, Politika, 7. December 1991, pp.21

f) Books

1. Uvod u matematičku logiku: teorija i zadaci, Matematički institut, Beograd, 1979, 398 pages (with S. B. Prešić)

2. Rešavanje jednačina, nejednačina, formula, Školska knjiga, Zagreb, 1980, 192 pages (with S. B. Prešić)

3. Pitanje postojanja u matematici, Matematički institut, Beograd, 1980,  76 pages (with a group authors)

4. Brojevi, Školska knjiga, Zagreb, 1985, 356 pages (with a group authors)

5. Zasnivanje prirodnih jezika: formalne gramatike, 350 pages (manuscript)

6. Algoritmi, jezici, automati, Faculty of Mathematics, 2004, 220 pages