Seznam témat booleovské algebry - List of Boolean algebra topics

Toto je seznam témat kolem Booleova algebra a výroková logika.

Články s širokým rozsahem a úvodem

• Algebra množin
• Booleova algebra (struktura)
• Booleova algebra
• Pole množin
• Logické pojivo
• Výrokový počet

Booleovské funkce a spojovací prvky

• Ampheck
• Booleovské algebry kanonicky definovány
• Podmíněná disjunkce
• Vyhýbavá logická funkce
• Exkluzivní nebo
• Funkční úplnost
• Logická biconditional
• Logická spojka
• Logická disjunkce
• Logická rovnost
• Logické důsledky
• Logická negace
• Logické NOR
• Lupanovská reprezentace
• Funkce většiny
• Materiál podmíněný
• Šipka peirce
• Shefferova mrtvice
• Jediný dostatečný operátor
• Symetrická booleovská funkce
• Symetrický rozdíl
• Zhegalkinový polynom

Příklady booleovských algeber

• Booleovská doména
• Kompletní booleovská algebra
• Vnitřní algebra
• Dvouprvková booleovská algebra

Rozšíření booleovských algeber

• Derivační algebra (abstraktní algebra)
• Zdarma booleovská algebra
• Monadická booleovská algebra

Zobecnění booleovských algeber

• De Morganova algebra
• Logika prvního řádu
• Heyting algebra
• Lindenbaum – Tarski algebra
• Šikmá booleovská algebra

Syntax

• Algebraická normální forma
• Booleovský spojovací dotaz
• Kanonická forma (booleovská algebra)
• Spojovací normální forma
• Disjunktivní normální forma
• Formální systém

Technické aplikace

• Graf invertoru
• Logická brána
• Booleovská analýza

Věty a zvláštní zákony

• Booleova primární věta o ideálu
• Věta o kompaktnosti
• Věta o konsensu
• De Morganovy zákony
• Dualita (teorie objednávek)
• Zákony klasické logiky
• Peirceův zákon
• Stoneova věta o reprezentaci pro booleovské algebry

Lidé

• Boole, Georgi
• De Morgan, Augustus
• Jevons, William Stanley
• Peirce, Charles Sanders
• Kámen, Marshall Harvey
• Venne, Johne
• Zhegalkin, Ivan Ivanovič

Filozofie

• Booleova sylogistika
• Boolovský implikant
• Entitativní graf
• Existenciální graf
• Formální zákony
• Logický graf

Vizualizace

• Pravdivá tabulka
• Karnaugh mapa
• Vennův diagram

Nezařazeno

• Booleovská funkce
• Funkce s booleovskou hodnotou
• Booleovský model
• Booleovský problém uspokojivosti
• Booleovský diferenciální počet
• Funkce indikátoru (nazývané také charakteristická funkce, ale tento termín se v teorii pravděpodobnosti používá pro jiný koncept)
• Minimalizátor heuristické logiky espressa
• Logická matice
• Logická hodnota
• Kamenná dualita
• Kamenný prostor
• Topologická logická algebra