fsymbols
Simgeler yükleniyor…
››
⨠

Z notasyonu şema borulaması

Z notasyonu şema borulaması

33/256

⨠, yazılımı kesin biçimde tanımlamak için kullanılan matematiksel bir dil olan Z notasyonunun şema borulama (piping) işlecidir. S ⨠ T iki işlemi birleştirir: S’nin çıktıları T’nin eşleşen girdilerine doğrudan akar, tıpkı komut satırındaki boru (pipe) gibi. Düz metinde >> diye yazılır. “Çok büyüktür” anlamındaki işareti değildir.

Metin simgesi

⨠ ne anlama gelir

Bir işlemin çıktılarını bir sonrakinin girdilerine bağlar.

Z’de bir işlem şema ile tanımlanır: değişkenlerini ve uymaları gereken kuralları sıralayan, adı olan bir kutu. Girdiler soru işaretiyle (tutar?), çıktılar ünlemle (tutar!) biter. S ⨠ T’de S’nin her çıktısı T’deki aynı adlı girdiyle eşleştirilir, ikisi tek bir değer olur ve bu değer sonuçta gizlenir. Geriye tek bir birleşik işlem kalır; terminaldeki borunun bir programın çıktısını ötekine aktarması gibi.

Z (İngilizcede “zed” okunur) 1970’lerin sonunda Jean-Raymond Abrial tarafından önerildi ve Oxford Üniversitesi’nde geliştirildi. Küme kuramına dayanır ve hatanın pahalıya mal olduğu yazılımların belirtiminde kullanılır. Borulama, şemaları birleştirme kuralları olan şema hesabının işleçlerinden biridir.

Tamamen teknik: biçimsel belirtimlerde, bilgisayar bilimi derslerinde ve ders kitaplarında görülür, günlük mesajlarda asla.

(çok büyüktür) ya da » tırnak işareti değildir.

Bu koleksiyonların parçası

Şununla karıştırmayın

2

Bilinmesi gerekenler

  • Z adı, dilin matematiksel temeli olan Zermelo–Fraenkel küme kuramından gelir. Z, 2002’de uluslararası standart ISO/IEC 13568 oldu.

Sık sorulan sorular

2

⨠ programlamadaki >> ile aynı mı?

Hayır. C benzeri dillerde >> bit kaydırır. Z bu iki karakteri yalnızca ⨠’yi düz metinde yazmak için ödünç alır.

⨠ neden kutu olarak görünüyor?

Yazı tipinizde yok. Cambria Math veya STIX gibi matematik yazı tiplerinde bulunur.

⨠ nasıl yazılır veya bulunur

Diğer adı
şema borusu · Z pipe · borulama işleci
Şu şekilde arayın
şema borulaması · Z notasyonu pipe · Z şema pipe · >> Z notasyonu · pipe simgesi matematik · U+2A20
Şurada görünür
Metin alanları · görünümü kullanılan yazı tipine bağlıdır
Windows (Word)
⎇Alt+X2A20 yazın, ardından ⨠ için AltX tuşlarına basın.
Windows
⊞Win+RTam tablo için charmap çalıştırın veya emoji seçicinin Ω sekmesini kullanın (Win .).
macOS
⌃Control+⌘Command+␣SpaceKarakter görüntüleyiciyi açın ve “z notation schema piping” arayın.
Linux
⎈Ctrl+⇧Shift+U2a20 yazın, ardından Enter veya Boşluk tuşuna basın.
HTML
⨠
CSS
\2A20
Düz metin Z
İki büyüktür işareti yazın: S >> T.
Linux
CtrlShiftU, ardından 2a20, sonra Enter veya Boşluk.
HTML
⨠
Kodlar ve kodlamaKod noktaları: 1
HTML ondalık
⨠
HTML onaltılık
⨠
CSS içeriği
content: "\2A20";
Her kaçış sonraki ters eğik çizgide biter; düz bir onaltılık rakamdan önce boşluk gerekir.
URL kodlaması
%E2%A8%A0
1
Ekranda
1
Kod noktaları
1
JS .length
3
UTF-8 baytları

Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.

Bu sembolün grupları

1

Matematik ve sayılar1.835 sembol