Loading...
Projects
Representations of logical structures and formal languages and their application in computing
Research activity
| Code | Science | Field |
|---|---|---|
| P001 | Natural sciences and mathematics | Mathematics |
| P110 | Natural sciences and mathematics | Mathematical logic, set theory, combinatories |
| P120 | Natural sciences and mathematics | Number theory, field theory, algebraic geometry, algebra, group theory |
| P170 | Natural sciences and mathematics | Computer science, numerical analysis, systems, control |
| P175 | Natural sciences and mathematics | Informatics, systems theory |
Keywords
Mathematical logic, logic in computer science, logical design
Organisations (17) , Researchers (4)
0268 Mathematical Institute SASA
| no. | Code | Name and surname | Research area | Role | Period | No. of publicationsNo. of publications |
|---|---|---|---|---|---|---|
| 1. | 04628 | Mathematics | Head | 2011 - 2019 | 34 |
0003 University of Belgrade, Faculty of Economics and Business
0010 University of Belgrade, Faculty of Civil Engineering
0012 University of Belgrade, Faculty of Mathematics
| no. | Code | Name and surname | Research area | Role | Period | No. of publicationsNo. of publications |
|---|---|---|---|---|---|---|
| 1. | 10539 | Mathematics | Researcher | 2013 - 2019 | 0 |
0017 University of Belgrade, Faculty of Philosophy
0019 University of Belgrade, Faculty of Organizational Sciences
| no. | Code | Name and surname | Research area | Role | Period | No. of publicationsNo. of publications |
|---|---|---|---|---|---|---|
| 1. | 12336 | Mathematics | Researcher | 2012 - 2019 | 20 |
0020 University of Belgrade, Faculty of Transport and Traffic Engineering
0023 University of Belgrade, Faculty of Mechanical Engineering
0038 University of Novi Sad, Faculty of Technical Sciences
0040 University of Novi Sad, Faculty of Sciences
0074 University of Kragujevac, Faculty of Science
| no. | Code | Name and surname | Research area | Role | Period | No. of publicationsNo. of publications |
|---|---|---|---|---|---|---|
| 1. | 11561 | Computer science, numerical analysis, systems, control | Researcher | 2011 - 2019 | 57 |
0104 University of Nis, Faculty of Mechanical Engineering
0107 University of Nis, Faculty of Electronic Engineering
0113 University of Niš, Faculty of Occupational Safety
0116 University of Nis, Faculty of Civil Engineering and Architecture
0172 State University of Novi Pazar
0218 University Business Academy in Novi Sad, Faculty of Economy and Engineering Management
Abstract
Mathematical logic comprises both the mathematical study of logical systems and the applications of formal logic to other areas of mathematics. Apart from its fundamental role in the development of mathematics, in the last few decades mathematical logic has become the foundation of computer science and artificial intelligence. The research in this project will be directed towards fundamental research and related relevant applications in computer science. Basic research directions: (a) Representation of logical structures (b) Spectral representations of discrete functions (c) Logical and formal systems for sequential and distributed computing. Research topics: (a) Coherence results for categories in proof theory, related results for algebra, geometry and topology; model and proof-theoretic analysis of logical systems; systems for approximate and formal reasoning; representation and classification of algebraic structures (b) Exploiting of algebraic structures in the representation of discrete signals with applications in the modeling and design of digital system; spectral representations of digital systems and their complexity (c) Computational interpretations of logical systems; formal models of distributed systems. The comprehensive research team has recognised expertise and well-established international collaboration. The researchers take part in European projects, which will ensure that the project results will follow the state-of-the-art of international research.