IZVEXTAJ. Na Elektrotehniqkom fakultetu u okviru redovnih studija kandidatkinja je, kao asistent, drжala veжbe iz predmeta: Matematika 1, Matematika
|
|
- Bertina Hood
- 5 years ago
- Views:
Transcription
1 Na svojoj 763. sednici odrжanoj godine Izborno ve e Elektrotehniqkog fakulteta u Beogradu imenovalo je potpisnike ovog izvextaja za qlanove komisije za izbor vanrednog profesora sa punim radnim vremenom za uжu nauqnu oblast primenjene matematike. Na osnovu dobijenog konkursnog materijala i liqnih saznanja Komisija podnosi Izbornom ve u slede i IZVEXTAJ Na konkurs, objavljen u listu Poslovi prijavio se jedan kandidat - dr Tatjana Lutovac (rođena Ma arevi ), dipl. matematiqar, docent Elektrotehniqkog fakulteta u Beogradu. 1 I BIOGRAFSKI PODACI Tatjana Lutovac (devojaqko Ma arevi ) rođena je god. u Kragujevcu. Osnovnu xkolu zavrxila je 1981.godine, a gimnaziju godine u Aranđelovcu. Nosilac je Vukovih diploma. Godine upisala je Prirodno-matematiqki fakultet u Beogradu, grupa za matematiku, gde je diplomirala godine na smeru Raqunarstvo i informatika, sa srednjom ocenom Za vreme redovnih studija bila je stipendista Republiqke fondacije za razvoj nauqnog i umetniqkog podmlatka. Poslediplomske studije, na Matematiqkom fakultetu Univerziteta u Beogradu, smer Raqunarstvo, upisala je i magistrirala god. sa proseqnom ocenom 10 i tezom: Dopuna jedne strategije vođenja dokaza kod automatskih dokazivaqa teorema sa prirodnim izvođenjem. Od do boravila je na RMIT University, Melburn, Australija, gde je zapoqela doktorske studije iz oblasti primene matematiqke logike (posebno neklasiqnih logika) u kompjuterskim naukama - u automatskom dokazivanju teorema i logiqkom programiranju. Doktorirala je 2005.god. na School of Computer Science and Information Technology, Science, Engineering and Technology Portfolio, RMIT University, Melburn, Australija, sa tezom Managing Redundancies in Proof Search. Doktorska diploma je nostrifikovana na Matematiqkom fakultetu Univerziteta u Beogradu. Od god. do god. radila je kao saradnik na Katedri za matematiku Građevinskog fakuteta Univerziteta u Beogradu. Od god. zaposlena je na Katedri za matematiku Elektrotehniqkog fakulteta kao asistent pripravnik, a od god. kao asistent. U zvanje docenta izabrana je u decembru godine. U isto zvanje je ponovo izabrana u oktobru godine. II NASTAVNA DELATNOST Na Elektrotehniqkom fakultetu u okviru redovnih studija kandidatkinja je, kao asistent, drжala veжbe iz predmeta: Matematika 1, Matematika
2 2 2 i Matematika 4. Na Vojnotehniqkoj akademiji u Жarkovu drжala je veжbe iz predmeta: Matematika 1, Matematika 2, Matematika 4 i Verovatno a i statistika. U zvanju docenta, na Elektrotehniqkom fakultetu, angaжovana je, u okviru redovnih studija, na predmetima Matematika 1, Matematika 2, Praktikum iz Matematike 1 i Praktikum iz Matematike 2. Na master studijama drжi predmet Vextaqka inteligencija, a na doktorskim studijama predmet Automatsko rezonovanje. U svom vixegodixnjem radu sa studentima i kao saradnik i kao nastavnik, kandidatkinja je pokazala izrazite pedagoxke kvalitete i smisao za rad u nastavi. Uvek je imala dobar i paжljiv odnos prema studentima, kako na qasovima tako i u okviru uobiqajenih redovnih konsultacija. Za svoj rad u nastavi na studentskim anketama uvek je dobijala visoke ocene. Aktivno je uqestvovala u poboljxavanju i doterivanju postoje ih programa i u kreiranju novih nastavnih planova i programa raznih matematiqkih predmeta na svim nivoima studija, xto je naroqito doxlo do izraжaja u poslednjem ciklusu akreditacije fakulteta. Aktivnosti kandidata na obezbeđenju literature za nastavu pokazuju knjige 8.1 i prvi i drugi deo zbirke zadataka iz algebre, koje pokrivaju celokupni algebarski sadrжaj u nastavi matematike na prvoj godini studija (do sada ukupno 11 izdanja). III NAUQNI I STRUQNI RAD Nauqno-istraжivaqki rad kandidata dr Tatjane Lutovac teжixno pripada primenama matematiqke logike u kompjuterskim naukama odnosno u vextaqkoj inteligenciji i automatskom rezonovanju. Dr Lutovac se bavi istraжivanjem logiqkih sistema koji s jedne strane mogu biti osnova za dizajn novih logiqkih programskih jezika i automatskih dokazivaqa teorema, a istovremeno mogu da formalizuju rezonovanje prisutno u sve kompleksnijim problemima realnog sveta. Pisala je recenzije za qasopis The Logic Journal of the IGPL (M21, IF 0.913, ISSN ). Projekti: 1. Projekti Ministarstva za nauku: U periodu bila je uqesnik na projektu Ministarstva za nauku br Reprezentacije logiqkih struktura i njihova primena u kompjuterskim naukama. Od god. je uqesnik na projektu Ministarstva za nauku TR32023 Optimizacija performansi energetski-efikasnih raqunarskih i komunikacionih sistema. 2. Akreditovani programi struqnog usavrxavanja Ministarstva prosvete:
3 Koautor je i jedan od realizatora projekta Raqunarski podrжana vizuelizacija nekih matematiqkih sadrжaja, izborni program struqnog usavrxavanja br. 127 za oblast INFORMATIKA, u god. Jedan je od realizatora projekta Vizuelno predstavljanje nekih matematiqkih sadrжaja pomo u raqunara, obavezan program struqnog usavrxavanja br. 041 za oblast MATEMATIKA, u god. Jedan je od realizatora projekta Neki pravci unapređenja srednjoxkolske nastave matematike na osnovu analize iskustava tehniqkih fakulteta, obavezan program struqnog usavrxavanja br. 306 za oblast MATEMATI- KA, u god. 3 Magistarski rad i doktorska disertacija: 1. Magistarski rad: Dopuna jedne strategije vođenja dokaza kod automatskih dokazivaqa teorema sa prirodnim izvođenjem, Matematiqki fakultet, Univerzitet u Beogradu, Razvijen je novi algoritam strategije vođenja dokaza za dokazivaq teorema ekspertskog sistema GRAPH. Izvrxena je dopuna baze znanja - uvođenjem novih predikata, definicija i lema koje su od znaqaja za eliminisanje kvantifikatora uvođenjem jaqeg podcilja. Leme koje opisuju neka specijalna svojstva predikata izdvojene su u poseban programski blok. Formiran je blok specijalnih transformacija koji kombinuje nekoliko heuristika: za eliminisanje kvantifikatora, za dopisivanje taqnih konjunkata hipotezi podcilja, kao i heuristika za raqunanje novih, kra ih trasa napada. Nova strategija vođenja dokaza omogu ila je generisanje jox nekih klasa teorema iz oblasti teorije grafova, kao i generisanje jednostavnijih dokaza uz zadrжavanje prirodnog oblika formule i sprovođenje dokaza na naqin blizak ljudskom rezonovanju. U okviru rada izvrxeno je testiranje predloжene strategije u oblasti parcijalno uređenih skupova. 2. Doktorska disertacija: Managing Redundancies in Proof Search ( Upravljanje redundantnostima pri traжenju dokaza ), School of Computer Science and Information Technology, Science, Engineering and Technology Portfolio, RMIT University, Melburn, Australija, Jedan od najvaжnijih problema automatskog rezonovanja je identifikovanje i kontrola razliqitih redundantnosti u prostoru mogu e pretrage. U tezi su razvijeni algoritmi: (1) za analizu potencijalnih permutacija pravila sekventnog raquna, (2) za otkrivanje i eliminisanje formula koje nisu od znaqaja za generisani dokaz i (3) za eliminisanje beskonaqnih petlji pri generisanju dokaza. Svi razvijeni algoritmi su formalno definisani
4 4 i za svaki je dokazana pouzdanost i kompletnost. Predloжeni algoritmi omogu avaju automatizaciju rexenja odgovaraju ih problema, i nezavisni su od korix ene logike (tj. logiqkog fragmenta) te omogu avaju standardizaciju rexenja. Spisak nauqnih i struqnih radova 1. Nauqni radovi objavljeni u qasopisima međunarodnog znaqaja: 1.1 Harland J., Lutovac T., Winikoff M., Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic, Proceedings of the First International Conference on Computational Logic, published as Lecture Notes in Artificial Intelligence 1861, John Lloyd at all. (Eds.), Springer-Verlag, London, 2000, pp (IF 0.402) 1.2 Tatjana Lutovac and James Harland, Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics, Proceedings of the IJCAR 04 Workshop on Strategies in Automated Deduction, Electronic Notes in Theoretical Computer Science Volume 125(2), 2005, pp Tatjana Lutovac and James Harland, A Redundancy Analysis of Sequent Proofs, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005),Germany 2005, published as Lecture Notes in Artificial Intelligence 3702, Bernhard Beckert editor, Springer-Verlag, 2005, pp (IF 0.402) 1.4 Tatjana Lutovac and James Harland, Detecting Loops During Proof Search in Propositional Affine Logic, Journal of Logic and Computation, Volume 16, Number 1, 2006, pp (ISSN X, IF 0.586) 1.5 Tatjana Lutovac and James Harland, Detection and Analysis of Some Redundancies in Linear Logic Sequent Proofs, Journal of Logic and Computation (u xtampi), DOI /logcom/ext007. Dostupan na sajtu qasopisa od (IF 0.611) 1.6 Tatjana Lutovac and James Harland, A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules, Computer Science and Information Systems, Vol. 10, No. 3, 2013, pp (IF 0.625) 2. Nauqni radovi objavljeni u qasopisima nacionalnog znaqaja: 2.1 Lutovac N D., Lutovac A T., Towards an advanced computer interlocking system, FACTA UNIVERSITATIS (NIS), Series: Electronics and Energetics, Vol. 11, No , pp (M52)
5 5 2.2 Lutovac T., Specifying sequent Calculi Rules for Managing Some Redundancies in Proof Search, Ihe IPSI BgD Transactions on Advanced Research, Volume 3, Number 1, 2007, pp (M53) 2.3 Tatjana A. Lutovac, Dejan N. Lutovac, Razvoj dijagnostičkog sistema za putne prelaze sa računarskim upravljačkim sistemima, INFO M, Vol. 44, 2012, pp (M52) 3. Nauqni radovi objavljeni (u celini) u zbornicima međunarodnih konferencija: 3.1 Lutovac T., Harland J., Contributions to Strategies and Heuristics for Automated Theorem Proving in Mathematics, Proceedings of the Twentieth Australasian Computer Science Conference, Sydney, Australia, 1997, pp Lutovac T., Harland J., Strategies for Logic Programming Languages, Proceedings of CADE-14 Workshop on Strategies in Automated Deduction, 14th International Conference on Automated Deduction CADE-14, Bernhard Gramlich and Hélène Kirchner eds. Townsville, Australia, 1997, pp Harland J., Lutovac T., Winikoff M., On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic, Proceedings of the Australasian workshop on Computational Logic, Canbera, 2000, pp Lutovac T., Harland J., Issues in the Analysis of Proof-search Strategies in Sequential Presentations of Logics, Proceedings of the IJCAR 04 Workshop on Strategies in Automated Deduction, Cork, 2004, pp Lutovac T., Harland J., Detecting Loops During Proof Search in Propositional Affine Logic, Proceedings of the LICS 04 Workshop on Logics for Resources, Processes and Programs, Turku, Finland, 2004, pp Tatjana Lutovac, An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus, BCI 12 Balkan Conference in Informatics, Novi Sad, September 2012, ACM New York, 2012, pp Rad 3.6 je kandidatkinja izlagala sama. 4. Nauqni radovi objavljeni (u celini) u zbornicima doma ih konferencija: 4.1 Ma arevi T., Cvetkovi D., Neke dopune strategije vođenja dokaza u dokazivaqu teorema Ekspertnog sistema GRAPH, Zbornik radova SYM-OP-IS 93, 1993, st Lutovac T., Towards an Automated Analyzer for Proof Search Strategies, Proceedings of 1st RMIT Computer Science Conference, Melbourne, Australia, December, 1995, pp
6 6 4.3 Lutovac N D., Lutovac A T., Hardware of an advanced computer interlocking system, Proceedings of JUZEL - The 3rd International Scientific Conference of Railway Experts, Nis, Yugoslavia, 1996, pp Lutovac T., Contributions to Automating Proof Transformations, Proceedings of 2nd RMIT Computer Science Conference, Melbourne, Australia, 1996, pp Lutovac N D., Lutovac A T., Software of an advanced computer interlocking system, Proceedings of JUZEL - The 4th International Scientific Conference of Railway Experts, Vrnjačka Banja, Yugoslavia, 2-4 Oct. 1997, pp Lutovac T., Some Contibutions to compact Representation of Sequent Proofs, Zbornik radova, XXXVIII Simpozijum o operacionim istraжivanjima SYMOPIS 2011, Zlatibor, 2011, st Kandidatkinja je sama izlagala radove 4.1, 4.2, 4.4 i Tehniqki izvextaji: 5.1 Lutovac T., Harland J., Automated Analysis for Logic Programming Proof Systems, RMIT Technical Report 97-30, Nauqna saopxtenja na konferencijama (radovi xtampani u obliku kratkih izvoda) 6.1 Međunarodne konferencije (radovi xtampani u obliku kratkih izvoda): Lutovac T., Harland J., An Algebraic Approach to Redundancy Analysis of Sequent Proofs, International conference MAGT 2006 Conference, September 1-4, Belgrade Lutovac T., Some Contributions to Automating Manipulations with Sequent Calculi Proof Trees, International conference Combinatorics 2010, Verbania, Italy, Tatjana Lutovac, A Syntax Approach to Automated Detection of Some Redundancies in Linear Logic Sequent Derivations, Workshop Progress in Decision Procedures: From Formalizations to Applications, Belgrade, March, Kandidatkinja je sama izlagala sve radove. 6.2 Doma e konferencije (radovi xtampani u obliku kratkih izvoda) : Lutovac T., Harland J., Contributions to Automating Design of Logic Programming Languages, Konferencija u qast 65 godina жivota prof. S. Prexi a, Matematiqki fakultet, Univerzitet u Beogradu, septembar 1998.
7 Lutovac T., Harland J., Redundancy analysis of sequent proofs in linear logic programming, XVI konferencija o primenjenoj matematici, PRIM 2004, Budva, jun, Lutovac T., Harland J., Goal-directed Proof Construction for Multiple-conclusioned Intuitionistic Logic, XI kongres matematiqara Srbije i Crne Gore, Petrovac, septembar, Lutovac T., A Loop Detection Mechanism for Propositional Affine Logic, 12. srpski matematiqki kongres, Novi Sad, Lutovac T., Some Contributions to Automated Reasoning About Permutations in Sequent Calculi Proof Search,XVIII konferencija o primenjenoj matematici, PRIM 2009, Subotica Kandidatkinja je sama izlagala sve radove. 7. Struqni radovi: 7.1 Cvetkovi D., Lutovac T., A Review of Publications of the Faculty of Electrical Engineering, Series: Mathematics and Physics ( ), Univ. Beograd, Publikacije Elektrotehniqkog Fakulteta, Serija: Matematika, 9 (1998), st U benici: 8.1 P.Vasi, B.Iriqanin, M.Jovanovi, T.Ma arevi, B.Mihailovi, Z.Radosavljevi, S.Simi, D.Cvetkovi, Zbirka zadataka iz matematike 1, Algebra, I deo zbirka zadataka, Elektrotehniqki fakultet, Beograd, P.Vasi, B.Iriqanin, M.Jovanovi, B. Malexevi, T.Ma arevi, B.Mihailovi, Z.Radosavljevi, S.Simi, D.Cvetkovi, Zbirka zadataka iz matematike 1, Algebra, I deo - drugo prerađeno i dopunjeno izdanje, Grosknjiga, Beograd, izdanje, Akademska misao, Beograd, izdanje, Akademska misao, Beograd, izdanje, Akademska misao, Beograd, izdanje, Akademska misao, Beograd, P.Vasi, B.Iriqanin, M.Jovanovi, B. Malexevi, T.Ma arevi, B.Mihailovi, Z.Radosavljevi, S.Simi, D.Cvetkovi, Zbirka zadataka iz matematike 1, algebra, II deo, zbirka zadataka, Grosknjiga, Beograd, P.Vasi, B.Iriqanin, M.Jovanovi, B. Malexevi, T.Ma arevi, B.Mihailovi, Z.Radosavljevi, S.Simi, D.Cvetkovi, Zbirka zadataka
8 8 iz matematike 1, algebra, II deo - drugo izmenjeno i dopunjeno izdanje, Grosknjiga, Beograd, izdanje, Akademska misao, Beograd, izdanje, Akademska misao, Beograd, izdanje, Akademska misao, Beograd, IV PRIKAZ RADOVA: 1.1 U radu se razmatra primena dobro poznate, standardne strategije vođenja dokaza (tzv. strategije vođene ciljem ) na LM sekventni raqun intuicionistiqke logike, a u cilju dizajna novog logiqkog programskog jezika. Pokazano je da se restrikcije koje se moraju nametnuti formulama LM sekventnog raquna (da bi se ovakva formalizacija intuicionistiqke logike mogla koristiti kao osnova nekog logiqkog programskog jezika) razlikuju od do tada poznatih restrikcija koje zadovoljavaju Horn-ove i Harrop-ove formule. U radu se takođe razmatraju i fragmenti LM sekventnog raquna iz kojih se moжe eliminisati pravilo kontrakcije. 1.2 U radu je razvijena jedna tehnika za automatsku analizu pravila izvođenja u sekventnom raqunu. Predloжena preciznija kategorizacija formula u pravilima izvođenja sekventnog raquna primenjena je na analizu permutacijskih osobina ovih pravila. 1.3 U radu se razmatra problem prepoznavanja redundantnih formula i delova uspexno kompletiranih dokaza u sekventnom raqunu. Razvijen je algoritam za automatsko detektovanje i eliminisanje redundantnih formula i dokazana je potpunost i pouzdanost ovog algoritma. Ovo je prvi algoritam koji: 1) omogu ava automatsko detektovanje redundantnih formula koje se bezuslovno mogu izostaviti iz postoje eg sekventnog dokaza ne naruxavaju i njegovu korektnost; 2) ne naruxava strategiju vođenja dokaza i ne zavisi od nje; 3) ne zavisi od implementacije dokazivaqa ili programskog jezika. U radu su takođe razmatrane primene ovog rexenja i algoritma u oblasti pronalaжenja grexaka (debugging) i redukovanja prostora pretraжivanja (backtracking). 1.4 U radu je dato prvo rexenje problema prepoznavanja i prevencije beskonaqnih petlji koje se mogu javiti tokom generisanja dokaza u sekventnom raqunu za jedan deo iskazne, afine logike. Dokazana je potpunost i pouzdanost razvijenog algoritma. Predloжeno rexenje obezbeđuje (xto je i formalno dokazano) konaqan broj koraka u procesu traжenja dokaza. Ilustrovana je primena ovog rexenja i van razmatranog dela iskazne afine logike: rexen je (do sada nerexen) problem beskonaqnih petlji u logiqkom programskom jeziku Forum.
9 1.5 Razvijena je tehnika za analizu drveta dokaza u iskaznoj linearnoj logici radi detekcije formula i sekvenata koji nisu znaqajni za generisanje dokaza. Predloжeno rexenje je dopunjeno i prilagođeno primeni na sekventna drveta koja nisu dokazi radi otkrivanja redundantnih formula koje mogu biti razlog neuspeha pri automatskom generisanju dokaza. 1.6 U radu je dat algoritam za analizu permutacija pravila sekventnog raquna pri automatskom generisanju dokaza. Definisani su potrebni i dovoljni uslovi za permutacije sekventnih pravila. Definisani su i neki specijalni sluqajevi nepermutabilnih pravila kao i potrebni i dovoljni uslovi za prevazilaжenje takvih situacija. 2.1 Za 20 godina primene, kompjuterski signalno-sigurnosni sistemi, za primenu na жeleznici, pokazali su mnogo prednosti u odnosu na relejne uređaje, ali nisu u potpunosti ispunili oqekivanja. U ovom radu je dat pregled mogu ih poboljxanja i konkretni predlozi rexenja mnogih nedostataka. Rexenja su data u formi raqunarske postavnice koja moжe da postane standardni sistem nezavistan od konfiguracije koloseka i zemlje gde se primenjuje. 2.2 Predloжena je preciznija specifikacija pravila sekventnog raquna radi prevencije i eliminisanja nekih redundantnih delova dokaza automatski generisanih u sekventnom raqunu, pri rezonovanju unazad. 2.3 U radu je opisano rexenje dijagnostiqkog sistema za registrovanje, oqitavanje i analizu redovnih događaja, smetnji i kvarova za жelezniqke putne prelaze sa raqunarskim upravljaqkim sistemima. Na osnovu uoqenih osnovnih nedostataka postoje ih dijagnostiqkih sistema i registratora događaja dat je predlog za otklanjanje jednog broja nedostataka. Predloжena je standardizacija redovnih događaja, smetnji i kvarova u skladu sa savremenim zahtevima razliqitih жelezniqkih uprava i naqina memorisanja dijagnostiqkih podataka. Razvijen je softver za lokalno i daljinsko oqitavanje i obradu podataka pomo u raqunara. 3.1 Razvijena je jedna strategija automatskog generisanja dokaza, u klasiqnoj logici, koja kombinuje metod rezolucije, prirodnu dedukciju i heuristiqki pristup. 3.2 Izloжeni su osnovni problemi u dizajnu logiqkih programskih jezika baziranih na neklasiqnim logikama i predloжena su neka rexenja. 3.3 Najvaжnija osobina pri definisanju jednog logiqkog programskog jezika je definisanje kompletne strategije generisanja dokaza koji su vođeni ciljem. Ovakve strategije su dobro poznate i razrađen za LJ sekventni raqun intuicionistiqke logike, kao i za neke sekventne formalizacije linearne logike. U ovom radu se razmatra primena postoje ih strategija vođenih ciljem na LM sekventni raqun intuicionistiqke logike. 9
10 Izlaжu se osnovni problemi u dizajnu strategija za automatsko generisanje dokaza, od cilja ka premisama, u sekventnom raqunu. 3.5 U radu se daju prva preliminarna rexenja za otkrivanje i eliminasanje beskonaqnih petlji u sekventnom raqunu za neke fragmente linearne logike. 3.6 Razvijena je tehnika za automatsku transformaciju konaqnog drveta D (koje nije dokaz) sekventnog raquna iskazne linearne logike u drvo koje predstavlja jedan dokaz i koje ima isti redosled sekventnih pravila kao D i qiji koren sadrжi koren drveta D. Dokazana je potpunost i pouzdanost razvijenog algoritma. 4.1 U radu su data neka poboljxanja postoje e strategije vođenja dokaza ekspertskog sistema GRAPH. 4.2 Dati su predlozi dizajna dela softvera koji bi, za zadatu logiku (logiqki fragment), odredio najadekvatniju kompletnu i pouzdanu strategiju automatskog generisanja dokaza u sekventnom raqunu. 4.3 U radu je dat predlog hardvera savremene жelezniqke kompjuterski kontrolisane postavnice (staniqni signalno-sigurnosni sistem). Predloжeno rexenje omogu ava standardizaciju postavnice i qini je nezavisnom od izgleda koloseqne konfiguracije i zemlje primene. 4.4 Savremeni sistemi automatskog rezonovanja zahtevaju ne samo generisanje dokaza ve i automatsku manipulaciju i analizu uspexnih i neuspe- xnih pokuxaja generisanja dokaza. U radu se predlaжu neka rexenja za transformisanje dokaza na osnovu permutacija upotrebljenih sekventnih pravila. 4.5 U radu je dat predlog savremenog softvera za kompjuterski kontrolisanu жelezniqku postavnicu (staniqni signalno-sigurnosni sistem). Predloжeno rexenje je nezavisno od izgleda koloseqne konfiguracije i zemlje primene. Glavni doprinos je konverzija saobra ajnih, funkcionalnih i sigurnosnih zahteva жelezniqke postavnice u opxti sigurnosni softver. To je omogu eno predstavljanjem tabele zavisnosti na nov naqin, koji omogu ava njeno direktno unoxenje u vidu obiqne datoteke, kao i generisanje sigurnosnih funkcija koje se mogu direktno programirati. Predloжen je takođe i savremen naqin projektovanja prikaza koloseqne situacije na ekranu. 4.6 U radu je razvijen algoritam za automatsko kodiranje naqina korix enja formula u procesu generisanja dokaza u sekventnom raqunu. Takođe, razvijen je i algoritam za predstavljanje drveta dokaza preko kodiranog sekventa koji se nalazi u korenu tog drveta dokaza.
11 5.1 Dat je pregled i analiza postoje ih logiqkih programskih jezika i strategija generisanja dokaza. Izdvojene su karakteristike pogodne za automatizaciju. 11 V CITIRANOST RADOVA: Prema Google Scholar-u: - rad 1.1 Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic je citiran dva puta: 1) M. Stone: Disjunction and modular goal-directed proof search, Journal ACM Trans. Computational Logic Volume 6, Issue 3, pp , ) D. Pym, E. Ritter: Oxford Logic Guides : 45, Reductive Logic and Proof-Search, Proof Theory, Semantic and Control, Oxford Science Publications, rad 1.2 Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics je citiran dva puta: 1) P. Chapman: Tools and Techniques for Formalizing Structural Proof Theory,Phd Thesis, School of Computer Science, University of Andrews, Scotland, ) P. Chapman Syntactic Conditions for Invertibility in Sequent Calculi, Proceedings of Computing Australasian Theory Symposium, CATS, pp , rad 2.1 Towards an advanced computer interlocking system citiran je jednom: Z. Hasanzadaeh, M. Ali Sandidzadeh: The reliability evaluation of interlocking system for improving the operation factors - case study in Teheran Metro, in Proceedings of the 19th IASTED Conference on Modeling and Simulation, pp , VI OSTALE RELEVANTNE AKTIVNOSTI KANDIDATA: U periodu god. dr Tatjana Lutovac je bila zamenik xefa Katedre za primenjenu matematiku. U istom periodu bila je qlan fakultetske komisije za studije prvog stepena, a od u istoj komisiji vrxi funkciju zamenika predsednika.
12
IZVEXTAJ. 1. Biografija kandidata. 2. Nauqni i struqni rad. Nastavno nauqnom ve u Matematiqkog fakulteta Univerziteta u Beogradu
Nastavno nauqnom ve u Matematiqkog fakulteta Univerziteta u Beogradu Na 339. toj sednici Nastavno nauqnog ve a Matematiqkog fakulteta, odrжanoj 24. februara 2017. godine, određeni smo za qlanove komisije
More informationUvod u relacione baze podataka
Uvod u relacione baze podataka Ana Spasić 2. čas 1 Mala studentska baza dosije (indeks, ime, prezime, datum rodjenja, mesto rodjenja, datum upisa) predmet (id predmeta, sifra, naziv, bodovi) ispitni rok
More informationZBIRKA ZADATAKA IZ DISKRETNIH MATEMATIQKIH STRUKTURA
Vesna Manojlovi Mirjana Qangalovi Vladimir Balti ZBIRKA ZADATAKA IZ DISKRETNIH MATEMATIQKIH STRUKTURA Fakultet organizacionih nauka B E O G R A D 2014. Autori: dr Vesna Manojlovi, dr Mirjana Qangalovi,
More informationKLASIFIKACIJA NAIVNI BAJES. NIKOLA MILIKIĆ URL:
KLASIFIKACIJA NAIVNI BAJES NIKOLA MILIKIĆ EMAIL: nikola.milikic@fon.bg.ac.rs URL: http://nikola.milikic.info ŠTA JE KLASIFIKACIJA? Zadatak određivanja klase kojoj neka instanca pripada instanca je opisana
More informationProjektovanje paralelnih algoritama II
Projektovanje paralelnih algoritama II Primeri paralelnih algoritama, I deo Paralelni algoritmi za množenje matrica 1 Algoritmi za množenje matrica Ovde su data tri paralelna algoritma: Direktan algoritam
More informationRešenja zadataka za vežbu na relacionoj algebri i relacionom računu
Rešenja zadataka za vežbu na relacionoj algebri i relacionom računu 1. Izdvojiti ime i prezime studenata koji su rođeni u Beogradu. (DOSIJE WHERE MESTO_RODJENJA='Beograd')[IME, PREZIME] where mesto_rodjenja='beograd'
More informationZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA. Šefket Arslanagić, Sarajevo, BiH
MAT-KOL (Banja Luka) XXIII ()(7), -7 http://wwwimviblorg/dmbl/dmblhtm DOI: 75/МК7A ISSN 5-6969 (o) ISSN 986-588 (o) ZANIMLJIV NAČIN IZRAČUNAVANJA NEKIH GRANIČNIH VRIJEDNOSTI FUNKCIJA Šefket Arslanagić,
More informationMathcad sa algoritmima
P R I M J E R I P R I M J E R I Mathcad sa algoritmima NAREDBE - elementarne obrade - sekvence Primjer 1 Napraviti algoritam za sabiranje dva broja. NAREDBE - elementarne obrade - sekvence Primjer 1 POČETAK
More informationHARMONIJSKA I KVAZIKONFORMNA PRESLIKAVANjA, KVAZI-IZOMETRIJE I KRIVINA
Univerzitet u Beogradu Nastavno nauqnom ve u Matematiqkog fakulteta Na 302. sednici Nastavno-nauqnog ve a Matematiqkog fakulteta, odrжanoj 18.11.2011. u Beogradu, određeni smo u Komisiju za pregled i ocenu
More informationTEORIJA SKUPOVA Zadaci
TEORIJA SKUPOVA Zadai LOGIKA 1 I. godina 1. Zapišite simbolima: ( x nije element skupa S (b) d je član skupa S () F je podskup slupa S (d) Skup S sadrži skup R 2. Neka je S { x;2x 6} = = i neka je b =
More informationBOOKS BY IVAN GUTMAN
BOOKS BY IVAN GUTMAN 1. A. Graovac, I. Gutman, N. Trinajstić TOPOLOGICAL APPROACH TO THE CHEMISTRY OF CONJUGATED MOLECULES Springer, Berlin, 1977, pp. X+123. 2. I. Gutman, O. E. Polansky MATHEMATICAL CONCEPTS
More informationANALYSIS OF INFLUENCE OF PARAMETERS ON TRANSFER FUNCTIONS OF APERIODIC MECHANISMS UDC Života Živković, Miloš Milošević, Ivan Ivanov
UNIVERSITY OF NIŠ The scientific journal FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 6, 1999 pp. 675-681 Editor of series: Nenad Radojković, e-mail: radojkovic@ni.ac.yu Address: Univerzitetski
More informationRed veze za benzen. Slika 1.
Red veze za benzen Benzen C 6 H 6 je aromatično ciklično jedinjenje. Njegove dve rezonantne forme (ili Kekuléove structure), prema teoriji valentne veze (VB) prikazuju se uobičajeno kao na slici 1 a),
More informationNauqno-nastavnom ve u Matematiqkog fakulteta Univerziteta u Beogradu
Nauqno-nastavnom ve u Matematiqkog fakulteta Univerziteta u Beogradu Na 36. sednici Nauqno-nastavnog ve a Matematiqkog fakulteta, koja je odrжana 28..204. godine, određeni smo za qlanove komisije za pisanje
More informationAPPROPRIATENESS OF GENETIC ALGORITHM USE FOR DISASSEMBLY SEQUENCE OPTIMIZATION
JPE (2015) Vol.18 (2) Šebo, J. Original Scientific Paper APPROPRIATENESS OF GENETIC ALGORITHM USE FOR DISASSEMBLY SEQUENCE OPTIMIZATION Received: 17 July 2015 / Accepted: 25 Septembre 2015 Abstract: One
More informationIZBORNOM VEĆU FAKULTETA ZA FIZIČKU HEMIJU
IZBORNOM VEĆU FAKULTETA ZA FIZIČKU HEMIJU Na II redovnoj sednici Izbornog veća Fakulteta za fizičku hemiju održanoj 14/11/2013 izabrani smo u Komisiju za pripremu izveštaja o prijavljenim kandidatima na
More informationI Biografski podaci. II Nastavna delatnost
I Biografski podaci Dr Vesna Jevremović, vanredni profesor Matematičkog fakulteta Univerziteta u Beogradu, rođena je 1955. godine u Šapcu, gde je završila osnovnu školu i prvi razred gimnazije, a zatim
More informationPROFESSOR DR SVETISLAV M. MINČIĆ HIS CONTRIBUTION TO DIFFERENTIAL GEOMETRY
Kragujevac Journal of Mathematics Volume 35 Number 2 (2011), Pages 203 208. PROFESSOR DR SVETISLAV M. MINČIĆ HIS CONTRIBUTION TO DIFFERENTIAL GEOMETRY MILEVA PRVANOVIĆ Abstract. In the present paper we
More informationOsobine metode rezolucije: zaustavlja se, pouzdanost i kompletnost. Iskazna logika 4
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia novembar 2012 Rezolucija 1 Metod rezolucije je postupak za dokazivanje da li je neka iskazna (ili
More informationIZBORNOM VEĆU I DEKANU PRIRODNO-MATEMATIČKOG FAKULTETA U NIŠU. Predmet: Izveštaj po objavljenom konkursu
IZBORNOM VEĆU I DEKANU PRIRODNO-MATEMATIČKOG FAKULTETA U NIŠU Predmet: Izveštaj po objavljenom konkursu Na sednici Izbornog veća, održanoj 27.11.2002. godine, imenovani smo za članove Komisije za pisanje
More informationCURRICULUM VITAE (Dr. Ivan Mančev)
CURRICULUM VITAE (Dr. Ivan Mančev) 1. Personal details First and last name: Ivan Mančev Date and place of birth: 31. January 1960., Dimitrovgrad, Serbia, Yugoslavia Work Address: Department of Physics,
More information1 Biografija kandidata IZVEXTAJ. Nastavno-nauqnom ve u Matematiqkog fakulteta Univerziteta u Beogradu
Nastavno-nauqnom ve u Matematiqkog fakulteta Univerziteta u Beogradu Na 339. sednici Nastavno-nauqnog ve a Matematiqkoj fakulteta, koja je odrжana 24. februara 2017. godine, određeni smo za qlanove komisije
More informationp f(p)
NASTAVA MATEMATIKE U SREDNjOJ XKOLI Vladimir Mixi, Veljko irovi, dr Vojislav Andri VARIJACIJE NA ZADATU TEMU Vreme koje je pred nama je prostor koji e nesumnjivo pripasti kreativnim ljudima. Zato je razvijanje
More informationSELECTED TOPICS IN COMBINATORIAL ANALYSIS
Zbornik radova 17 (25) SELECTED TOPICS IN COMBINATORIAL ANALYSIS Editors: Miloš Kurilić and Stevo Todorčević Matematički institut SANU Izdavaq: Matematiqki institut SANU, Beograd serija: Zbornik radova,
More informationZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013)
MAT-KOL (Banja Luka) ISSN 0354-6969 (p), ISSN 1986-5228 (o) Vol. XIX (3)(2013), 35-44 ZANIMLJIVI ALGEBARSKI ZADACI SA BROJEM 2013 (Interesting algebraic problems with number 2013) Nenad O. Vesi 1 Du²an
More informationA Theorem Prover for Intuitionistic Propositional Logic. Jesse Wu Supervisors: Rajeev Goré and Jimmy Thomson
A Theorem Prover for Intuitionistic Propositional Logic Jesse Wu Supervisors: Rajeev Goré and Jimmy Thomson Introduction Semantics and Syntax Sequent Rules Implementation Experimental Results Contents
More informationUNSTABILITY OF FOOD PRODUCTION PER CAPITA AND POPULATION: ASIA. Vesna Jablanović 1
Journal of Agricultural Sciences Vol. 48, No, 003 Pages 7-3 UDC: 330.54:330.368 Original scientific paper UNSTABILITY OF FOOD PRODUCTION PER CAPITA AND POPULATION: ASIA Vesna Jablanović Abstract: The basic
More informationMATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING BOTTLE CAPS
http://doi.org/10.24867/jpe-2018-02-055 JPE (2018) Vol.21 (2) Choudhary, M., Narang, R., Khanna, P. Original Scientific Paper MATHEMATICAL ANALYSIS OF PERFORMANCE OF A VIBRATORY BOWL FEEDER FOR FEEDING
More informationDESIGN AND CALCULATION OF RING SPRINGS AS SPRING ELEMENTS OF THE WAGON BUFFER UDC : Jovan Nešović
FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 9, 2002, pp. 1127-1133 DESIGN AND CALCULATION OF RING SPRINGS AS SPRING ELEMENTS OF THE WAGON BUFFER UDC 62-272.43:623.435 Jovan Nešović Faculty
More informationRepresentation theorems for connected compact Hausdorff spaces
Representation theorems for connected compact Hausdorff spaces Mirna Džamonja School of Mathematics University of East Anglia Norwich, NR4 7TJ UK February 22, 2008 Abstract We present two theorems which
More informationHENDERSON'S APPROACH TO VARIANCE COMPONENTS ESTIMATION FOR UNBALANCED DATA UDC Vera Djordjević, Vinko Lepojević
FACTA UNIVERSITATIS Series: Economics and Organization Vol. 2, N o 1, 2003, pp. 59-64 HENDERSON'S APPROACH TO VARIANCE COMPONENTS ESTIMATION FOR UNBALANCED DATA UDC 519.233.4 Vera Djordjević, Vinko Lepojević
More informationModified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems
CROATICA CHEMICA ACTA CCACAA 7 (2) 83 87 (2003) ISSN-00-3 CCA-2870 Note Modified Zagreb M 2 Index Comparison with the Randi} Connectivity Index for Benzenoid Systems Damir Vuki~evi} a, * and Nenad Trinajsti}
More informationMathematics and Computer-Aided Modeling in Sciences Intensive School Novi Sad Preliminary Program for PHD students- English language
Mathematics and Computer-Aided Modeling in Sciences Intensive School Novi Sad Preliminary Program for PHD students- English language Time Friday, 05/27/2011 9:00 11:00 Registration 11:00 11:30 Opening
More informationANALYSIS OF THE RELIABILITY OF THE "ALTERNATOR- ALTERNATOR BELT" SYSTEM
I. Mavrin, D. Kovacevic, B. Makovic: Analysis of the Reliability of the "Alternator- Alternator Belt" System IVAN MAVRIN, D.Sc. DRAZEN KOVACEVIC, B.Eng. BRANKO MAKOVIC, B.Eng. Fakultet prometnih znanosti,
More informationPreliminary Program for PHD students- English language
Mathematics and Computer Aided Modeling in Sciences Intensive School Novi Sad Preliminary Program for PHD students- English language Time Friday, 05/27/2011 9:00 -- 11:00 Registration 11:00-11:30 Opening
More informationRURAL DEVELOPMENT AND REGIONAL POLICY CONCEPTUAL FRAMEWORK UDC 728.6: (045)=111. Ljiljana Vasilevska
FACTA UNIVERSITATIS Series: Architecture and Civil Engineering Vol. 8, N o 3, 2010, pp. 353-359 DOI: 10.2298/FUACE1003353V RURAL DEVELOPMENT AND REGIONAL POLICY CONCEPTUAL FRAMEWORK UDC 728.6:72.011.1(045)=111
More informationAN EXPERIMENTAL METHOD FOR DETERMINATION OF NATURAL CIRCULAR FREQUENCY OF HELICAL TORSIONAL SPRINGS UDC:
UNIVERSITY OF NIŠ The scientific journal FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 5, 1998 pp. 547-554 Editor of series: Nenad Radojković, e-mail: radojkovic@ni.ac.yu Address: Univerzitetski
More informationIMPROVEMENT OF HIPPARCOS PROPER MOTIONS IN DECLINATION
Serb. Astron. J. 172 (2006), 41-51 UDC 521.96 DOI: 10.2298/SAJ0672041D Preliminary report IMPROVEMENT OF HIPPARCOS PROPER MOTIONS IN DECLINATION G. Damljanović 1, N. Pejović 2 and B. Jovanović 1 1 Astronomical
More informationMethod of marks for propositional linear temporal logic
Lietuvos matematikos rinkinys ISSN 0132-2818 Proc. of the Lithuanian Mathematical Society, Ser. A www.mii.lt/lmr/ Vol. 55, 2014, 46 50 Method of marks for propositional linear temporal logic Regimantas
More informationOn the relation between Zenkevich and Wiener indices of alkanes
J.Serb.Chem.Soc. 69(4)265 271(2004) UDC 547.21:54 12+539.6 JSCS 3152 Original scientific paper On the relation between Zenkevich and Wiener indices of alkanes IVAN GUTMAN a*, BORIS FURTULA a, BILJANA ARSI]
More informationDependence of the total -electron energy on a large number of non-bonding molecular orbitals
J. Serb. Chem. Soc. 69 (10) 777 782 (2004) UDC 54 724+537.872:519.17:54 12 JSCS 3204 Original scientific paper Dependence of the total -electron energy on a large number of non-bonding molecular orbitals
More informationErrata and Remarks for The Semantics and Proof Theory of the Logic of Bunched Implications BI-monograph-errata.
Errata and Remarks for The Semantics and Proof Theory of the Logic of Bunched Implications http://www.cs.bath.ac.uk/~pym/ BI-monograph-errata.pdf David J. Pym University of Bath 30 March, 2008 Abstract
More informationTHE PRECISION OF TIME REGISTRATION WITH DANJON ASTROLABE
Serb. Astron. J. 157 (l998), 1 6 UDC 521.938/.95 Original scientific paper THE PRECISION OF TIME REGISTRATION WITH DANJON ASTROLABE G. Perović 1 and Z. Cvetković 2 1 Faculty of Civil Engineering Department
More informationHabilitation Report (abstract)
Habilitation Report (abstract) N. Peltier February 2007 1 Personal Information Born on March 13, 1972. Nationality: French. Professional Address: Laboratoire d Informatique de Grenoble (LIG). 46, Avenue
More informationNASTAVA MATEMATIKE U OSNOVNOJ XKOLI. Dr Vladimir Mi i PRAVILA NALAЖENjA QLANOVA NIZA
NASTAVA MATEMATIKE U OSNOVNOJ XKOLI Dr Vladimir Mi i PRAVILA NALAЖENjA QLANOVA NIZA Nastavnim programom predmeta Matematika predviđeno je da u qetvrtom razredu osnovne xkole uqenici upoznaju skup N prirodnih
More informationON A JERK DYNAMICAL SYSTEM II UDC Sonja Gegovska-Zajkova 1, Ljubiša M. Kocic 2
FACTA UNIVERSITATIS Series: Automatic Control and Robotics Vol. 10, N o 1, 2011, pp. 29-36 ON A JERK DYNAMICAL SYSTEM II UDC 681.5.01 517.93 Sonja Gegovska-Zajkova 1, Ljubiša M. Kocic 2 1 University Ss
More informationA SPECTRAL ATLAS OF λ BOOTIS STARS
Serb. Astron. J. 188 (2014), 75-84 UDC 524.3 355.3 DOI: 10.2298/SAJ1488075P Professional paper A SPECTRAL ATLAS OF λ BOOTIS STARS E. Paunzen 1 and U. Heiter 2 1 Department of Theoretical Physics and Astrophysics,
More informationEvaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic
Evaluation Driven Proof-Search in Natural Deduction Calculi for Intuitionistic Propositional Logic Mauro Ferrari 1, Camillo Fiorentini 2 1 DiSTA, Univ. degli Studi dell Insubria, Varese, Italy 2 DI, Univ.
More informationOn the duality of proofs and countermodels in labelled sequent calculi
On the duality of proofs and countermodels in labelled sequent calculi Sara Negri Department of Philosophy PL 24, Unioninkatu 40 B 00014 University of Helsinki, Finland sara.negri@helsinki.fi The duality
More informationnaveden je 5 puta dok je nedavno objav eni rad
doktorsku tezu u kojoj je unapredio teorij spektroskopije kvazi-termalnih xumova koja se odnosi na tzv. udarne signale, odnosno signale koji dolaze od elektrona koji, osim xto stvaraju fluktuirajue mer
More informationCurriculum Vitae. Education: Degrees and Diplomas: Employments:
Curriculum Vitae Full name Address E - mail Date of birth July 1, 1975. Place of birth Ivanjica, Serbia Citizenship Serbia Zoran Stanić University of Belgrade, Faculty of Mathematics Studentski trg 16,
More informationNASTAVNO NAUČNOM VEĆU MATEMATIČKOG FAKULTETA UNIVERZITETA U BEOGRADU
NASTAVNO NAUČNOM VEĆU MATEMATIČKOG FAKULTETA UNIVERZITETA U BEOGRADU Na sednici Nastavno naučnog veća Matematičkog fakulteta održanoj odredjeni smo u Komisiju za pregled i ocenu doktorske disertacije godine,
More informationMetode praćenja planova
Metode praćenja planova Klasična metoda praćenja Suvremene metode praćenja gantogram mrežni dijagram Metoda vrednovanja funkcionalnosti sustava Gantogram VREMENSKO TRAJANJE AKTIVNOSTI A K T I V N O S T
More informationFIZIKALNA KOZMOLOGIJA VII. VRLO RANI SVEMIR & INFLACIJA
FIZIKALNA KOZMOLOGIJA VII. VRLO RANI SVEMIR & INFLACIJA KOZMIČKI SAT ranog svemira Ekstra zračenje u mjerenju CMB Usporedba s rezultatima LEP-a Usporedba CMB i neutrina Vj.: Pozadinsko zračenje neutrina
More informationComputational Logic. Davide Martinenghi. Spring Free University of Bozen-Bolzano. Computational Logic Davide Martinenghi (1/30)
Computational Logic Davide Martinenghi Free University of Bozen-Bolzano Spring 2010 Computational Logic Davide Martinenghi (1/30) Propositional Logic - sequent calculus To overcome the problems of natural
More informationMODELING AND SIMULATION OF THE SELF - EXCITED STICK-SLIP SYSTEM USING BONDSIM TOOLS UDC :
FACTA UNIVERSITATIS Series: Mechanical Engineering Vol. 2, N o, 2004, pp. 49-58 MODELING AND SIMULATION OF THE SELF - EXCITED STICK-SLIP SYSTEM USING BONDSIM TOOLS UDC 68.5.07:59.876.2 Vlastimir Nikolić,
More informationConstructive approach to relevant and affine term calculi
Constructive approach to relevant and affine term calculi Jelena Ivetić, University of Novi Sad, Serbia Silvia Ghilezan,University of Novi Sad, Serbia Pierre Lescanne, University of Lyon, France Silvia
More informationPHOTOGRAPHIC ZENITH TUBES OBSERVATIONS TO IMPROVE HIPPARCOS PROPER MOTION IN DECLINATION OF SOME STARS
Serb. Astron. J. 170 (2005), 127-132 UDC 521.96 Preliminary report PHOTOGRAPHIC ZENITH TUBES OBSERVATIONS TO IMPROVE HIPPARCOS PROPER MOTION IN DECLINATION OF SOME STARS G. Damljanović Astronomical Observatory,
More informationTHE ROLE OF A STEEPNESS PARAMETER IN THE EXPONENTIAL STABILITY OF A MODEL PROBLEM. NUMERICAL ASPECTS
Serb. Astron. J. 182 (2011), 25-33 UDC 521.19 17 DOI: 10.2298/SAJ1182025T Original scientific paper THE ROLE OF A STEEPNESS PARAMETER IN THE EXPONENTIAL STABILITY OF A MODEL PROBLEM. NUMERICAL ASPECTS
More informationPRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU
MAT KOL Banja Luka) ISSN 0354 6969 p) ISSN 1986 58 o) Vol. XXI )015) 105 115 http://www.imvibl.org/dmbl/dmbl.htm PRIPADNOST RJEŠENJA KVADRATNE JEDNAČINE DANOM INTERVALU Bernadin Ibrahimpašić 1 Senka Ibrahimpašić
More informationADAPTIVE NEURO-FUZZY MODELING OF THERMAL VOLTAGE PARAMETERS FOR TOOL LIFE ASSESSMENT IN FACE MILLING
http://doi.org/10.24867/jpe-2017-01-016 JPE (2017) Vol.20 (1) Original Scientific Paper Kovač, P., Rodić, D., Gostimirović, M., Savković, B., Ješić. D. ADAPTIVE NEURO-FUZZY MODELING OF THERMAL VOLTAGE
More informationHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models Agata Ciabattoni Mauro Ferrari Abstract In this paper we define cut-free hypersequent calculi for some intermediate logics semantically
More informationFajl koji je korišćen može se naći na
Machine learning Tumačenje matrice konfuzije i podataka Fajl koji je korišćen može se naći na http://www.technologyforge.net/datasets/. Fajl se odnosi na pečurke (Edible mushrooms). Svaka instanca je definisana
More informationPRECIPITATION FORECAST USING STATISTICAL APPROACHES UDC 55:311.3
FACTA UNIVERSITATIS Series: Working and Living Environmental Protection Vol. 10, N o 1, 2013, pp. 79-91 PRECIPITATION FORECAST USING STATISTICAL APPROACHES UDC 55:311.3 Mladjen Ćurić 1, Stanimir Ţivanović
More informationEFFECTS OF THE USE OF ACETIC ACID AS THE CONSERVANT IN LUCERNE ENSILING
Journal of Agricultural Sciences Vol. 49, No 1, 2004 Pages 59-64 UDC: 633.31:636.085.52:664.8.035 Original scientific paper EFFECTS OF THE USE OF ACETIC ACID AS THE CONSERVANT IN LUCERNE ENSILING N. Djordjević,
More informationNEW 6 AND 3-cm RADIO-CONTINUUM MAPS OF THE SMALL MAGELLANIC CLOUD. PART I THE MAPS
Serb. Astron. J. 183 (2011), 95-102 UDC 52 13 77 : 524.722.7 DOI: 10.2298/SAJ1183095C Professional paper NEW 6 AND 3-cm RADIO-CONTINUUM MAPS OF THE SMALL MAGELLANIC CLOUD. PART I THE MAPS E. J. Crawford,
More informationSome Observations on the Topological Resonance Energy of Benzenoid Hydrocarbons*
CROATICA CHEMICA ACTA CCACAA 55 (4) 375-382 (1982) YU ISSN 0011-1643 UDC 539.19:547.53 CCA-1342 Original Scientific Paper Some Observations on the Topological Resonance Energy of Benzenoid Hydrocarbons*
More informationĐorđe Đorđević, Dušan Petković, Darko Živković. University of Niš, The Faculty of Civil Engineering and Architecture, Serbia
FACTA UNIVERSITATIS Series: Architecture and Civil Engineering Vol. 6, N o 2, 2008, pp. 207-220 DOI:10.2298/FUACE0802207D THE APPLIANCE OF INTERVAL CALCULUS IN ESTIMATION OF PLATE DEFLECTION BY SOLVING
More informationSilvia Ghilezan and Jelena Ivetić
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série, tome 82(96) (2007), 85 91 DOI 102298/PIM0796085G INTERSECTION TYPES FOR λ Gtz -CALCULUS Silvia Ghilezan and Jelena Ivetić Abstract. We introduce
More informationUSING UML CASE TOOLS FOR DEVELOPMENT OF AN OPEN PIT ARCGIS GEODATABASE
UNDERGOUND MINING ENGINEERING 20 (2012) 89-98 UDK 62 FACULTY OF MINING AND GEOLOGY, BELGRADE YU ISSN 03542904 Original scientific paper USING UML CASE TOOLS FOR DEVELOPMENT OF AN OPEN PIT ARCGIS GEODATABASE
More informationARGO beleške / ARGO Notes
ARGO beleške / ARGO Notes ARGO Grupa za automatsko rezonovanje/automated Reasoning Group Matematički fakultet/faculty of Mathematics Univerzitet u Beogradu/University of Belgrade Studentski trg 16 11000
More information5 th INTERNATIONAL CONFERENCE Contemporary achievements in civil engineering 21. April Subotica, SERBIA
5 th INTERNATIONAL CONFERENCE Contemporary achievements in civil engineering 21. April 2017. Subotica, SERBIA COMPUTER SIMULATION OF THE ORDER FREQUENCIES AMPLITUDES EXCITATION ON RESPONSE DYNAMIC 1D MODELS
More informationA natural sequent calculus for Lewis logic of counterfactuals
A natural sequent calculus for Lewis logic of counterfactuals Nicola Olivetti 1 and Gian Luca Pozzato 2 1 Dip. Informatica - Universitá di Torino - Italy gianluca.pozzato@unito.it 2 Aix Marseille Univ.
More informationTaming Implications in Dummett Logic
Taming Implications in Dummett Logic Guido Fiorino Dipartimento di Metodi Quantitativi per le cienze Economiche ed Aziendali, Università di Milano-Bicocca, Piazza dell Ateneo Nuovo, 1, 20126 Milano, Italy.
More informationTHE BOUNDARY VALUES OF THE PUNCH DIAMETER IN THE TECHNOLOGY OF THE OPENING MANUFACTURE BY PUNCHING UDC
FACTA UNIVERSITATIS Series: Mechanical Engineering Vol.1, N o 7, 2000, pp. 887-891 THE BOUNDARY VALUES OF THE PUNCH DIAMETER IN THE TECHNOLOGY OF THE OPENING MANUFACTURE BY PUNCHING UDC 621.962 621.744.52
More informationNatural Deduction for Propositional Logic
Natural Deduction for Propositional Logic Bow-Yaw Wang Institute of Information Science Academia Sinica, Taiwan September 10, 2018 Bow-Yaw Wang (Academia Sinica) Natural Deduction for Propositional Logic
More informationON ORBITS FOR A PARTICULAR CASE OF AXIAL SYMMETRY
Serb. Astron. J. 178 (2009), 29-37 UDC 524.62 334.2 DOI: 10.2298/SAJ0978029N Original scientific paper ON ORBITS FOR A PARTICULAR CASE OF AXIAL SYMMETRY S. Ninković and B. Jovanović Astronomical Observatory,
More informationAdresa na poslu Fakultet za fizičku hemiju, Studentski trg P.O. Box Beograd, Republika Srbija
CURRICULUM VITAE Lični podaci Ime i prezime Maja Milojević-Rakić Datum rođenja 23.07.1982. Kućna adresa Marka Oreškovića 27 11000 Beograd, Republika Srbija Adresa na poslu Fakultet za fizičku hemiju, Studentski
More informationTHE CHANGE OF GENETIC AND PHENOTYPIC VARIABILITY OF YIELD COMPONENTS AFTER RECURRENT SELECTION OF MAIZE
UDC575:633.15 DOI: 10.2298/GENSR0902207D Original scientific paper THE CHANGE OF GENETIC AND PHENOTYPIC VARIABILITY OF YIELD COMPONENTS AFTER RECURRENT SELECTION OF MAIZE Nebojša DELETIĆ, Slaviša STOJKOVIĆ,
More informationA FIELD METHOD FOR SOLVING THE EQUATIONS OF MOTION OF EXCITED SYSTEMS UDC : (045) Ivana Kovačić
FACTA UNIVERSITATIS Series: Mechanics, Automatic Control and Robotics Vol.3, N o,, pp. 53-58 A FIELD METHOD FOR SOLVING THE EQUATIONS OF MOTION OF EXCITED SYSTEMS UDC 534.:57.98(45) Ivana Kovačić Faculty
More informationMAGNETIC FIELD OF ELECTRICAL RADIANT HEATING SYSTEM
UDK 537.612:697.27 DOI: 10.7562/SE2017.7.02.03 Original article www.safety.ni.ac.rs MIODRAG MILUTINOV 1 ANAMARIJA JUHAS 2 NEDA PEKARIĆ-NAĐ 3 1,2,3 University of Novi Sad, Faculty of Technical Sciences,
More informationIskazna logika 1. Matematička logika u računarstvu. oktobar 2012
Matematička logika u računarstvu Department of Mathematics and Informatics, Faculty of Science,, Serbia oktobar 2012 Iskazi, istinitost, veznici Intuitivno, iskaz je rečenica koja je ima tačno jednu jednu
More informationDIAGNOSTICS OF ACOUSTIC PROCESSES BY INTENSITY MEASUREMENT UDC: Momir Praščević, Dragan Cvetković
UNIVERSITY OF NIŠ The scientific journal FACTA UNIVERSITATIS Series: Working and Living Environmental Protection Vol. 1, No 2, 1997, pp. 9-16 Editor of series: Ljiljana Rašković, e-mail: ral@kalca.junis.ni.ac.yu
More informationEXPERIMENTAL ANALYSIS OF THE STRENGTH OF A POLYMER PRODUCED FROM RECYCLED MATERIAL
A. Jurić et al. EXPERIMENTAL ANALYSIS OF THE STRENGTH OF A POLYMER PRODUCED FROM RECYCLED MATERIAL Aleksandar Jurić, Tihomir Štefić, Zlatko Arbanas ISSN 10-651 UDC/UDK 60.17.1/.:678.74..017 Preliminary
More informationSHOWER PARTICLE MULTIPLICITY DISTRIBUTIONS FOR COLLISIONS OF GEV/C PROTONS WITH EMULSION UDC S. Drndarević, G. Škoro, D.
UNIVERSITY OF NIŠ The scientific journal FACTA UNIVERSITATIS Series: Physics, Chemistry and Technology Vol. 2, No 1, 1999 pp. 39-45 Editor of series: Momčilo Pejović, e-mail: pejovic@elfak.ni.ac.yu Address:
More informationKonstrukcija i analiza algoritama
Konstrukcija i analiza algoritama 27. februar 2017 1 Pravila zaključivanja i tehnike dokazivanja u iskaznoj i predikatskoj logici 1 1.1 Iskazna logika Pravila zaključivanja za iskaznu logiku: 1. DODAVANJE
More informationEvidential Paradigm and Intelligent Mathematical Text Processing
Evidential Paradigm and Intelligent Mathematical Text Processing Alexander Lyaletski 1, Anatoly Doroshenko 2, Andrei Paskevich 1,3, and Konstantin Verchinine 3 1 Taras Shevchenko Kiev National University,
More informationDecision Procedures for Satisfiability and Validity in Propositional Logic
Decision Procedures for Satisfiability and Validity in Propositional Logic Meghdad Ghari Institute for Research in Fundamental Sciences (IPM) School of Mathematics-Isfahan Branch Logic Group http://math.ipm.ac.ir/isfahan/logic-group.htm
More informationPermutacije sa ograniqeƭima
Univerzitet u Nixu Prirodno matematiqki fakultet Departman za matematiku Vladimir M. Balti Permutacije sa ograniqeƭima Doktorska disertacija Nix, 2014. University of Niš Faculty of Science and Mathematics
More informationIntroduction to Kleene Algebra Lecture 14 CS786 Spring 2004 March 15, 2004
Introduction to Kleene Algebra Lecture 14 CS786 Spring 2004 March 15, 2004 KAT and Hoare Logic In this lecture and the next we show that KAT subsumes propositional Hoare logic (PHL). Thus the specialized
More informationOn Urquhart s C Logic
On Urquhart s C Logic Agata Ciabattoni Dipartimento di Informatica Via Comelico, 39 20135 Milano, Italy ciabatto@dsiunimiit Abstract In this paper we investigate the basic many-valued logics introduced
More informationXTAJNEROVI SISTEMI I NOVE KONSTRUKCIJE
UNIVERZITET U BEOGRADU MATEMATIQKI FAKULTET Nebojxa T. Nikoli XTAJNEROVI SISTEMI I NOVE KONSTRUKCIJE (v,k,t)-pokrivaNja doktorska disertacija Beograd, 2015 UNIVERSITY OF BELGRADE FACULTY OF MATHEMATICS
More informationDEVELOPMENT OF MATHEMATICAL MODELS TO PREDICT THE EFFECT OF INPUT PARAMETERS ON FEED RATE OF A RECIPROCATORY TUBE FUNNEL FEEDER
http://doi.org/10.24867/jpe-2018-01-067 JPE (2018) Vol.21 (1) Jain, A., Bansal, P., Khanna, P. Preliminary Note DEVELOPMENT OF MATHEMATICAL MODELS TO PREDICT THE EFFECT OF INPUT PARAMETERS ON FEED RATE
More informationA multidimensional generalization of the Steinhaus theorem
Mathematical Communications 2(1997, 129 133 129 A multidimensional generalization of the Steinhaus theorem Miljenko Crnjac Abstract. Steinhaus has shown that the subset of R of the form A + B = {a + b
More informationTHE CHRONOLOGICAL SYSTEM FOR SOLAR TRACKING IMPLEMENTED ON MOBILE SOLAR GENERATOR
THE CHRONOLOGICAL SYSTEM FOR SOLAR TRACKING IMPLEMENTED ON MOBILE SOLAR GENERATOR Miloš D. Jovanović, Mihajlo Pupin Institute, University of Belgrade, Serbia, milos.jovanovic@pupin.rs Željko V.Despotović,
More informationNon-elementary Lower Bound for Propositional Duration. Calculus. A. Rabinovich. Department of Computer Science. Tel Aviv University
Non-elementary Lower Bound for Propositional Duration Calculus A. Rabinovich Department of Computer Science Tel Aviv University Tel Aviv 69978, Israel 1 Introduction The Duration Calculus (DC) [5] is a
More informationNAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA
NAPREDNI FIZIČKI PRAKTIKUM 1 studij Matematika i fizika; smjer nastavnički MJERENJE MALIH OTPORA studij Matematika i fizika; smjer nastavnički NFP 1 1 ZADACI 1. Mjerenjem geometrijskih dimenzija i otpora
More informationCanonical Calculi: Invertibility, Axiom expansion and (Non)-determinism
Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism A. Avron 1, A. Ciabattoni 2, and A. Zamansky 1 1 Tel-Aviv University 2 Vienna University of Technology Abstract. We apply the semantic
More information' $ Theorem Prover. Jens Otten & %
' $ ileantap: An Intuitionistic Theorem Prover Jens Otten & %? Forschungsbericht AIDA{96{18 Darmstadt Fachgebiet Intellektik, Fachbereich Informatik Technische Hochschule Darmstadt Alexanderstrae 10 D{64283
More informationFormal Logic and Deduction Systems
Formal Logic and Deduction Systems Software Formal Verification Maria João Frade Departmento de Informática Universidade do Minho 2008/2009 Maria João Frade (DI-UM) Formal Logic and Deduction Systems MFES
More information