Indeks Indeks
ada Definisi
akar (pada pohon) Paragraf
berulang Ringkasan
algoritma Euklides Paragraf
algoritma Kruskal Paragraf
algoritma Prim Paragraf
anak (pada pohon berakar) Paragraf
anteseden. Lihat premis
antisimetris Paragraf
aritmetika modular Ringkasan
atau (penghubung logis) Butir
inklusif dibandingkan dengan eksklusif Paragraf
syarat kebenaran untuk Butir
atau eksklusif Paragraf
atau inklusif Paragraf
aturan deduksi Paragraf
aturan empat Paragraf
bangun ruang Platonik. Lihat polihedron beraturan
definisi induktif untuk Definisi
notasi untuk Paragraf
sebagai fungsi Paragraf
barisan aritmetika Ringkasan
penjumlahan Subbagian
identitas Latihan
relasi rekurensi Paragraf
selisih Butir
barisan geometri Ringkasan
penjumlahan Subbagian
barisan hingga Paragraf
untuk barisan Fibonacci Butir
untuk bilangan segitiga Paragraf
barisan, hingga Paragraf
batang dan batu Subbab
dibandingkan dengan kombinasi Butir
beda tetap Ringkasan
bertetangga
sisi Butir
pencacahan Contoh
bikondisional Butir
bilangan asli, himpunan Butir
bilangan kompleks (sebagai akar karakteristik) Paragraf
bilangan kuadrat Ringkasan
bilangan rasional, himpunan Butir
bilangan real, himpunan Butir
bilangan soliter Latihan
bintang dan batang. Lihat batang dan batu
bit Paragraf
bobot (string bit) Butir
bola dan kotak. Lihat batang dan batu
bukti Definisi
cakupan (kuantor) Contoh
cakupan kuantor Contoh
citra Subbagian
dari suatu himpunan Paragraf
dari suatu himpunan bagian Butir
dari suatu himpunan bagian Butir
perbandingan dengan fungsi invers Paragraf
dan (penghubung logis) Butir
syarat kebenaran untuk Butir
definisi rekursif Definisi
untuk barisan aritmetika Ringkasan
untuk barisan geometri Ringkasan
untuk suatu barisan Paragraf
untuk suatu fungsi Paragraf
barisan derajat Paragraf
maksimum Paragraf
rumus jumlah Lema
derajat maksimum Paragraf
barisan derajat Paragraf
desain Paragraf
irisan Paragraf
selisih himpunan Paragraf
untuk menghitung Subbagian
digit biner. Lihat bit
disjungsi Butir
implikasi ekuivalen Ringkasan
dengan batas atas Paragraf
distribusi peluang seragam Paragraf
dodekahedron Subbagian
faktor persekutuan terbesar Paragraf
faktorial Paragraf
cara mendeskripsikan Subbagian
menaik
pencacahan Latihan
notasi Butir
takmenurun
pencacahan Latihan
fungsi pada. Lihat surjeksi
fungsi pembangkit Subbab
pengambilan selisih Subbagian
perkalian dan jumlah parsial Subbagian
relasi rekurensi Subbagian
fungsi satu-satu. Lihat injeksi
fungsi terdiferensialkan
aturan hasil kali umum Latihan
aturan penjumlahan umum Latihan
fungsi yang didefinisikan secara rekursif Ringkasan
gabungan Paragraf
kardinalitas Prinsip
gcd. Lihat faktor persekutuan terbesar
geometri hingga Paragraf
Goldbach Paragraf
barisan derajat Paragraf
daun Butir
derajat maksimum Paragraf
gambar Paragraf
hutan Butir
indeks kromatik Paragraf
isomorfik (definisi intuitif) Paragraf
isomorfik (definisi tepat) Definisi
jejak Butir
jejak Euler Butir
kelas isomorfisme Paragraf
kesamaan Contoh
klik Paragraf
kordal Paragraf
panjang siklus terpendek Paragraf
perjalanan Butir
Petersen Latihan
pewarnaan simpul versus sisi Latihan
planar Butir
pohon Butir
sama vs. isomorfik Contoh
sederhana Paragraf
sirkuit Euler Butir
subgraf terinduksi Butir
graf kordal Paragraf
graf nonplanar Subbagian
graf Petersen Latihan
\(K_{3,3}\) Teorema
\(K_5\) Teorema
graf Petersen Latihan
bilangan kromatik Teorema
graf nonplanar Subbagian
graf Petersen Latihan
\(K_{3,3}\) Teorema
\(K_5\) Teorema
graf sederhana Paragraf
grafik (suatu fungsi) Paragraf
Hanoi Selidiki!
hasil (peluang) Paragraf
hasil (pencacahan) Paragraf
bilangan asli Butir
bilangan rasional Butir
bilangan real Butir
diagram Venn Subbagian
gabungan Butir
hasil kali (lihat hasil kali Kartesius)
hubungan antarhimpunan Subbagian
irisan Butir
kardinalitas Butir
komplemen Butir
notasi untuk Subbagian
operasi Subbagian
semua himpunan bagian (lihat himpunan kuasa)
himpunan bagian Paragraf
himpunan semesta Paragraf
himpunan transitif Latihan
homogen
relasi rekurensi Paragraf
hukum De Morgan Teorema
hukum logika Contoh
identitas binomial Paragraf
contoh Paragraf
ikosahedron Subbagian
disjungsi ekuivalen Ringkasan
indeks kromatik Paragraf
induk (pada pohon berakar) Paragraf
ganda Latihan
kasus dasar Butir
untuk induksi kuat Butir
kuat Ringkasan
langkah induksi Butir
untuk induksi kuat Butir
penggunaan yang keliru Paragraf
perbandingan induksi biasa dan induksi kuat Paragraf
struktur pembuktian Ringkasan
induksi ganda. Lihat induksi, ganda
induksi kuat Subbab
induksi matematika. Lihat induksi; induksi
inklusi–eksklusi. Lihat prinsip inklusi–eksklusi
invers Definisi
irisan Paragraf
irrefleksif Paragraf
isomorfik
definisi intuitif Paragraf
definisi tepat Definisi
isomorfisme graf Definisi
jabat tangan Latihan
kaitan dengan graf Latihan
jalan Paragraf
Euler (lihat jejak Euler)
jejak Butir
jhj. Lihat jika dan hanya jika
jika dan hanya jika (penghubung logis) Butir
syarat kebenaran untuk Butir
jika…, maka… (penghubung logis) Butir
syarat kebenaran untuk Butir
jumlah parsial. Lihat barisan jumlah parsial
kalimat (dibandingkan dengan pernyataan) Paragraf
suatu himpunan Butir
kartu Selidiki!
kebebasan Definisi
kejadian (peluang) Paragraf
kejadian (pencacahan) Paragraf
kejadian saling lepas Paragraf
kelas isomorfisme Paragraf
kelas residu. Lihat kelas sisa
kelas sisa Subbagian
kelinci cokelat ajaib Latihan
kesamaan graf Contoh
keterbagian Ringkasan
keturunan (pada pohon berakar) Paragraf
kisi bilangan bulat Paragraf
kisi, bilangan bulat. Lihat kisi bilangan bulat
klik Paragraf
\(K_n\) Paragraf
rumus tertutup Teorema
kombinasi Subbab
rumus tertutup Teorema
komplemen (suatu kejadian) Paragraf
komplemen, peluang Teorema
komposisi fungsi Latihan
konektif utama Contoh
kongruensi Ringkasan
aritmetika Ringkasan
kesamaan Ringkasan
keterbagian Ringkasan
pembagian Ringkasan
penyelesaian Subbagian
relasi ekuivalensi Ringkasan
tanpa solusi Ringkasan
konjektur Goldbach Paragraf
konjungsi Butir
konsekuen. Lihat kesimpulan
kontradiksi Subbagian
kontraposisi Definisi
pembuktian melalui Subbagian
konvers Definisi
korolari Paragraf
kuantor Definisi
cakupan Contoh
implisit Paragraf
interaksi dengan negasi Ringkasan
kuantor eksistensial Definisi
kuantor implisit Paragraf
kuantor universal Definisi
kubus Selidiki!
kue Contoh
kukuh Definisi
leluhur (pada pohon berakar) Paragraf
lema jabat tangan Lema
augmentasi Latihan
berselang-seling Latihan
Euler (lihat jejak Euler)
jenis graf Paragraf
lintasan augmentasi Latihan
lintasan benteng Selidiki!
lintasan berselang-seling Latihan
pada graf bipartit Latihan
lintasan kisi Paragraf
panjang Paragraf
masalah Monty Hall Paragraf
masalah penitipan topi Contoh
masalah perkawinan. Lihat pencocokan
mengimplikasikan (penghubung logis) Butir
syarat kebenaran untuk Butir
menumpuk peluru meriam Latihan
mod Paragraf
modulo \(n\) Ringkasan
modus ponens Paragraf
monokromatik Paragraf
multihimpunan Paragraf
hubungan dengan multigraf Paragraf
pencacahan Latihan
multihimpunan (pencacahan) Subbab
Natal Latihan
negasi Butir
interaksi dengan kuantor Ringkasan
negasi ganda Ringkasan
notasi pembentuk himpunan Paragraf
NP-lengkap Paragraf
panjang siklus terpendek Paragraf
papan catur
lintasan benteng Selidiki!
menghitung persegi pada Paragraf
pengubinan Latihan
paradoks ulang tahun Lembar Kerja
partisi Paragraf
peluang Definisi
pembagian dengan sisa. Lihat algoritma pembagian
pembuktian
dengan induksi kuat Subbab
dengan kontradiksi Subbagian
melalui kontraposisi Subbagian
pembuktian langsung Subbagian
pencacahan Bab
fungsi Contoh
pembagi Latihan
sisi dalam graf Lema
pencarian
melebar Paragraf
mendalam Paragraf
pencarian melebar Paragraf
pencarian mendalam Paragraf
parsial Latihan
pencocokan parsial Latihan
pencocokan sempurna. Lihat pencocokan
penelusuran elemen Paragraf
penghubung biner Paragraf
penghubung uner Paragraf
penjahat minimal Paragraf
penutup (simpul) Latihan
penutup simpul Latihan
percobaan acak Paragraf
perjalanan Butir
dari \(k\) elemen yang dipilih dari \(n\) (lihat permutasi-\(k\) dari \(n\) elemen)
dari \(n\) elemen Teorema
untuk mencacah fungsi Contoh
untuk mencacah kata Contoh
permutasi tanpa titik tetap Paragraf
proporsi di antara semua permutasi Latihan
pernyataan atomik Paragraf
pernyataan molekuler Paragraf
solusi Ringkasan
persamaan Diofantin linear. Lihat persamaan Diofantin
pewarnaan
simpul Paragraf
simpul versus sisi Latihan
sisi Subbagian
pewarnaan simpul yang tepat Butir
PIE. Lihat prinsip inklusi–eksklusi
banyak sisi dan simpul Proposisi
minimum Paragraf
pohon merentang minimum Paragraf
beraturan Selidiki!
polihedron beraturan Selidiki!
polihedron konveks Paragraf
polinomial karakteristik Ringkasan
predikat Paragraf
biner Latihan
predikat biner Latihan
prinsip aditif. Lihat prinsip penjumlahan
untuk 2 himpunan Teorema
untuk 3 himpunan Teorema
untuk 4 himpunan atau lebih Paragraf
prinsip lintasan pacu Paragraf
prinsip multiplikatif. Lihat prinsip perkalian
menggunakan himpunan Prinsip
prinsip penjumlahan (peluang) Teorema
prinsip sarang merpati Contoh
rasio emas Paragraf
rasio tetap Ringkasan
refleksif Paragraf
relasi Subbagian
relasi biner Paragraf
relasi rekurensi Definisi
fungsi pembangkit Subbagian
menentukan untuk barisan Contoh
untuk banyaknya string bit Paragraf
untuk suatu fungsi Ringkasan
representasi biner Latihan
representasi planar Paragraf
ruang sampel Paragraf
rujukan diri. Lihat rujukan, diri; rujukan, diri
rujukan, diri. Lihat rujukan diri; rujukan diri
rumus Euler untuk graf planar Ringkasan
rumus tertutup Definisi
untuk barisan aritmetika Ringkasan
untuk barisan geometri Ringkasan
sahih secara logis. Lihat hukum logika
saling lepas Paragraf
saudara (pada pohon berakar) Paragraf
Segitiga Pascal
pola dalam Subbagian
jumlah pada baris Latihan
selisih hingga Teorema
selisih suatu barisan Paragraf
sembarang Paragraf
semesta pembicaraan Paragraf
jenis graf Paragraf
pada graf bipartit Latihan
simetris Paragraf
Euler Subbab
solusi bilangan bulat untuk persamaan (pencacahan) Contoh
string
biner (lihat string bit)
pembuktian kombinatorial yang melibatkan Latihan
struktur Paragraf
struktur diskret. Lihat struktur
subhimpunan Subbagian
pencacahan Subbagian
suku (dari suatu barisan) Paragraf
syarat awal Definisi
untuk suatu fungsi Ringkasan
syarat cukup Definisi
syarat kebenaran Definisi
untuk atau Butir
untuk dan Butir
untuk jika dan hanya jika Butir
untuk jika…, maka… Butir
untuk tidak Butir
syarat perlu Definisi
teka-teki Latihan
batang cokelat Latihan Lembar Kerja
jejak domino Latihan
kardinalitas Latihan
Menara Hanoi Selidiki!
pembagian persegi Latihan
tujuh jembatan Selidiki!
ulang tahun Lembar Kerja
teorema binomial Teorema
teorema Brooks Teorema
teorema empat warna Teorema
teorema enam warna Latihan
teorema perkawinan Hall Teorema
teorema Pythagoras Paragraf
teorema tongkat hoki Latihan
teorema Vizing Teorema
teori bilangan Subbab
teori Ramsey Paragraf
tetrahedron Subbagian
tidak (penghubung logis) Butir
syarat kebenaran untuk Butir
transitif Paragraf
tupel. Lihat barisan, hingga
tur, Euler. Lihat sirkuit Euler
The Twelve Days of Christmas Latihan
ukuran suatu himpunan. Lihat kardinalitas
untuk semua Definisi
variabel bebas Paragraf
variabel Boolean. Lihat variabel proposisional
variabel kalimat. Lihat variabel proposisional
variabel, proposisional Paragraf
wilayah (graf). Lihat muka (graf planar)
wilayah planar. Lihat muka (graf planar)
zombi Latihan