Trepo - Selaus asiasanan mukaan "lokaali algoritmi"

Tässä tutkielmassa tutkitaan modaalilogiikan yhteyksiä lokaaleihin algoritmeihin. Modaalilogiikka on lauselogiikan laajennus, jossa kaavojen totuutta tutkitaan mahdollisia maailmoja mallintavissa Kripke-malleissa. Lokaalit ...