25 vzťahy: Algebra, Asociatívnosť, Axióma, Čiastočne usporiadaná množina, De Morganove zákony, Disjunkcia, Doplnok (množiny), Formula (logika), George Boole, Komplement, Komutatívnosť, Konjunkcia (logika), Množina, Množinová algebra, Negácia, Neutrálny prvok, Potenčná množina, Prázdna množina, Prienik (matematika), Priesečník, Prvok množiny, Spojenie, Výroková algebra, Zjednotenie, Zväz (matematika).
Algebra
Algebra môže byť.
Nový!!: Boolova algebra a Algebra · Pozrieť viac »
Asociatívnosť
Asociatívnosť je v algebre vlastnosť binárnej operácie, spočívajúca v tom, že nezáleží, ako použijeme zátvorky pri výraze, kde je viac operandov, alebo v akom poradí budeme výraz počítať.
Nový!!: Boolova algebra a Asociatívnosť · Pozrieť viac »
Axióma
Axióma (slovo je žen. rodu; nesprávne: axióm, zastarano: axiom) alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému.
Nový!!: Boolova algebra a Axióma · Pozrieť viac »
Čiastočne usporiadaná množina
Čiastočne usporiadaná množina, úspornejšie usporiadaná množina alebo poset, je množina spolu s informáciou, na základe ktorej je možné navzájom porovnávať jej prvky.
Nový!!: Boolova algebra a Čiastočne usporiadaná množina · Pozrieť viac »
De Morganove zákony
De Morganove zákony alebo De Morganove pravidlá sú zákony vyjadrujúce vo výrokovej logike vzťah medzi konjunkciou a disjunkciou a v predikátovej logike vzťah medzi generálnymi a existenčnými vetami.
Nový!!: Boolova algebra a De Morganove zákony · Pozrieť viac »
Disjunkcia
Disjunkcia môže byť.
Nový!!: Boolova algebra a Disjunkcia · Pozrieť viac »
Doplnok (množiny)
Komplement alebo doplnok podmnožiny A základnej množiny U, zväčša sa označuje symbolom A^, je množina všetkých prvkov množiny U ktoré nie sú prvkami množiny A. Zapísané množinovo alebo ekvivalentne Pojem komplementu nemá zmysel v prípade, že nie je udaná základná množina vzľadom ku ktorej sa komplement uvažuje.
Nový!!: Boolova algebra a Doplnok (množiny) · Pozrieť viac »
Formula (logika)
Formula alebo logická formula je ľubovoľný konečný rad (postupnosť) základných (primitívnych) symbolov formalizovaného jazyka (výrokovej, predikátovej) logiky.
Nový!!: Boolova algebra a Formula (logika) · Pozrieť viac »
George Boole
George Boole (* 2. november 1815, Lincoln, Spojené kráľovstvo – † 8. december 1864, Cork) bol anglický logik a matematik.
Nový!!: Boolova algebra a George Boole · Pozrieť viac »
Komplement
Komplement môže byť.
Nový!!: Boolova algebra a Komplement · Pozrieť viac »
Komutatívnosť
Komutatívnosť (komutativita), najmä v algebre je vlastnosť, ktorá platí pre binárnu operáciu, hovoriaca o nezávislosti poradia operandov.
Nový!!: Boolova algebra a Komutatívnosť · Pozrieť viac »
Konjunkcia (logika)
Logická konjunkcia je výroková spojka.
Nový!!: Boolova algebra a Konjunkcia (logika) · Pozrieť viac »
Množina
Množina je súhrn dobre rozlíšiteľných entít, ktorý chápeme ako celok.
Nový!!: Boolova algebra a Množina · Pozrieť viac »
Množinová algebra
Množinová algebra alebo algebra množín je Boolova algebra, kde prvky sú podmnožiny danej množiny \mathbb \,\!, operácia + \,\! je zjednotenie podmnožín a operácia \cdot \,\! je prienik podmnožín množiny \mathbb \,\!.
Nový!!: Boolova algebra a Množinová algebra · Pozrieť viac »
Negácia
Negácia môže byť.
Nový!!: Boolova algebra a Negácia · Pozrieť viac »
Neutrálny prvok
Neutrálny prvok alebo identita (značka e, E, I alebo 1) je prvok množiny, ktorý, ak je jedným z operandov binárnej operácie, výsledkom operácie je nezmenený druhý operand.
Nový!!: Boolova algebra a Neutrálny prvok · Pozrieť viac »
Potenčná množina
inklúzie. Potenčná množina množiny X \!, značená \mathcal(X) alebo 2^X \!, je v matematike množina všetkých podmnožín množiny X \!.
Nový!!: Boolova algebra a Potenčná množina · Pozrieť viac »
Prázdna množina
Prázdna množina je taká množina, ktorá nemá nijaký prvok.
Nový!!: Boolova algebra a Prázdna množina · Pozrieť viac »
Prienik (matematika)
Vennovho diagramu V matematike sa ako prienik dvoch alebo viacerých množín označuje taká množina, ktorá obsahuje práve tie prvky množiny "A", ktoré sú súčasne prvkami množiny "B", prípadne prvkami ďalších množín.
Nový!!: Boolova algebra a Prienik (matematika) · Pozrieť viac »
Priesečník
Priesečník je bod spoločný dvom krivkám alebo krivke a ploche.
Nový!!: Boolova algebra a Priesečník · Pozrieť viac »
Prvok množiny
Prvok množiny alebo bod množiny je najjednoduchšia časť množiny.
Nový!!: Boolova algebra a Prvok množiny · Pozrieť viac »
Spojenie
Spojenie (spájanie, spojovanie) môže byť.
Nový!!: Boolova algebra a Spojenie · Pozrieť viac »
Výroková algebra
Výroková algebra je výroková logika, teda Boolova algebra, kde prvky sú výroky a operácia sčítanie je disjunkcia a operácia násobenie je konjunkcia.
Nový!!: Boolova algebra a Výroková algebra · Pozrieť viac »
Zjednotenie
Zjednotenie (nedokonavý vid: zjednocovanie, jednotenie) môže byť.
Nový!!: Boolova algebra a Zjednotenie · Pozrieť viac »
Zväz (matematika)
Zväz alebo zriedkavo štruktúra je matematický pojem z algebry, konkrétnejšie z oblasti teórie zväzov, ktorý vymedzuje medzi usporiadanými množinami tie, ktoré sú usporiadané „rozumne“ (to znamená, že zachovávajú supréma a infimá).
Nový!!: Boolova algebra a Zväz (matematika) · Pozrieť viac »
Presmerovanie tu:
Algebra boolova, Booleova algebra.