Filteri
cris logo
-
Novo pretraživanje Filteri
Izaberi sa spiska
Prikazano od Prikaži više
Dostigli ste najviši mogući broj prikazanih rezultata pretraživanja.
Prikazani su svi rezultati
Za izvedeno pretraživanje nema dostupnih rezultata
Prikazano od
Dostigli ste najviši mogući broj prikazanih rezultata pretraživanja.
Prikazani su svi rezultati
Učitavanje rezultata
Dobijanje statističkih podataka

Projekti izvor: E-CRIS

Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu

Uredi
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
Istraživači (4)
br. Šifra Ime i prezime Oblast istraživanja Uloga Period Br. publikacija
1.  12336  dr Marija Boričić Joksimović  Matematika  Istraživač  2012 - 2019  18 
2.  04628  dr Silvia Gilezan  Matematika  Rukovodilac projekta  2011 - 2019  33 
3.  10539  Jelena S. Ivanović  Matematika  Istraživač  2013 - 2019  0 
4.  11561  Marina R. Svičević  Računarstvo, numerička analiza, sistemi, kontrola  Istraživač  2011 - 2019  21 
Organizacije (17)
br. Šifra Istraživačka organizacija Mesto Matični broj Br. publikacija
1.  0003  Univerzitet u Beogradu, Ekonomski fakultet  Beograd  07001983  0 
2.  0010  Univerzitet u Beogradu, Građevinski fakultet  Beograd  07006454  0 
3.  0012  Univerzitet u Beogradu, Matematički fakultet  Beograd  07048211  0 
4.  0017  Univerzitet u Beogradu, Filozofski fakultet  Beograd  07003269  0 
5.  0019  Univerzitet u Beogradu, Fakultet organizacionih nauka  Beograd  07004044  0 
6.  0020  Univerzitet u Beogradu, Saobraćajni fakultet  Beograd  07032587  0 
7.  0023  Univerzitet u Beogradu, Mašinski fakultet  Beograd  07032501  0 
8.  0038  Univerzitet u Novom Sadu, Fakultet tehničkih nauka  Novi Sad  08067104  0 
9.  0040  Univerzitet u Novom Sadu, Prirodno-matematički fakultet  Novi Sad  08104620  0 
10.  0074  Univerzitet u Kragujevcu, Prirodno-matematički fakultet  Kragujevac  07232721  0 
11.  0104  Univerzitet u Nišu, Mašinski fakultet  Niš  07174713  0 
12.  0107  Univerzitet u Nišu, Elektronski fakultet  Niš  07215240  0 
13.  0113  Univerzitet u Nišu, Fakultet zaštite na radu  Niš  07226063  0 
14.  0116  Univerzitet u Nišu, Građevinsko-arhitektonski fakultet  Niš  07174721  0 
15.  0172  Državni univerzitet u Novom Pazaru  Novi Pazar  17663640  0 
16.  0218  Univerzitet Privredna akademija u Novom Sadu, Fakultet za ekonomiju i inženjerski menadžment  Novi Sad  08728461  0 
17.  0268  Matematički institut SANU  Beograd  07017871  0 
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.
Zahteva se potvrđivanje
Retrospektiva pregleda
Omiljeno