Browsing Bakalaura un maģistra darbi (VFF) / Bachelor's and Master's theses by Subject "laiks"
Now showing items 1-1 of 1
-
Informācijas pārvietošanās koncepcijas inkorporācija Artura Normena Praiora A-sērijas temporālajā loģikā
(Latvijas Universitāte, 2016)Šajā darbā tiek aplūkota problēma – kā temporālajā loģikā formalizēt informācijas pārvietošanās koncepciju? Šīs problēmas kontekstā izvirzīts darba mērķis – inkorporēt informācijas pārvietošanās koncepciju loģiķa Artura ...