algebra logiky

Matematika

Jedna ze základních částí matematické logiky, byla založena v polovině 19. století Boolem jako aplikace algebraických metod v logice. Historicky vznikla jako algebra tříd (rozvedení a systematizace W. S. Jevons, Ch. S. Peirce, E. Schröder, P. S. Poreckij), teprve později byla interpretována jako algebra výroků nebo výrokový kalkul (G. Frege, B. Russell, D. Hilbert). Shannonovy práce znamenaly začátek širokého uplatněni algebry logiky v reléových (hradlových) sítích, výpočetní technice a kybernetice. Viz také Booleova algebra.

Vytvořeno: 14. 3. 2000
Aktualizováno: 6. 11. 2000
Autor: -red-

Odkazující hesla: George Boole.