Parallel software system for counting finite models

eBibliothek Repositorium

 
 

Parallel software system for counting finite models

Zur Kurzanzeige

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

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
APejovicDissertation.pdf 1.253Mb PDF Öffnen
APejovicPhDPresentation.pdf 1.103Mb PDF Öffnen
APejovicPhDSoftwareSources.zip 25.25Kb Unbekannt Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige