11 santykiai: Aibių teorija, ASCII, Duomenų apdorojimo sistema, Formalūs metodai, Oksfordo universitetas, Predikatų logika, Procesų algebra, Programų inžinerija, Programinė įranga, Tarptautinė standartizacijos organizacija, TeX.
Aibių teorija
Aibių teorija – matematinės logikos šaka, kuri nagrinėja aibes – objektų rinkinius.
Nauja!!: Z notacija ir Aibių teorija · Žiūrėti daugiau »
ASCII
ASCII yra 95 spausdinami simboliai, kurie sunumeruoti nuo 32 iki 126. ASCII (American Standard Code for Information Interchange, „Amerikietiškas informacijos mainų koduotės standartas“) – simbolių koduotė, pritaikyta anglų kalbos abėcėlei.
Nauja!!: Z notacija ir ASCII · Žiūrėti daugiau »
Duomenų apdorojimo sistema
Duomenų apdorojimo sistema – sistema, sudaryta iš vieno arba kelių kompiuterių, išorinių įrenginių bei programinės įrangos.
Nauja!!: Z notacija ir Duomenų apdorojimo sistema · Žiūrėti daugiau »
Formalūs metodai
Formalūs metodai – logika bei matematika besiremiantys metodai informatikoje ir programų inžinerijoje skirti programinės ir aparatūrinės įrangos specifikavimui, modeliavimui, kūrimui ir verifikavimui.
Nauja!!: Z notacija ir Formalūs metodai · Žiūrėti daugiau »
Oksfordo universitetas
Oksfordo universitetas – senas tradicijas turintis universitetas, esantis Oksforde, Didžiojoje Britanijoje.
Nauja!!: Z notacija ir Oksfordo universitetas · Žiūrėti daugiau »
Predikatų logika
Predikatų logika – matematinės logikos rūšis, kuri tyrinėja požymio priskyrimo objektui loginę raišką.
Nauja!!: Z notacija ir Predikatų logika · Žiūrėti daugiau »
Procesų algebra
Informatikoje procesų algebra (arba procesų aritmetika) – plati metodų, skirtų modeliuoti vienalaikėms sistemoms, šeima.
Nauja!!: Z notacija ir Procesų algebra · Žiūrėti daugiau »
Programų inžinerija
Programų inžinerija – mokslas, tiriantis programų sistemų kūrimąpritaikant informatikos, projektų valdymo ir kitų mokslo sričių žinias.
Nauja!!: Z notacija ir Programų inžinerija · Žiūrėti daugiau »
Programinė įranga
LibreOffice Writer Programinė įranga – informacijos apdorojimo sistemos programų, procedūrų, taisyklių visuma arba tos visumos dalis kartu su atitinkama dokumentacija.
Nauja!!: Z notacija ir Programinė įranga · Žiūrėti daugiau »
Tarptautinė standartizacijos organizacija
Tarptautinė standartizacijos organizacija (ISO arba iso) įkurta 1947 metų vasario 23 dieną.
Nauja!!: Z notacija ir Tarptautinė standartizacijos organizacija · Žiūrėti daugiau »
TeX
TEX, rašomas kaip TeX – teksto formatavimo kalba bei įrankiai, sukurti Donaldo Knuto.
Nauja!!: Z notacija ir TeX · Žiūrėti daugiau »