Nacionalni portal odprte znanosti

Med drugim lahko za zagotavljanje varnosti računalniškega sistema uporabimo ločevalno jedro. To je specializiran operacijski sistem, ki poskrbi za razdelitev virov sistema na ločene domene in za popolno ločitev med njimi. V tem magistrskem delu formaliziramo model ločevalnega jedra z uporabo dokazov ...

Ko opazujemo $n$ različnih polinomskih grafov v evklidski ravnini, ki se sekajo v neki točki, lahko iz njihove urejenosti levo in desno od presečišča zapišemo permutacijo množice $\{1,...,n\}$. Permutacijam, ki jih na ta način lahko dobimo, rečemo izmenjave. Dokažemo, da je množica $a(n)$ vseh izmen ...