Učitavanje...
Projekti
Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu
Istraživačka delatnost
| Kod | Nauka | Oblast |
|---|---|---|
| P001 | Prirodno-matematičke nauke | Matematika |
| P110 | Prirodno-matematičke nauke | Matematička logika, teorija skupova, kombinatorika |
| P120 | Prirodno-matematičke nauke | Teorija brojeva, teorija polja, algebarska geometrija, algebra, teorija grupa |
| P170 | Prirodno-matematičke nauke | Računarstvo, numerička analiza, sistemi, kontrola |
| P175 | Prirodno-matematičke nauke | Informatika, teorija sistema |
Ključne reči
matematička logika, logika u računarstvu, logički dizajn
Organizacije (17) , Istraživači (4)
0268 Matematički institut SANU
| br. | Šifra | Ime i prezime | Oblast istraživanja | Uloga | Period | Br. publikacijaBr. publikacija |
|---|---|---|---|---|---|---|
| 1. | 04628 | Matematika | Rukovodilac projekta | 2011 - 2019 | 34 |
0003 Univerzitet u Beogradu, Ekonomski fakultet
0010 Univerzitet u Beogradu, Građevinski fakultet
0012 Univerzitet u Beogradu, Matematički fakultet
| br. | Šifra | Ime i prezime | Oblast istraživanja | Uloga | Period | Br. publikacijaBr. publikacija |
|---|---|---|---|---|---|---|
| 1. | 10539 | Matematika | Istraživač | 2013 - 2019 | 0 |
0017 Univerzitet u Beogradu, Filozofski fakultet
0019 Univerzitet u Beogradu, Fakultet organizacionih nauka
| br. | Šifra | Ime i prezime | Oblast istraživanja | Uloga | Period | Br. publikacijaBr. publikacija |
|---|---|---|---|---|---|---|
| 1. | 12336 | Matematika | Istraživač | 2012 - 2019 | 20 |
0020 Univerzitet u Beogradu, Saobraćajni fakultet
0023 Univerzitet u Beogradu, Mašinski fakultet
0038 Univerzitet u Novom Sadu, Fakultet tehničkih nauka
0040 Univerzitet u Novom Sadu, Prirodno-matematički fakultet
0074 Univerzitet u Kragujevcu, Prirodno-matematički fakultet
| br. | Šifra | Ime i prezime | Oblast istraživanja | Uloga | Period | Br. publikacijaBr. publikacija |
|---|---|---|---|---|---|---|
| 1. | 11561 | Računarstvo, numerička analiza, sistemi, kontrola | Istraživač | 2011 - 2019 | 59 |
0104 Univerzitet u Nišu, Mašinski fakultet
0107 Univerzitet u Nišu, Elektronski fakultet
0113 Univerzitet u Nišu, Fakultet zaštite na radu
0116 Univerzitet u Nišu, Građevinsko-arhitektonski fakultet
0172 Državni univerzitet u Novom Pazaru
0218 Univerzitet Privredna akademija u Novom Sadu, Fakultet za ekonomiju i inženjerski menadžment
Sažetak
Matematička logika obuhvata matematička istraživanja logičkih sistema i primene formalne logike na ostale oblasti matematike. Pored svoje fundamentalne uloge u razvoju matematike, u poslednjih nekoliko decenija matematička logika postaje teorijska osnova računarstva i veštačke inteligencije. Istraživanja u ovom projektu će biti usmerena ka fundamentalnim istraživanjima i relevantnim primenama u računarstvu. Osnovni istraživački pravci: (a) Reprezentacija logičkih struktura (b) Spektralne reprezentacije diskretnih funkcija (c) Logički i formalni sistemi za sekvencijalno i distribuirano računarstvo. Teme istraživanja: (a) Koherencijski rezultati za kategorije u teoriji dokaza, srodni rezultati za algebru, geometriju i topologiju. Model-teoretska i dokaz-teoretska analiza logičkih sistema. Sistemi za aproksimativno i formalno rezonovanje. Reprezentacija i klasifikacija algebarskih struktura. (b) Primene algebarskih struktura u predstavljanju diskretnih signala sa primenama u modeliranju i opisivanju digitalnih sistema. Spektralne reprezentacije digitalnih sistema i njihova složenost. (c) Računarske interpretacije logičkih sistema za sekvencijalno računarstvo. Formalni modeli distribuiranih računarskih sistema. Sveobuhvatni istraživački tim ima istaknute naučne rezultate prepoznatljive u medjunarodnom naučnom okruženju. Istraživači su uključeni u rad evropskih naučnih projekata, što će omogućiti uključivanje rezultata projekta u aktuelna medjunarodna istraživanja.