|
|
|
|
|
Autorske knjige
|
|
|
|
|
Uredničke knjige
|
|
|
|
|
Poglavlja u knjizi
|
|
1. Šikić, Zvonimir.
Prirodni logaritmi // Prisutna prošlost / Adamović, D. ; Leko, M. ; Milić, S. ; Prešić, S. ; Trifunović, D. (ur.).
Beograd : Matematički institut SANU, 1990.
Str. 95-105.
|
2. Šikić, Zvonimir.
Novija filozofija matematike // Novija filozofija matematike / Šikić, Zvonimir (ur.).
Beograd : Nolit, 1987.
Str. 1-32.
|
3. Šikić, Zvonimir.
Aksiomatska metoda, prirodni brojevi i teorija modela // Brojevi..
Zagreb : Školska knjiga, 1985.
Str. 231-257.
|
4. Šikić, Zvonimir.
Formalna logika i aritmetika // Brojevi..
Zagreb : Školska knjiga, 1985.
Str. 16-21.
|
5. Šikić, Zvonimir.
O razlikovanju čiste i primijenjene matematike // Problem postojanja u matematici / Šeper, K. ; Prešić, M. ; Djurić, M. (ur.).
Beograd : Matematički institut SANU, 1979.
Str. 19-27.
|
|
|
|
|
|
Udžbenici i skripta
|
|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
|
|
|
Znanstveni radovi u drugim časopisima
|
|
1. Vuković, Mladen.
Interpretability logic and generalized Veltman models. // The Bulletin of Symbolic logic. 6 (2000) , 1; 131 (kongresno priopćenje, znanstveni).
|
2. Vuković, Mladen.
Characteristic classes and bisimulations of generalized Veltman models. // Grazer Math. Berichte. 341 (1999) , .; 7-16 (članak, znanstveni).
|
3. Vuković, Mladen.
The principles of interpretability. // Notre Dame Journal of Formal Logic. 40 (1999) , 2; 227-235 (članak, znanstveni).
|
4. Šikić, Zvonimir.
Alan Mathison Turing i pojam izračunljivosti. // Encyclopaedia moderna. XVIII (1998) , 49; 153-162 (članak, znanstveni).
|
5. Šikić, Zvonimir.
On numbers and classes. // Mathematical Communications. . (1998) , 3; 231-296 (članak, znanstveni).
|
6. Šikić, Zvonimir.
A. M. Turing. // Encyclopedia Moderna. . (1998) , 49; 153-162 (pregledni rad, znanstveni).
|
7. Vuković, Mladen.
The interpretability logic ILF. // Mathematical Communications . 3 (1997) , 2; 205-210 (članak, znanstveni).
|
8. Šikić, Zvonimir.
What are numbers. // International studies in the philosophy of science. (1996) , 10; 159-171-171 (članak, znanstveni).
|
9. Šikić, Zvonimir.
O matematizaciji prirodnih znanosti. // Rugjer. . (1996) , 2; 40-42 (pregledni rad, znanstveni).
|
10. Šikić, Zvonimir.
Goedelovi teoremi. // Rugjer. . (1996) , 5; 30-35 (pregledni rad, znanstveni).
|
11. Vuković, Mladen.
Some correspondences of principles in interpretability logic. // Glasnik matematički. 31 (1996) ; 193-200 (članak, znanstveni).
|
12. Šikić, Zvonimir.
On the equivalence of the solution lemma and Aczel's antifoundation axiom. // Grazer Mathematische Berichte. . (1994) , 323; 69-78 (članak, znanstveni).
|
13. Šikić, Zvonimir.
On a distinction between pure and applied mathematics. // Encyclopaedia moderna. . (1992) , 1; 6-9 (članak, znanstveni).
|
14. Šikić, Zvonimir.
The diagonal argument - a study of cases. // International Studies in the Philosophy of Science. . (1992) , 6; 191-203 (članak, znanstveni).
|
15. Šikić, Zvonimir.
A proof of the characterization theorem for consequence relations. // Zeitschr. f. math. Logik und Grundlagen d. Math.. 37 (1991) ; 41-43 (članak, znanstveni).
|
16. Šikić, Zvonimir.
On Devide's axiomatization of natural numbers. // Grazer Mathematische Berichte. . (1991) , 313; 57-64 (članak, znanstveni).
|
17. Šikić, Zvonimir.
Premiss tree proofs and logic of contradiction . // Zeitschr. f. math. Logik und Grundlagen d. Math.. 36 (1990) ; 273-280 (članak, znanstveni).
|
18. Šikić, Zvonimir.
Taylor's theorem. // Int. J. Math. Ed. Sci. Technol.. 21 (1990) , .; 111-115 (članak, znanstveni).
|
19. Šikić, Zvonimir.
Singular consequence relations and order relations. // Grazer Mathematische Berichte. . (1989) , 304; 118-127 (članak, znanstveni).
|
20. Šikić, Zvonimir.
Newton i Leibniz otkrivači infinitezimalnog računa. // Matematika. . (1989) , 1; 5-25 (pregledni rad, znanstveni).
|
21. Šikić, Zvonimir.
Definicije u matematici II. // Matematika. . (1989) , 2; 19-36 (pregledni rad, znanstveni).
|
22. Šikić, Zvonimir.
Definicije u matematici. // Matematika. . (1988) , 1; 5-19 (pregledni rad, znanstveni).
|
23. Šikić, Zvonimir.
Aksiomatizacija prirodnih brojeva. // Matematika. . (1987) , 1; 12-19 (pregledni rad, znanstveni).
|
24. Šikić, Zvonimir.
Život i djelo Kurta Goedela. // Matematika. . (1987) , 2; 49-59 (pregledni rad, znanstveni).
|
25. Šikić, Zvonimir.
Neprebrojivost kontinuuma i nastanak teorije skupova. // Matematika. . (1987) , 4; 7-21 (pregledni rad, znanstveni).
|
26. Šikić, Zvonimir.
Cantor's theorem and paradoxical classes. // Zeitschr. f. math. Logik und Grundlagen d. Math.. 32 (1986) ; 221-226 (članak, znanstveni).
|
27. Šikić, Zvonimir.
On the logical system L1. // Zeitschr. f. math. Logik und Grundlagen d. Math.. 32 (1986) ; 349-353 (članak, znanstveni).
|
28. Šikić, Zvonimir.
Joseph Luis Lagrange. // Matematika. . (1986) , 4; 47-51 (pregledni rad, znanstveni).
|
29. Šikić, Zvonimir.
Continuing variations on a system of Gentzen. // Zeitschr. f. math. Logik und Grundlagen d. Math.. 31 (1985) ; 537-544 (članak, znanstveni).
|
30. Šikić, Zvonimir.
Nekatere opombe k logiki in filozofiji znanosti. // Anthropos. 80 (1985) , 3/4; 126-129 (članak, znanstveni).
|
31. Šikić, Zvonimir.
Otkriće prirodnih logaritama. // Matematika. . (1985) , 3-4; 56-61 (pregledni rad, znanstveni).
|
32. Šikić, Zvonimir.
Multiple forms of Gentzen's rules and some intermediate logics . // Zeitschr. f. math. Logik und Grundlagen d. Math.. 30 (1984) ; 335-338 (članak, znanstveni).
|
33. Šikić, Zvonimir.
Novija filozofija matematike. // Scientia Yugoslavica. 10 (1984) ; 3-10 (članak, znanstveni).
|
34. Šikić, Zvonimir.
A note on sum-eliminator. // Glasnik matematički. 15 (1980) ; 249-251 (članak, znanstveni).
|
35. Šikić, Zvonimir.
A note on sum-eliminator. // Glasnik matematički. 15 (1980) ; 249-251 (članak, znanstveni).
|
|
|
|
|
|
Ostali radovi u drugim časopisima
|
|
1. Šikić, Zvonimir.
O racionalnim potencijama. // Poučak. . (2000) , 1; 54-55 (članak, stručni).
|
2. Šikić, Zvonimir.
Distributivnost vektorskog produkta. // Poučak. . (2000) , 1; 56-57 (članak, stručni).
|
3. Šikić, Zvonimir.
Dokazi bez riječi. // Poučak. . (2000) , 1; 58-62 (članak, stručni).
|
4. Šikić, Zvonimir.
Dokazi bez riječi. // Poučak. . (2000) , 2/3; 79-80 (članak, stručni).
|
5. Šikić, Zvonimir.
Fibonaccijev niz. // Poučak. . (2000) , 2/3; 5-14 (članak, stručni).
|
6. Šikić, Zvonimir.
Kako je Eratosten izmjerio Zemlju. // Matka. . (1993) , 3; 17-21 (članak, stručni).
|
7. Šikić, Zvonimir.
Stendhalovi problemi s negativnim brojevima. // Matka. . (1993) , 6; 62-64 (članak, stručni).
|
8. Vuković, Mladen.
Indirektni dokazi. // Matematičko-fizički list. 172 (1993) , 3-4; 113-122 (članak, stručni).
|
9. Šikić, Zvonimir.
Što su skupovi u školi. // Matematika. . (1989) , 3; 19-30 (članak, stručni).
|
10. Šikić, Zvonimir.
O zbroju kutova u trokutu. // Matematika. . (1989) , 4; 18-26 (članak, stručni).
|
11. Šikić, Zvonimir.
Izolirani singulariteti funkcija. // Matematika. . (1986) , 2; 60-65 (članak, stručni).
|
12. Šikić, Zvonimir.
Brojevi i brojke. // Matematika. . (1986) , 3; 5-15 (članak, stručni).
|
13. Šikić, Zvonimir.
"Strojarski" dokazi u matematici. // Matematika. . (1985) , 2; 24-38 (članak, stručni).
|
14. Šikić, Zvonimir.
Inženjerska matematika je numerička matematika. // Stručni časopis ("Ðuro Ðaković"). . (1985) , 1; 21-26 (članak, stručni).
|
15. Šikić, Zvonimir.
Taylorova formula i dodiri višeg reda. // Matematika. . (1984) , 3; 5-10 (članak, stručni).
|
16. Šikić, Zvonimir.
Polinomske aproksimacije i Taylorova formula. // Matematika. . (1984) , 3; 10-19 (članak, stručni).
|
17. Šikić, Zvonimir.
O Taylorovom teoremu. // Matematika. . (1984) , 3; 19-29 (članak, stručni).
|
18. Šikić, Zvonimir.
Neke primjene mehanike u elementarnoj geometriji. // Matematika. . (1981) , 2; 34-44 (članak, stručni).
|
19. Šikić, Zvonimir.
O kvadratnim brojevima. // Matematika. . (1978) , 4; 5-10 (članak, stručni).
|
|
|
|
|
|
Kongresno priopćenje (sažeci) u ostalim časopisima
|
|
1. Rosenzweig, Dean.
Evolving Algebras and Light Linear Logic // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1).
Cambridge : Cambridge University Press, 1997. 116-116 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
2. Šikić, Zvonimir.
On unfounded universe with individuals and proper classes // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1).
Cambridge : Cambridge University Press, 1997. 118-119 (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
|
|
|
|
|
Objavljena pozvana predavanja na skupovima
|
|
1. Vuković, Mladen.
Matematička logika u osnovnoj i srednjoj školi // Zbornik radova 4. susreta nastavnika matematike / Varošanec S., Mladinić P. (ur.).
Zagreb : Hrvatsko matematičko društvo, 1998. 285-295 (pozvano predavanje,objavljeni rad,stručni).
|
2. Šikić, Zvonimir.
Peacock's principle and Euler's equation // Algebra and Logic 1984..
1985. 165-170 (pozvano predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
3. Šikić, Zvonimir.
Peacock's principle and Euler's equation // Algebra and Logic 1984..
1985. 165-170 (pozvano predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
|
|
|
Disertacije
|
|
|
|
|
Magistarski radovi
|
|
|
|
|
Diplomski radovi
|
|
|
|
|
|
|