<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=170333"><dc:title>Verjetnostna separacijska logika</dc:title><dc:creator>Jereb,	Janez Ignacij	(Avtor)
	</dc:creator><dc:creator>Simpson,	Alexander Keith	(Mentor)
	</dc:creator><dc:subject>separacijska logika</dc:subject><dc:subject>denotacijska semantika</dc:subject><dc:subject>trovrednostna logika</dc:subject><dc:subject>tipni sistem</dc:subject><dc:subject>verjetnostno programiranje</dc:subject><dc:subject>dokazovanje pravilnosti</dc:subject><dc:subject>verjetnostna neodvisnost</dc:subject><dc:description>To delo obravnava programsko verjetnostno separacijsko logiko in jo razvije
z novo semantiko programskega jezika, logičnih formul ter novim pravilom
okvirja. Sintaksi programskega jezika so dodani tipi, medtem ko je za
semantiko programskega jezika uporabljena monadna denotacijska semantika.
Zanjo je potrebna uporaba teorije domen, ki je v tem delu tudi na
kratko predstavljena. Semantika jezika je razširjena tudi z nedefiniranimi
spremenljivkami. Logika pa je razširjena s tretjo resničnostno vrednostjo —
nedefinirano. Pravilo okvirja se bistveno poenostavi z odstranitvijo večine
stranskih pogojev. Dokazana je pravilnost poenostavljene različice pravila
okvirja. Prav tako je prikazana uporaba logike na primerih kriptografskih
protokolov.</dc:description><dc:date>2025</dc:date><dc:date>2025-07-03 16:19:27</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>170333</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>