Teori himpunan
Pranala luar

Daniel Cunningham, Set Theory article in the Ensiklopedia Filsafat Internet.
Jose Ferreiros, The Early Development of Set Theory artikel di [Stanford Encyclopedia of Philosophy].
Foreman, Matthew, Akihiro Kanamori, eds. Handbook of Set Theory. 3 vols., 2010. Setiap bab mensurvei beberapa aspek penelitian kontemporer dalam teori himpunan. Tidak mencakup teori himpunan dasar yang mapan, di mana lihat Devlin (1993).
Hazewinkel, Michiel, ed. (2001) [1994], "Teori himpunan aksiomatik", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Hazewinkel, Michiel, ed. (2001) [1994], "Teori himpunan", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Schoenflies, Arthur (1898). Mengenlehre di ensiklopedia Klein.
Bahan Buku daring, dan perpustakaan di perpustakaan Anda dan perpustakaan lain tentang set theory
Rudin, Walter B. (April 6, 1990). "Teori Himpunan: Keturunan Analisis". Marden Lecture in Mathematics. University of Wisconsin-Milwaukee – via YouTube.
| l b Teori himpunan |
| --- | --- | --- |
| Umum |  Himpunan (matematika)  |  |
| Aksioma |  Adjungsi  Batas ukuran  Determinasi  Gabungan  Himpunan kuasa  Keberaturan  Kebisadibangunan (V=L)  Perluasan  Pasangan  Pemilihan tercacah  terikat  global  Takhingga  Aksioma Martin Skema aksioma penggantian  spesifikasi  |  |
| Operasi |  Gabungan  Gabungan lepas  Himpunan kuasa  Hukum De Morgan  Irisan  Komplemen  Produk Kartesius  Selisih himpunan  Beda setangkup  |  |
| Konsep Metode |  Argumen diagonal  Bilangan kardinal (besar)  Bilangan ordinal  Diagram Venn  Elemen pasangan terurut  rangkap  Hipotesis kontinum  Induksi lintas-hingga  Kardinalitas  Kelas  Keluarga  Korespondensi satu-ke-satu  Pemaksaan  Semesta yang bisa dibangun  |  |
| Jenis himpunan |  Himpunan bagian · Superhimpunan  Berhingga (turun-temurun)  Takhingga (takhingga Dedekind)  Kabur  Kosong  Rekursif  Semesta  Tercacah  Tak tercacah  Transitif  |  |
| Teori |  Aksiomatik  Alternatif  Naif  Teorema Cantor Zermelo Umum  Principia Mathematica New Foundations (NF, NFU)  Zermelo–Fraenkel (ZFC) von Neumann–Bernays–Gödel (NBG) Morse–Kelley  Kripke–Platek  Tarski–Grothendieck  |  |
| Paradoks Masalah |  Paradoks Russell  Masalah Suslin  Paradoks Burali-Forti  |  |
| Teoretisi himpunan |  Abraham Fraenkel  Bertrand Russell  Ernst Zermelo  Georg Cantor  John von Neumann  Kurt Gödel  Paul Bernays  Paul Cohen  Richard Dedekind  Thomas Jech  Thoralf Skolem  Willard Quine  |  |
| l b Matematika (Bidang matematika) |
| --- | --- |
Fondasi:  Filsafat matematika  Logika matematika  Teori himpunan  Teori informasi  Teori kategori  Teori tipe 
Aljabar:  Abstrak  Elementer  Homologis  Komutatif  Linear  Multilinear  Universal  Teori grup  Teori representasi 
Analisis:  Kalkulus  Analisis fungsional  Analisis harmonik  Analisis kompleks  Analisis real  Persamaan diferensial  Teori ukuran  Teori sistem dinamis 
Diskret:  Kombinatorika  Teori graf  Teori order 
Geometri:  Aljabar  Analitis  Diferensial  Diskrit  Euklides  Hingga  Trigonometri 
Komputasi:  Analisis numerik (Topik)  Ilmu komputer  Komputasi simbolik  Teori komputasi  Teori kompleksitas komputasi  Optimisasi matematika 
Teori bilangan:  Aritmetika  Geometri Diophantine  Teori bilangan aljabar  Teori bilangan analitis 
Topologi:  Teori homotopi  Aljabar  Diferensial  Geometris  Umum 
Terapan:  Matematika biologi  Matematika ekonomi  Matematika keuangan  Fisika matematis  Kimia matematika  Psikologi matematis  Statistika  Statistika matematika  Teori peluang  Ilmu sistem (Teori kendali, Teori permainan, Riset operasi) 
Divisi:  Matematika murni  Matematika terapan  Matematika diskret  Matematika komputasi 
Topik terkait:  Matematika dan seni  Matematika rekreasi  Pendidikan matematika  Sejarah matematika 
  Kategori   Portal matematika  Kerangka  Daftar 
