Search
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 ...