Pojdi na vsebino

Z notacija

Iz Wikipedije, proste enciklopedije

Z notacija se uporablja za opis in modeliranje računalniških sistemov. Namenjena je jasnim specifikacijam računalniških programov ter sistemov osnovanih na računalnikih.

Notacija ima osnovo v Zermelo-Fraenkelovi teoriji množic (ime ima po Nemcu Ernestu Zermelu (1871 – 1953) in Izraelcu Abrahamu Fraenkelu (1891- 1965)).

Orodja

[uredi | uredi kodo]

Zunanje povezave

[uredi | uredi kodo]