| l b Logika matematika |
| --- | --- |
Umum:  Bahasa formal  Aturan formasi  Sistem formal  Sistem deduktif  Pembuktian formal  Formal semantik  Formula bentukan  Himpunan  Elemen  Kelas  Logika klasik  Aksioma  Deduksi alami  Aturan inferensi  Relasi  Teorema  Konsekuensi logis  Sistem aksiomatis  Teori tipe  Simbol  Sintaks  Teori 
Logika tradisional:  Proposisi  Inferensi  Argumen  Validitas  Meyakinkan  Silogisme  Sisi berlawanan  Diagram Venn 
Kalkulus proposisional Logika boolean:  Fungsi Boolean  Kalkulus proposisional  Formula proposisional  Hubungan logis  Tabel kebenaran 
Logika predikat:  Orde-pertama  Pembilang  Predikat  Orde-dua  Kalkulus predikat Monadic 
Teori himpunan:  Himpunan  Himpunan kosong  Enumerasi  Ekstensionalitas  Himpunan terbatas  Fungsi  Subhimpunan  Himpinan perpangkatan  Himpunan terhitung  Himpunan rekursif  Domain  Rentang  Pasangan berurut  Himputan tak terhitung 
Teori model:  Model  Interpretasi  Model nonstandar  Teori model terbatas  Nilai kebenaran  Validitas 
Teori pembuktian:  Pembuktian formal  Sistem deduktif  Sistem formal  Teorema  Konsekuensi logis  Aturan inferensi  Sintaks 
Teori komputabilitas:  Rekursi  Himpunan rekursif  Himpunan rekursif terhitung  Permasalahan keputusan  Tesis Church–Turing  Fungsi terhitung  Fungsi rekursif primitif 
Kategori
| l b Bidang utama ilmu komputer |
| --- | --- |
Catatan: Templat ini secara kasar mengikuti Sistem Klasifikasi Komputasi ACM tahun 2012.
Perangkat keras:  Papan sirkuit cetak  Periferal  Sirkuit terpadu  Integrasi skala sangat besar  Sistem pada chip (SoCs)  Konsumsi energi  Otomasi desain elektronik  Akselerasi perangkat keras 
Organisasi   sistem komputer:  Arsitektur komputer  Sistem benam  Komputasi waktu nyata  Keandalan 
Jaringan:  Arsitektur jaringan  Protokol jaringan  Perangkat keras jaringan  Penjadwal jaringan  Evaluasi kinerja jaringan  Layanan jaringan 
Organisasi   perangkat lunak:  Penerjemah  Peranti tengah  Mesin virtual  Sistem operasi  Kualitas perangkat lunak 
Notasi dan alat   perangkat lunak:  Paradigma pemrograman  Bahasa pemrograman  Kompilator  Bahasa khusus domain  Bahasa pemodelan  Kerangka kerja perangkat lunak  Lingkungan pengembangan terpadu  Manajemen konfigurasi perangkat lunak  Pustaka perangkat lunak  Repositori perangkat lunak 
Pengembangan perangkat lunak:  Variabel kontrol  Proses pengembangan perangkat lunak  Analisis kebutuhan  Desain perangkat lunak  Konstruksi perangkat lunak  Penyebaran perangkat lunak  Pemeliharaan perangkat lunak  Tim pemrogram  Model sumber terbuka 
Teori komputasi:  Model komputasi  Bahasa formal  Teori otomata  Teori komputabilitas  Teori kompleksitas komputasional  Logika  Semantik 
Algoritma:  Desain algoritma  Analisis algoritma  Efisiensi algoritma  Algoritma acak  Geometri komputasi 
Komputasi   matematika:  Matematika diskrit  Peluang  Statistika  Perangkat lunak matematis  Teori informasi  Analisis matematis  Analisis numerik  Ilmu komputer teoritis 
Sistem informasi:  Pangkalan data  Sistem penyimpanan informasi  Sistem informasi perusahaan  Sistem informasi sosial  Sistem informasi geografis  Sistem pendukung keputusan  Sistem pengendalian proses  Sistem informasi multimedia  Penggalian data  Perpustakaan digital  Serambi  Pemasaran digital  World Wide Web  Sistem temu balik informasi 
Keamanan:  Kriptografi  Metode formal  Peretas  Layanan keamanan  Sistem deteksi intrusi  Keamanan perangkat keras  Keamanan jaringan  Keamanan informasi  Keamanan aplikasi 
Interaksi manusia-komputer:  Desain interaksi  Komputasi sosial  Komputasi di mana-mana  Visualisasi  Aksesibilitas 
Kongruensi:  Komputasi kongruensi  Komputasi paralel  Komputasi terdistribusi  Multithreading  Multipengolahan 
Kecerdasan buatan:  Pemrosesan bahasa alami  Representasi pengetahuan dan penalaran  Visi komputer  Perencanaan dan penjadwalan otomatis  Metodologi pencarian  Metode kontrol  Filsafat kecerdasan buatan  Kecerdasan buatan terdistribusi 
Pembelajaran mesin:  Pemelajaran terarah  Pemelajaran tak terarah  Pemelajaran kukuh  Pemelajaran multi-tugas  Validasi silang 
Grafika:  Animasi  Rendering  Manipulasi citra  Unit pemroses grafis  Realitas campuran  Realitas virtual  Pemampatan citra  Solid modeling 
Komputasi terapan:  Komputasi kuantum  Perdagangan elektronik  Perangkat lunak perusahaan  Matematika komputasional  Fisika komputasional  Kimia komputasional  Biologi komputasional  Ilmu sosial komputasional  Teknik komputasional  Informatika kedokteran  Seni digital  Penerbitan elektronik  Peperangan dunia maya  Pemungutan suara elektronik  Permainan video  Pengolah kata  Riset operasi  Teknologi pendidikan  Sistem manajemen dokumen ' 
| Pengawasan otoritas  |
| --- | --- |
Umum:  Integrated Authority File (Jerman) 
Perpustakaan nasional:  Spanyol  Prancis (data)  Amerika Serikat  Latvia  Jepang  Republik Ceko 
Lain-lain:  Microsoft Academic 
Georg Cantor.
Contoh sebuah diagram Venn : irisan anggota dari himpunan A dan B
An initial segment of the von Neumann hierarchy.