Boole cebri konuların listesi - List of Boolean algebra topics
Bu etrafında konuların listesidir Boole cebir ve önermeler mantığı .
içindekiler
Geniş kapsamı ve tanıtımlarıyla Makaleler
Boole fonksiyonları ve bağlaçlar
- Ampheck
- Boole cebiri canonically tanımlanmış
- Koşullu parçalanma
- Kaçamak Boole fonksiyonu
- Özel veya
- Fonksiyonel tamlık
- Mantıksal biconditional
- Mantıksal birlikte
- Mantıksal disjunction
- Mantıksal eşitlik
- Mantıksal çıkarım
- Mantıksal olumsuzluk
- Mantıksal NOR
- Lupanov gösterimi
- Çoğunluk işlevi
- koşullu Malzeme
- Peirce ok
- Sheffer inme
- Taban yeterli operatör
- Simetrik Boole fonksiyonu
- simetrik farkı
- Zhegalkin polinom
Boole Cebirlerin örnekleri
Uzantıları ve genellemeler
- Komple Boole cebri
- Türev cebir (özet cebri)
- Birinci dereceden mantık
- Ücretsiz Boole cebri
- De Morgan cebir
- Heyting cebir
- Monadic Boole cebri
- çarpık Boole cebri
Sözdizimi
- Cebirsel, normal bir şekilde
- Boole birletimli sorgu
- Kanonik formu (Boole cebri)
- Bağlaç, normal bir şekilde
- Ayırıcı, normal bir şekilde
- Biçimsel sistemi
Teknik uygulamalar
Teoremler ve spesifik kanunlar
- Boole asal ideal bir teoremi
- Sıkılık teoremi
- Konsensüs teoremi
- De Morgan Yasası
- İkilik (sipariş teori)
- Klasik Mantık Yasaları
- Peirce kanunu
- Boole cebirleri için Stone temsil teoremi
İnsanlar
- Boole George
- De Morgan Augustus
- Jevons William Stanley
- Peirce, Charles Sanders
- Taş, Marshall Harvey
- Venn, John
- Zhegalkin, İvan İvanoviç
Felsefe
görüntüleme
sınıflandırılmamış
- Boole fonksiyonu
- Boole değerli işlev
- Boole değerli modeli
- Boole Satisfiability sorun
- Boole diferansiyel hesap
- Gösterge fonksiyonu (aynı zamanda karakteristik fonksiyonları , ancak bu terim, farklı bir kavram için olasılık teorik olarak kullanılır)
- Sezgisel mantık minimizer espresso
- Mantıksal matris
- Mantıksal değer
- Taş ikilik
- Taş uzay
- Topolojik Boole cebri