dcrystalj

(*TESTI*)
val display_test_1 = display(AND(NEG(VAR("p")),OR(VAR("q"),VAR("r"))));
val display_resu_1 = "~ p & (q | r)";
val display_test_2 = display(AND(VAR("p"), AND(VAR("q"),VAR("r"))));
val display_resu_2 = "p & q & r";
val display_test_3 = display(AND(VAR("p"), NEG((AND(VAR("q"),VAR("r"))))));
val display_resu_3 = "p & ~ (q & r)";
val display_test_4 = display(NEG(((OR(VAR("q"),VAR("r")))))); 
val display_resu_4 = "~ (q | r)";
val nnf_test_1 = nnf(NEG(AND(OR(NEG(VAR("p")),VAR("q")),VAR("r"))));

dcrystalj

(* kaj tole nardi ubistvu ? *)
datatype ('a, 'b) seznam =
	     Elementa of ('a * ('a, 'b) seznam)
       | Elementb of ('b * ('a, 'b) seznam)
       | konec

(* zakaj ni polimorfna *)
fun vsota_el sez =
  case sez of
    [h] => h

dcrystalj

fun vsota_el sez =
  case sez of
    [h] => h
    | glava::rep => glava + vsota_el rep

dcrystalj

fun zdruzi (sez1, sez2) =
    case sez1 of
	[] => sez2
      | glava::rep => glava::zdruzi(rep, sez2)

dcrystalj

\documentclass[11pt]{article}
\usepackage{fullpage}
\usepackage[utf8x]{inputenc}   % omogoča uporabo slovenskih črk kodiranih v formatu UTF-8 
\usepackage[slovene,english]{babel}    % naloži, med drugim, slovenske delilne vzorce
\usepackage[pdftex]{graphicx}  % omogoča vlaganje slik različnih formatov 
\usepackage{fancyhdr}          % poskrbi, na primer, za glave strani
\usepackage{amssymb}           % dodatni simboli
\usepackage{amsmath}           % eqref, npr.
\usepackage{listings} %code
\usepackage{color} %code color

dcrystalj

from snap import *
import collections

FILENAME = 'FSlearn.csv'

def getNeighbors(G, i):
    neighborsV = TIntV()
    GetNodesAtHop(G, i, 1, neighborsV, False)
    return [i for i in neighborsV]

dcrystalj

We couldn’t find that file to show.

dcrystalj

from snap import *
import csv
import collections
#helpers
def getNeighbours(G, i):     
    neighborsV = TIntV()
    GetNodesAtHop(G, i, 1, neighborsV, False)
    return [i for i in neighborsV]

def getNeighboursOfNeigbours(G, i):     

dcrystalj

de facto de iure standard
neizračunljive / neobvladljive / rešljivi problemi...
Hierarhija certifikatov 
RSA potek komunikacije - nevarnost man in the middle
simetrično asimetrično kriptiranje
tam kjer dela prof. firma ENISA ???
odpiranje certifikata, izpis z uporabo cmd: openssl
IETF - sprejemnaje certifikatov
izdaja certifikata SigenCA ->  upravna enota -> CA -> zavarovana soba iz katero EMagnetno valovanje ne uide -> pošljejo mail in pošto -> se prijaviš gor da vejo kdo si ti -> browser začne generirat ključe privatne in javne -> generiramo zaščiten kanal od nas do CA tako da z javnim ključem (od CA) zakriptiramo  -> server dobi pol vpišemo mi tiste 2 gesli da ve kdo smo mi -> s post get ga dobimo in si shranimo na disk

dcrystalj

Provider registration
Ob napaki email ze obstaja predlagam da uporabniki to javite in mu odprete login screen z vnesenim email naslovom. V primeru da ob registraciji vnesem prekratko geslo je bolje povedati uporabniku da ima sibko geslo kot ga prisiliti davnese od 4 do 20 mest za geslo.


User registration
Enako ter se 
Tu je geslo do 30. 
Realno je da uporabnik pozabi da je registriran in se skusa registrirati ponovno. Izbira casovne cone je nejasna. Je samo utc ter razlika.
Jezik se lahko privzeto za uporabnike iz slo nastavi na slovensko.