Z notacija

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

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]