| dc.contributor.advisor |
Gilezan, Silvia |
|
| dc.contributor.author |
Pejović, Aleksandar |
|
| dc.date.accessioned |
2020-07-18T00:58:21Z |
|
| dc.date.available |
2020-07-18T00:58:21Z |
|
| dc.date.issued |
2020 |
|
| dc.identifier.uri |
http://hdl.handle.net/123456789/4857 |
|
| dc.description.abstract |
This dissertation is about the development of a parallel software system for
representing and solving problems of finite model theory and its application.
The theoretical foundation of the system is presented, as well as an in-depth
explanation of the implementation in Python. In particular, a parallel method
for computing Boolean expressions based on the properties of finite free
Boolean algebras is developed. It is also shown how various finite
combinatorial objects can be coded in the formalism of Boolean algebras and
counted by this procedure. Specifically, using a translation of first order
predicate formulas to propositional formulas, we developed a technique for
constructing and counting finite models of first order theories. Finally, we
have developed some general techniques that enable more effective use of
our system. We illustrate these techniques on two examples. The first one
deals with partial orders, while the other one is about random graphs. |
en_US |
| dc.description.provenance |
Submitted by Zarko Mijajlovic (zarkom@matf.bg.ac.rs) on 2020-07-18T00:58:21Z
No. of bitstreams: 3
APejovicPhDPresentation.pdf: 1103725 bytes, checksum: d92dbf769709a2176246b0a8f208b6da (MD5)
APejovicPhDSoftwareSources.zip: 25252 bytes, checksum: a786ec31ab517ae14693d19118620daf (MD5)
APejovicDissertation.pdf: 1253958 bytes, checksum: 58eef229c163b7aef7839283f148be93 (MD5) |
en |
| dc.description.provenance |
Made available in DSpace on 2020-07-18T00:58:21Z (GMT). No. of bitstreams: 3
APejovicPhDPresentation.pdf: 1103725 bytes, checksum: d92dbf769709a2176246b0a8f208b6da (MD5)
APejovicPhDSoftwareSources.zip: 25252 bytes, checksum: a786ec31ab517ae14693d19118620daf (MD5)
APejovicDissertation.pdf: 1253958 bytes, checksum: 58eef229c163b7aef7839283f148be93 (MD5)
Previous issue date: 2020 |
en |
| dc.format.mimetype |
pdf |
en_US |
| dc.language.iso |
en |
en_US |
| dc.publisher |
University of Novi Sad, Faculty of Technical Sciences |
en_US |
| dc.title |
Parallel software system for counting finite models |
en_US |
| mf.author.birth-date |
1984 |
|
| mf.author.birth-place |
Belgrade |
en_US |
| mf.author.residence-state |
Serbia |
en_US |
| mf.author.citizenship |
Serbian |
en_US |
| mf.author.nationality |
Serbian |
en_US |
| mf.subject.area |
Parallel computing |
en_US |
| mf.subject.keywords |
parallel computing, finite models, graphs |
en_US |
| mf.subject.subarea |
Finite model theory |
en_US |
| mf.contributor.committee |
Davidović, Tatjana |
|
| mf.contributor.committee |
Stojaković, Miloš |
|
| mf.contributor.committee |
Popović, Miroslav |
|
| mf.contributor.committee |
Ivetić, Jelena |
|
| mf.university.faculty |
Faculty of Technical Sciences |
en_US |
| mf.document.references |
42 |
en_US |
| mf.document.pages |
130 |
en_US |
| mf.document.location |
University Library Novi Sad |
en_US |
| mf.document.genealogy-project |
Yes |
en_US |
| mf.description.notes |
Informal mentor: Žarko Mijajlović |
en_US |
| mf.author.parent |
Milovan |
en_US |
| mf.university |
University of Novi Sad |
en_US |