Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Verjetnostna separacijska logika
Janez Ignacij Jereb, Alex Simpson
Diplomsko delo
Oznake: separacijska logika;denotacijska semantika;trovrednostna logika;tipni sistem;verjetnostno programiranje;dokazovanje pravilnosti;računalništvo;matematika;interdisciplinarni študij;univerzitetni študij;diplomske naloge;
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. Zan ...
Leto: 2025 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: