Pretraga zaposlenih

Mirjana Borisavljević

redovni profesor

ugovor o dopunskom radu - 1/3

Lična strana
Personalna bibliografija (E-CIRS.SR)
  • Konsultacije:
  • Ponedeljak 12:15 - 13:15
    jesenji semestar
  1. Matematička logika, teorija dokaza, supstrukturalne logike
  1. 1990 - osnovne studije - PRIRODNO-MATEMATIČKI FAKULTET U BEOGRADU
  2. 1994 - magistarske studije - PRIRODNO-MATEMATIČKI FAKULTET U BEOGRADU
    (tema: INTERNI JEZIK LINEARNIH MULTIKATEGORIJA)
  3. 1997 - odbrana doktorske disertacije - PRIRODNO-MATEMATIČKI FAKULTET U BEOGRADU
    (tema: SEKVENTI,PRIRODNA DEDUKCIJA I MULTIKATEGORIJA)
  1. 2004 - vanredni profesor - SAOBRAĆAJNI FAKULTET U BEOGRADU
    (uža naučna oblast: MATEMATIKA)
  2. 2007 - vanredni profesor - Filozofski fakultet u Beogradu
    (uža naučna oblast: LOGIKA)
  3. 2010 - redovni profesor - SAOBRAĆAJNI FAKULTET U BEOGRADU
    (uža naučna oblast: MATEMATIKA)
  1. 2003 - Društvo za čistu i primenjenu logiku (članstvo)
  1. 2006. - 2011. - Reprezentacija logičkih struktura i primena u računarstvu
    Matematički institut SANU (istraživač)
  2. 2011. - 2015. - Reprezentacija logičkih struktura i formalnih jezika i njihova primena u računarstvu (2011-2014)
    Matematički institut SANU, projekat ON 174026, Ministarstva obrazovanja i nauke republike Srbije (istraživač)