Panduan
Daftar ini diorganisir menurut jenis simbol dan dimaksudkan untuk mempermudah pencarian
simbol-simbol yang kurang dikenal dari penampakannya.
Simbol yang mengarah ke kiri atau ke kanan: Simbol-simbol, seperti < dan >,
yang mengarah kepada satu sisi atau sebaliknya.
Simbol bukan huruf yang lain: Simbol-simbol yang tidak termasuk kategorikategori sebelummya.
Simbol
Nama
Dibaca sebagai
Penjelasan
Kategori
Perjumlahan
4 + 6 berarti jumlah antara 4 dan
tambah
6.
aritmetika
union disjoin
gabungan disjoin dari A + A berarti disjoint union
1
2
... dan ...
himpunan A dan A .
1
teori himpunan
Perkurangan
kurang
9 4 berarti 9 dikurangi 4.
aritmetika
tanda negatif
negatif
3 berarti negatif dari angka 3.
aritmetika
set-theoretic
A B berarti himpunan yang
complement
mempunyai semua anggota dari
minus; tanpa
A yang tidak terdapat pada B.
teori himpunan
perkalian
kali
3 4 berarti perkalian 3 oleh 4.
aritmatika
Produk Cartesian
XY berarti himpunan dari semua
Produk Cartesian
pasangan tertata dengan elemen
dari dan ;
pertama dari setiap pasangan
produk langsung dari
dipilih dari X dan elemen kedua
dan
dipilih dari Y.
teori himpunan
perkalian silang
dikalikan silang u v artinya produk silang dari
dengan
vektor-vektor u dan v
aljabar vektor
pembagian
dibagi dengan
Contoh
2+7=9
A1={1,2,3,4} A2={2,4,5,7}
(5) = 5
7 8 = 56
(1,2,5) (3,4,1) =
(22, 16, 2)
2 4 = .5
aritmetika
12/4 = 3
akar kuadrat
x berarti bilangan positif yang
akar kuadrat
4 = 2
kuadratnya x.
bilangan real
akar kuadrat
jika z = r exp(i) ditulis dalam
(-1) = i
kompleks
koordinat polar dengan - <
, maka z = r exp(i/2).
akar kuadrat
kompleks
Bilangan kompleks
:=
Nama
Dibaca sebagai
Penjelasan
Kategori
Kesamaan
x = y berarti x and y mewakili hal
sama dengan
atau nilai yang sama.
umum
Ketidaksamaan
x y berarti x dan y tidak mewakili
tidak sama dengan
hal atau nilai yang sama.
umum
distribusi
probabilitas
X ~ D, artinya variabel random X
mempunyai
mempunyai distribusi probabilitas
distribusi; tidak
D.
terhingga
statistika
isomorphism
adalah isomorfik ke G H berarti grup G adalah
isomorfik ke grup H
teori grup
1+1=2
12
X ~ N(0,1), distribusi
normal standar
Q / {1, 1} V,
di mana Q adalah quaternion
group dan V adalah Klein
four-group.
definisi
didefinisikan
sebagai
x := y or x y berarti x didefinisikan
cosh x := (1/2)(exp x +
sebagai nama lain dari y (perlu
dicatat bahwa dapat juga berarti exp (x))
lain, misalnya congruence).
A XOR B :
di mana-mana P : Q berarti P didefinisikan
(A B) (A B)
secara logis ekuivalen terhadap Q.
Contoh
equivalensi material
jika dan hanya jika;
A B berarti A benar jika B benar
iff
x + 5 = y +2 x + 3 = y
dan A salah jika B salah.
propositional logic
<
Nama
Dibaca sebagai
Penjelasan
Kategori
Ketidaksamaan
x < y berarti x lebih kecil 3 < 4
5>4
lebih kecil dari; lebih dari y.
Contoh
besar dari
teori order
x > y berarti x lebih besar
f:XY
Ketidaksamaan
x y berarti x lebih kecil
lebih kecil dari atau sama dari atau sama dengan y.
3 4 and 5 5
dengan, lebih besar dari
5 4 and 5 5
atau sama dengan
x y berarti x lebih besar
teori order dari atau sama dengan y.
panah fungsi
f: X Y berarti fungsi f
Biarlah f: Z N
dari ... ke
memetakan himpunan X
didefinisikan oleh f(x) = x2.
teori himpunan ke dalam himpunan Y.
implikasi material
A B artinya jika A
mengimplikasikan; jika .. benar maka B juga benar;
jika A salah, maka tidak
maka
ada yang dapat dikatakan
mengenai B.
x = 2 x2 = 4 adalah
dapat berarti sama
benar, tetapi x2 = 4 x =
dengan , atau dapat
2 secara umum adalah
berarti untuk fungsi yang salah (karena x dapat saja
propositional logic diberikan di bawah.
bernilai 2).
negasi logika
"bukan"
A slash ditempatkan
propositional logic melalui operator lain
sama dengan ""
ditempatkan di depan.
logical conjunction atau
Pernyataan A B benar
meet dalam lattice
jika A dan B keduanya
"dan"
benar; jika bukan itu
propositional logic, lattice salah.
theory
logical disjunction atau Pernyataan A B benar
join dalam suatu lattice jika A atau B (atau
keduanya) benar; jika
propositional logic, lattice keduanya salah,
theory pernyataan itu salah.
Tanda kurung
(A) A
x y (x = y)
n < 4 n >2 n = 3 di
mana n adalah bilangan
asli.
n4 n2 n3
bilamana n adalah
bilangan asli.
Simbol
||
|| ||
()
{,
}
{:
}
{|}
Nama
Dibaca sebagai
Penjelasan
Contoh
Kategori
nilai mutlak
|x| berarti jarak dari garis real (atau plan |3| = 3, |-5| = |5|
nilai mutlak dari
kompleks) antara x dan nol.
|i| = 1, |3+4i| = 5
bilangan
norm
norm dari; panjang ||x|| adalah norm dari elemen x dari suatu
||x+y|| ||x|| + ||y||
dari
ruang vektor normed.
aljabar linear
penerapan fungsi
Jika f(x) := x2, maka
dari
f(x) berarti nilai fungsi f pada elemen x.
f(3) = 32 = 9.
teori himpunan
precedence grouping
operasi di dalam kurung harus dilakukan (8/4)/2 = 2/2 = 1, but
terlebih dahulu.
8/(4/2) = 8/2 = 4.
umum
set brackets
himpunan dari ... {a,b,c} berarti suatu himpunan yang
N = {0,1,2,...}
terdiri dari a, b, dan c.
teori himpunan
notasi penyusun
himpunan
himpunan dari ...
sedemikian
sehingga ...
teori himpunan
propositional logic,
aljabar Boolean sama artinya.
himpunan kosong
himpunan kosong
teori himpunan
{}
set membership
adalah element dari; a S berati a adalah suatu elemen
bukan elemen dari himpunan S; a S berarti a bukan
di mana-mana, teori elemen himpunan S.
himpunan
subset
adalah subset dari A B berarti setiap elemen A juga
merupakan elemen B.
(1/2)1 N
21 N
A B A; Q R
A B B; R Q
AB AB=B
{x R : x2 = 1} N =
{1}
{1,2,3,4} \ {3,4,5,6} =
{1,2}
Contoh
n N: n2 n.
n N: n
adalah genap.
! n N: n +
5 = 2n.
bilangan
bilangan bulat
Z
Z berarti {...,3,2,1,0,1,2,3,...}.
bilangan
{a : |a| N} =
Z
bilangan rasional
Q
Q berarti {p/q : p,q Z, q 0}.
bilangan
3.14 Q
Q
bilangan real
R berarti {limn an : n N: an Q,
mempunyai limit}.
R
bilangan
R
(1) R
R
C
bilangan
kompleks
C
C berarti {a + bi : a,b R}.
i = (1) C
bilangan
'
|=
|
/
kalkulus
integral tertentu
b f(x) dx berarti area bertanda di
integral dari ... ke ... a
antara sumbu-x dan grafik dari fungsi 0b x2 dx = b3/3;
dari ... terhadap
f antara x = a dan x = b.
kalkulus
gradien
Jika f (x,y,z) = 3xy + z
del, nabla, gradien f (x1, , xn) adalah vektor dari
dari
turunan parsial (df / dx1, , df / dxn). maka f = (3y, 3x, 2z)
kalkulus
turunan parsial
Dengan f (x1, , xn), f/xi adalah
Jika f(x,y) = x2y, maka
turunan parsial dari turunan dari f terhadap xi, dengan
f/x = 2xy
kalkulus semua variabel lain tetap konstan.
boundary
{x : ||x|| 2} =
boundary dari
M berarti boundary dari M
{x : || x || = 2}
topologi
tegak lurus
x y berarti x tegak lurus dengan y;
Jika lm dan mn
tegak lurus dengan atau lebih umum x ortogonal terhadap
maka l || n.
geometri y.
elemen terkecil
x = berarti x adalah elemen
x : x =
elemen paling bawah
terkecil.
teori lattice
entailment
A B berarti kalimat A entails
entail
kalimat B, sehingga setiap model di A A A
teori model mana A benar, B juga benar.
inference
infer atau diturunkan
x y berarti y diturunkan dari x.
A B B A
dari
propositional logic,
predicate logic
normal subgroup
adalah subgrup
N G berati bahwa N adalah
Z(G) G
normal dari
subgrup normal dari grup G.
teori grup
quotient group
G/H berarti quotient grup G modulo {0, a, 2a, b, b+a, b+2a} /
subgrupnya H.
{0, b} = Templat: