Početna / O Fakultetu / Organizacija / Profil nastavnika
Boričić
dr Marija Boričić
Docent
Katedra za matematiku
Kabinet 311a
Telefon: +381 11 39 50 855
Obrazovanje
Univerzitetska zvanja
  • 2011. Saradnik u nastavi, Fakultet organizacionih nauka, Univerzitet u Beogradu
  • 2013. Asistent, Fakultet organizacionih nauka, Univerzitet u Beogradu
Ostalo radno iskustvo i angažovanje
  • 2011, Narodna banka Srbije
Profesionalno iskustvo
  • Od 2012, Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu, Ministarstvo prosvete, nauke i tehnološkog razvoja
  • Od 2011, Seminar za verovatnosne logike, Matematički institut SANU
  • Od 2011, Seminar za logiku, Matematički institut SANU
Odabrane reference
  1. M. Boričić, On Entropy of a Logical System, Journal of Multiple-Valued Logic and Soft Computing, Volume 21, Number 5-6, 2013, p. 439-452, ISSN: 1542-3980 (print) ISSN: 1542-3999 (online) (SCI)(M21) (http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-21-number-5-6-2013/mvlsc-21-5-6-p-439-452/)
  2. M. Boričić, Hypothetical syllogism rule probabilized, Bulletin of Symbolic Logic, Vol. 20, No. 3, 2014, pp. 401-402, Logic Colloquium 2012, University of Manchester, 12th-18th July 2012, organizatori Association for Symbolic Logic, British Logic Colloquium, London Mathematical Society i Manchester Institute for Mathematical Sciences.
  3. M. Boričić, On probabilistic inference rules, Book of Abstracts, pp. 12-13, 50 Years of Seminar for Analysis and Foundations of Mathematics – International Conference Mathematical Logic and General Topology, September 5-8, Novi Sad, 2012. Organizator Univerzitet u Novom Sadu, Fakultet za matematiku i informatiku.
  4. M. Boričić, Probabilistic logic as a labelled deductive system, Abstracts, pp. 38-39, Druga nacionalna konferencija «Verovatnosne logike i njihove primene», Matematički institut SANU, Beograd, 27. i 28. septembar 2012.
  5. M. Boričić, On entropy of a propositional logic, Bulletin of Symbolic Logic, Vol. 20, No. 2, 2014, p. 225, Logic Colloquium 2013, European Summer Meeting, Evora, Portugal, 22nd-27th July 2013, organizatori Association for Symbolic Logic, CMAF-Universidade de Lisboa.
  6. M. Boričić, On definition of consistency in a probabilistic sequent calculus, Abstracts, p. 14, Treća nacionalna konferencija «Verovatnosne logike i njihove primene», Matematički institut SANU, Beograd, 26. septembar 2013.
  7. M. Boričić Entropy and ergodic theory, The book of abstracts, Information Theory and Complex Systems, Matematički institut SANU, Beograd, 25. septembar 2013.
  8. M. Boričić, Models for the probabilistic sequent calculus, Bulletin of Symbolic Logic, p., Logic Colloquium 2014, European Summer Meeting of Association for Symbolic Logic, Vienna University of Technology 14th-19th July.
  9. M. Boričić, Sequent calculus for logic with high probabilities, Knjiga apstrakata, pp. 15-16, Četvrta nacionalna konferencija «Verovatnosne logike i njihove primene», Matematički institut SANU, Beograd, 2-3. oktobar 2014.
  10. M. Boričić, Carnap-Popper-Leblanc-ov tip semantike za verovatnosno zaključivanje, SYM-OP-IS 2014, XLI Simpozijum o operacionim istraživanjima, Zbornik radova, red. D. Teodorović i dr., Univerzitet u Beogradu, Saobraćajni fakultet, Beograd, 2014, str. 644-647, ISBN: 978-86-7395-325-0. 









Ostala bibliografija
  • M. Jovović, M. Boričić, Adekvatnost kapitala u okviru projekta SOLVENCY II, Nadzor i kontrola poslovanja osiguravajućih kompanija, red. J. Kočović, Ekonomski fakultet i Udruženje aktuara Srbije, Beograd, 2011, str. 523-545. ISBN 978-86-403-1222-6
  • M. Boričić, M. Jovović, Verovatnosne verzije osnovnih pravila izvođenja, SYM-OP-IS 2011, XXXVIII Simpozijum o operacionim istraživanjima, Zbornik radova, red. J. Vuleta i dr., str. 739-741. ISBN 978-86-403-1168-7
  • M. Boričić, Evolucija koncepta entropije – od termodinamike do algebre, SYM-OP-IS 2012, XXXIX Simpozijum o operacionim istraživanjima, Zbornik radova, red. G. Ćirović, str. 619-622. ISBN 978-86-7488-086-9
  • M. Boričić, O jednoj primeni entropije u teoriji logičkih sistema, SYM-OP-IS 2013, XL Simpozijum o operacionim istraživanjima, Zbornik radova, red. M. Martić i dr., Univerzitet u Beogradu, Fakultet organizacionih nauka, Beograd, 2013, str. 868-870, ISBN: 978-86-7680-286-9.
Članstva u naučnim i stručnim organizacijama ili asocijacijama:
Association for Symbolic Logic, Društvo za čistu i primenjenu logiku