ILIĆ DR MIRJANA docent |
Rođena u Šapcu, 1966. godine. Diplomirala (1990. godine), magistrirala (1995. godine) i odbranila doktorsku tezu (2008. godine) na Matematičkom fakultetu Univerziteta u Beogradu. Od 1991. godine radila na Šumarskom fakultetu Univerziteta u Beogradu, kao asistent na predmetu Matematika. Od 2009. godine radi kao docent na Ekonomskom fakultetu Univerziteta u Beogradu.
Oblast naučno-istraživačkog rada: matematička logika (teorija dokaza, neklasične logike i automatsko dokazivanje teorema). Spoljni saradnik Matematičkog instituta Srpske akademije nauka i umetnosti, pri Odeljenju za matematiku i pri Seminaru za matematičku logiku. Učestvuje na naučnim projektima Ministarstva za nauku Republike Srbije, međunarodnim i nacionalnim naučnim skupovima.
Naučni radovi i saopštenja na naučnim skupovima:
1. Cut elimination and decidability for Classical Lambek logic, Journal of Logic and Computation, 18(1), (2008), pp. 171-199.
2. Theorem provers for substructural logics, Publications de l'Institut Mathématique, tome 82 (96) (2007), pp. 55-78.
3. Substructural logics admitting cut elimination, (coauthor), International Congress of Mathematicians, 2006, abstract, www.icm2006.org
4. A tableau based theorem prover for BCK logic, (coauthor), Proceedings of XIV Conference on Applied Mathematics PRIM2000, (2001), pp. 26-30.
5. Automatsko dokazivanje teorema za predikatsku logiku bez kontrakcije, (koautor), Zbornik apstrakata X kongresa matematičara Jugoslavije, (2000), str. 14.
6. Recognition of the insignificant formulas in the prover KE+, (coauthor), Proceedings of XII Conference on Applied Mathematics PRIM97, (1997), pp. 73-77.
7. Algorithm for PP-reduction a PC-formula to the clause form, (coauthor), Proceedings of VIII International Conference on Logic and Computer science, LIRA97, (1997), pp. 85-90.
8. Dopuna sistema KE, (koautor), Zbornik radova ETRAN96, (1996), str. 399-401.
9. Jedno poboljšanje iskazne rezolucije, (koautor), Zbornik apstrakata, YUINFO96, (1996), str. 213.
10. Da li je sistem KE efikasniji od klasičnih tabloa?, (koautor), Saopštenje na konferenciji LIRA95, (International Conference on Logic and Computer science), (1995).
Stručni radovi
1. Matematika, (autori B. Boričić, M. Ivović i M. Ilić), Ekonomski fakultet, Beograd, (2010), str. 287-314.
2. Zbirka zadataka iz matematike, (autori B. Boričić, M. Ivović, D. Azdejković, J. Stanojević i M. Ilić), Ekonomski fakultet, Beograd, (2010), str. 54-74.
|
| kabinet: |
410 |
| telefon: |
3021170 |
| vreme
prijema: |
utorak 12-14 |
| e-mail: |
mirjanailic@ekof.bg.ac.rs |
|
|
|
