BORIČIĆ DR BRANISLAV redovni profesor |
Prof. dr Branislav Boričić
Rođen 12. maja 1955. godine u Ivangradu (Beranama), gde je završio osnovnu školu i gimnaziju. Na grupi za matematiku Prirodno-matematičkog fakulteta Univerziteta u Beogradu diplomirao 1977. godine, gde je, takođe, završio poslediplomske studije, magistrirao 1980. i odbranio doktorsku tezu 1984. godine. Školske 1978/79. godine radi kao profesor matematike u Matematičkoj gimnaziji u Beogradu, a 1979. godine je izabran za asistenta-pripravnika na Ekonomskom fakultetu
Univerziteta u Beogradu, gde je u zvanje redovnog profesora izabran 1995. godine.
Oblast naučno-istraživačkog rada: matematička logika (teorija dokaza, neklasične logike i logike preferencija, teorija društvenog izbora).
Nastava: pored kurseva algebre, linearne algebre, analize, matematičke logike, teorije skupova i teorije sistema na redovnim studijama, držao nastavu i na poslediplomskim studijama iz teorije sistema, funkcionalne analize, metodologije naučnog istraživanja, matematičke logike i osnova matematike, teorije algoritama, automatskog dokazivanja teorema i veštacke inteligencije.
Usavršavanje i gostovanja: London (Imperial College; Chelsea College of Science and Technology) (1985), Solun (Aristotelov univerzitet) (1994), Iraklion (Kritski univerzitet) (1994-1996), Solun (Univerzitet Makedonija) (1997), Patras (Univerzitet Patras) (2000). Članstvo u udruženjima: Association for Symbolic Logic, American Mathematical Society, Balkan Logical Society, Društvo matematičara Srbije, Grčko matematičko društvo, Interest Group on Propositional and Predicate Logic, Društvo za čistu i primenjenu logiku, The Mathematical Association of America, Naučno društvo ekonomista itd. Stalni recenzent-saradnik časopisa Zentralblatt fur Mathematik, Mathematical Reviews i Mathematische Didaktik sa preko 400 priloga u njima. Član redakcija časopisa Economic Annals i IMO - Istraživanje matematičkog obrazovanja. Spoljni saradnik Matematičkog instituta Srpske akademije nauka i umetnosti, i aktivan učesnik u radu Odeljenja za matematiku, Seminara za matematičku logiku i Seminara za istoriju i filozofiju matematike. Učesnik na mnogim međunarodnim i nacionalnim naučnim i stručnim skupovima. Autor (ili koautor) niza stručnih i metodičkih radova i učila namenjenih nastavnicima, studentima i učenicima srednjih škola, kao i monografija. Obavljao dužnosti prodekana za nastavu Ekonomskog fakulteta u Beogradu i šefa Katedre za statistiku i matematiku. Od 2012. godine obavlja dužnost dekana Ekonomskog fakulteta Univerziteta u Beogradu. Bavi se i prevođenjem (sa ruskog i grčkog jezika).
Značajniji radovi:
1. Equational reformulation of intuitionistic propositional and classical first-order calculus, Publications de l'Institut Mathématique (43) (1981), pp. 23-28. (v. Mathematical Reviews (MR) 83e:03022; Zentralblatt fur Mathematik und ihre Grenzgebiete (Zbl) 498:03050) (SCI)
2. One of the possible formal descriptions of deducibility, Publications de l'Institut Mathématique 34 (48) (1983), pp. 13-18. (MR 86f:03019; Zbl 554:03017) (SCI)
3. A decision procedure for certain disjunction-free intermediate propositional calculi, Publications de l'Institut Mathématique 34 (48) (1983), pp. 19-26. (MR 86d:03027; Zbl 556:03025) (SCI)
4. Equational reformulation of the Heyting first-order predicate calculus, Proceedings of the Third Algebraic Conference, Beograd, 1983, pp. 41-44. (MR 85j:03030; Zbl 536:03043)
5. A note on some intermediate propositional calculi, Journal of Symbolic Logic 49 (1984), pp. 329-333. (MR 86b:03026; Zbl 555:03013) (SCI)
6. On some subsystems of Dummett's LC, Zeitschrift fur mathematishe Logik und Grundlagen der Mathematik 31 (1985), pp. 243-247. (MR 87c:03053; Zbl 598:03022) (SCI)
7. On sequence-conclusion natural deduction systems, Journal of Philosophical Logic 14 (1985), pp. 359-377. (MR 87e:03148; Zbl 572:03033) (SCI)
8. O nezavisnosti u formalnim teorijama, Matematika XV (1986), Br. 2, str. 65-68.
9. Savremena metodologija u teorijskoj ekonomiji, (Koautor sa M. Eremić i D. Pavličić), Ekonomski fakultet, Beograd, 1986., str. 255+ vii.
10. Kibernetika - Uvodna poglavlja, Ekonomski fakultet, Beograd, 1987., str. 164+ v.
11. On certain normalizable natural deduction formulations of some propositional intermediate logics, Notre Dame Journal of Formal Logic 29 (1988), No. 4, pp. 563-568.
(MR 90a:03030; Zbl. 668:03010) (SCI)
12. Matematika za I razred srednjeg obrazovanja, (Koautor sa P. Miličić i dr.), Naučna knjiga, Beograd, 1988., str. 459+ viii . (Drugo izdanje, 1989.)
13. O nekim tvrđenjima teorije dokaza, Matematika XVII (1988), Br. 3, str. 40-47. (MR 90a:03002)
14. A note on sequent calculi intermediate between LJ and LK, Studia Logica 47 (1988), pp. 65-71. (MR 90d:03046; Zbl. 664:03020) (SCI)
15. Odabrana poglavlja matematike, (Koautor sa K. Rakočević i M. Ivović), Ekonomski fakultet, Beograd, 1989., str. 140+ iv.
16. O interpretaciji logičkog sistema, Matematika XIX (1990), Br. 3, pp. 40-44.
17. Some modifications of the Goedel translation of classical into intuitionistic logic, Bulletin of the Section of Logic, Polish Acad. of Sci. 19 (1990), No. 3, pp. 84-86. (Zbl. 712.03004)
18. Matematika, (Koautor sa K. Rakočević i dr.) (Drugo izdanje), Savremena administracija, Beograd, 1991., str. 378+ vii. (Prvo izdanje 1988.)
19. Matematika za I razred srednje škole, (Koautor sa P. Miličić i dr.), Nučna knjiga, Beograd, 1991., str. 266+ iii. (Drugo izdanje 1993.)
20. Interpolation theorem for intuitionistic S4, Bulletin of the Section of Logic, Polish Acad. of Sci. 20 (1991), No. 1, pp. 2-6. (MR 92c:03017; Zbl. 732:03010)
21. Matematika kroz primere i zadatke sa elementima teorije, (koautor sa K. Rakočević i dr.) (Peto izmenjeno i dopunjeno izdanje), Savremena administracija, Beograd, 1994., str. 420+ iv. (Prvo izdanje, 1984.)
22. On some interpretations of classical logic, Zeitschrift fur mathematishe Logik und Grundlagen der Mathematik 38 (1992), pp. 409-412. (MR 94k:03010; Zbl 794:03011) (SCI)
23. Towards a systematization of mathematical knowledge, Proceedings of the Sixth Conference on Logic and Computer Science, LIRA '92, Novi Sad, 1992, University of Novi Sad, 1993, pp. 9-12.
24. Elementi teorije sistema, Ekonomski fakultet, Beograd, 1993., str. 222+ iv. (MR 94e:93001; Zbl. 789.93001)
25. Αξιωματική μέθοδος και ανεξαρτησία των αξιωμάτων, Μαθηματική Επιθεώρηση 44, 1995, pp. 16-25.
26. Λογική και απόδειξη, Εκδοσείς Ζήτη, Θεσσαλονίκη, (Logic and Proof, (Greek) Ziti, Thessaloniki), 1995, pp. 174+viii (MR 97c:03001; Zbl. 838.03001)
27. A probabilistic validity measure in intuitionistic propositional logic, Mathematica Balkanica 10 (1996), pp. 365-372. (coauthor) (MR 99i:03022)
28. A note on probabilistic validity measure in propositional calculi, Journal of the Interest Group in Pure and Applied Logics 3 (1995), pp. 721-724. (MR 97c:03075; Zbl 841.03021) (SCI) (abstract)
29. Validity measurement in some propositional calculi, Mathematical Logic Quarterly 43 (1997), pp. 550-558 (MR 98m:03050; Zbl 884.03018) (SCI)
30. Matematika, (Koautor sa M. Ivović), Ekonomski fakultet, Beograd, 1998., str. 352+vi. (Četrnaesto izdanje 2011.)
31. Zbirka zadataka iz matematike, (Koautor sa M. Ivović i dr.), Ekonomski fakultet, Beograd, 1998., str. 352+vi. (Četrnaesto izdanje 2011.)
32. O metodu analogije, Nastava matematike XLIII, 4, 1998, pp. 1-6. ( download)
33. Prilog etimološkom rečniku (Koautor sa E. Boričić), Nastava matematike XLIV, 3-4, 1999, pp. 52-57.
34. O metodu supstitucije, Nastava matematike XLIV, 3-4, 1999, pp. 12-14. (download )
35. On fuzzification of propositional logics, Fuzzy Sets and Systems 108 (1999), pp. 91-98. (MR 2000d:03051; Zbl 0960.03020) (SCI)
36. Lilavati, Matematički list XXXV, 3, 2000, pp. 3-5.
37. Ima beskonačno mnogo prostih brojeva, Matematički list XXXV, 5, 2001, pp. 4-5.
38. The fist lecture on non-classical logics, The Teaching of Mathematics, Vol. 4, 2001, pp. 35-40. (download)
39. Teško bez indukcije, Nastava matematike XLVIII (2003), pp. 21-22, YU ISSN 0351-4463. (download)
40. Logika preferencija na grubim i rasplinutim skupovima, (koautor sa S. Konjikušić), Ekonomski anali 160, 2004, str. 131-146, UDK 3:33 YUISSN 0013-3264(zip - 3.68 MB)
41. Ekonomisti nobelovci / Amartya K. Sen, Ekonomski anali 160, 2004, str. 215-220, UDK 3:33 YUISSN 0013-3264 (Takođe objavljeno u Ekonomisti nobelovci 1990-2003, Ekonomski fakultet, 2004, str. 337-342, COBISS.SR-ID 117304588). (zip - 3.68 MB)
42. Linearna algebra, Ekonomski fakultet, Beograd, 2004, str. 152+iv. (Drugo izmenjeno i dopunjeno izdanje 2009, str. 182+vi.)
43. The political economy of post-communist autocracy: the continuum between dictatorship and democracy, European Political Economy Review, Vol. 2, No. 1 (2004), pp. 36-50 (coauthor with R. Pesic) http://www.lse.ac.uk/collections/EPER/vol2/no1/pesic-boricic.htm
44. Ekonomisti nobelovci / Kenneth J. Arrow, Ekonomski anali 165, 2005, str. 225-234.
(ZIP 1,2MB)
45. Potrebno $\leftarrow$ dovoljno. Nastava matematike L (2005), 3, str. 1-8.
L 3/2005
46. Logika trougla, Nastava matematike LI (2006), 1-2, str. 12-13.
47. Logičko i istorijsko određenje teorema nemogućnosti Eroua i Sena, Ekonomski anali LI, 172 (2007), str. 7-20.
(Anali)
48. Some logical aspects of dictatorship, liberalism and Pareto rule, Contemporary Challenges of Theory and Practice in Economics, Quantitative Economics and Finance - Proceedings, Inernational Conference, Belgrade, 2007, pp. 31-35.
49. Contemporary Challenges of Theory and Practice in Economics, Quantitative Economics and Finance - Proceedings (editor with M. Jovicic), Inernational Conference, Belgrade, 2007, pp. 240.
50. Dictatorship, liberalism and the Pareto rule: possible and impossible, Economic Annals LIV, No. 181 (2009), pp. 45-54.
51. Utvrđivanje nivoa razumevanja nekih osnovnih logičkih pojmova studenata studijskog programa za predškolsko obrazovanje... (koautor sa D. A. Romano, B. Ibrahimpašić, E. Liđan), Istraživanje matematičkog obrazovanja, Vol. II (2010), Br. 3, str. 15-25. ISSN 1986-518X
52. Logic and Proof, Ekonomski fakultet, Beograd, 2011, 154+iv p.,
ISBN: 978-86-403-1096-3 (Zbl 1214.03043; MR 2011k:03001)
53. Kompetencije srednjoškolaca o ranim konceptima prirodnih brojeva, (koautor sa D. A. Romano, M. Vinčić), Istraživanje matematičkog obrazovanja, Vol. III (2011), Br. 5, str. 13-19. ISSN 1986-518X
54. Dijagrami u nastavi logike i teorije skupova, Nastava matematike LVI (2011), 1-2, str. 1-7. ISSN: 0351-4463
55. Kombinovana Fon Rajtova logika preferencija, SYM-OP-IS 2011, Ekonomski fakultet, Beograd, 2011, str. 57-59. ISSN: 978-86-403-1168-7
56. Factor Markets and the Effects of the World Crisis, ed. with M. Jovicic, Selected Papers delivered at the conference 'Market Failures and the Roles of Institutions', Milocer, 2011, Volume II, CIDEF, Belgrade, 2012. ISSBN 978-86-403-1211-0
57. Textbooks and monographs in logic, Review of the National Center for Digitization 20 (2012) pp. 41-52. ISSN 1820-0109
(download)
58. Erou-Senova teorija u kombinovanoj Fon Rajtovoj logici preferencija, Ekonomske ideje i praksa 4 (2012) str. 35-45. ISSN 2217-6217
59. Logičko obrazovanje studenata studijskog programa za vaspitače (koautor sa D. A. Romano, V. Todić), Istraživanje matematičkog obrazovanja, Vol. IV (2012), Br. 7, str. 5-16. ISSN 1986-518X
Referati na naučnim skupovima:
Jedan pokušaj opisa relacije dedukcije, VII Kongres matematičara, fizičara i astronoma Jugoslavije, Budva, 1980.
Equational reformulation of the Heyting first-order predicate calculus, The Third Algebraic Conference, Beograd, 1982.
On an intermediate propositional system, Logic Colloquium '83 and European Summer Meeting of the Association for Symbolic Logic, Aachen, 1983. (Abstracts, p. 41-42.) Journal of Symbolic Logic 50 (1985), p. 261.
On the separability and limits of some subsystems of Dummett's LC, 7th Congress of Balkan Mathematicians, Athens, 1983.
On a kind of the multiple-conclusion natural deduction systems, Meeting of the British Logic Colloquium and European Summer Meeting of the ASL, Manchester, 1984. Abstract – Journal of Symbolic Logic 51 (1986), p. 482.
Some intermediate logics as natural deduction systems, 8th International Congress of Logic, Methodology and Philosophy of Science, Moskva, 1987. (Absrtacts of the congress, Vol. 1, Nauka, Moskva, 1987, pp. 16-17.)
On some consequences of Gentzen's cut-elimination theorem, Logic Colloquium '88 and European Summer Meeting of the ASL, Padova, 1988. Abstract - Journal of Symbolic Logic 55 (1990), p. 397.
A syntactic characterization of intuitionistic implication, Logic Colloquium '89, W. Berlin, 1989. Abstract – Journal of Symbolic Logic 57 (1992), p. 287.
Teorema interpolacije za intuicionističku verziju Lewis-ovog sistema S4, 4th Conference of the Yugoslav Seminar for Logic and Computer Science, Dubrovnik, 1990.
Minimal superintuitionistic predicate logics in which the classical logic can be embedded, Logic Colloquium '90, Helsinki, 1990. Abstract - Journal of Symbolic Logic 56 (1991), pp. 1121-1122.
Upotreba logičkih simbola u nastavi matematike, Republički seminar o nastavi matematike, računarstva i informatike, Beograd, 199l.
A syntactic concept of fuzzy logic, 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, 199l. (Abstracts (Volume I), p. 105)
Princip matematičke indukcije u kombinatorici, Republički seminar o nastavi matematike i računarstva, Beograd, 1992.
An outline of relativistic standpoint, Second International Symposium on the Logic and Applications, Varna, 1992.
Towards a systematization of mathematical knowledge, 6th Conference of the Yugoslav Seminar for Logic and Computer Science, Novi Sad, 1992.
Probabilistička istinitost u neklasičnim logikama, Konferencija o matematičkoj logici, Beograd, 1993. (Koautor: M. Rašković)
O rasplinuću logičkog sistema, Konferencija o teoriji i primenama fazi skupova i sistema, Beograd, 1993.
Two methods for crisp logical systems fuzzification, Kvantitativni metodi u ekonomiji, red. M. Jovičić, Konferencija povodom 60 godina od osnivanja Ekonomskog fakulteta u Beogradu, Beograd, 1997, str. 23-31.
Merenje pouzdanosti logičkog zaključivanja, XXIX Jugoslovenski simpozijum o operacionim istraživanjima, SYMOPIS 2002, Zbornik radova, str.XI-20-XI-22. ISBN 86-84231-00-7
On the logic of reliability, Logic Colloquium 2002, ASL European Summer Meeting, Muenster, p. 28, http://wwwmath.uni-muenster.de/LC2002/, Bulletin of Symbolic Logic, Vol. 9, No. 1, p. 87, 2003, 1079-8986/03/0901-0006.
Logical Inference and Reliability, 12th International Congress of Logic, Methodology and Philosophy of Science, 2003, Oviedo. www.uniovi.es/Congresos/2003/
Some logical aspects of dictatorship, liberalism and Pareto rule, Contemporary Challenges of Theory and Practice in Economics, Quantitative Economics and Finance, Inernational Conference, Belgrade, 2007.
Textbooks and monographs in logic, Istorijat logike u Srbiji, sažeci, str. 2, Beograd, 2010. Konferencija o istoriji logike u Srbiji, Matematicki fakultet Univerziteta u Beogradu, jun 2010.
Kombinovana Fon Rajtova logika preferencija, SYM-OP-IS 2011.
|
| kabinet: |
613 |
| telefon: |
3021005 |
| vreme
prijema: |
UTORAK 14-16 |
| e-mail: |
boricic@ekof.bg.ac.rs |
|
|
|
