21 vztahy: Asociativita, Binární operace, Booleova algebra, Disjunkce (fytogeografie), Disjunktní množiny, Distributivita, Elektronika, Existenční kvantifikátor, Exkluzivní disjunkce, Genetika, Konjunkce (logika), Konjunkce (matematika), Logická operace, Logický člen, Logický obvod, Logika, Matematická logika, Predikátová logika, Sémantika, Výrok (logika), Výroková logika.
Asociativita
Asociativita je v algebře vlastnost binární operace, spočívající v tom, že nezáleží, jak použijeme závorky u výrazu, kde je více operandů, v jakém pořadí budeme tedy tento výraz počítat.
Nový!!: Disjunkce a Asociativita · Vidět víc »
Binární operace
Binární operace je matematická operace, která pracuje se dvěma vstupními hodnotami (operandy).
Nový!!: Disjunkce a Binární operace · Vidět víc »
Booleova algebra
Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací.
Nový!!: Disjunkce a Booleova algebra · Vidět víc »
Disjunkce (fytogeografie)
Disjunkce ve fytogeografii je území mezi subareály disjunktivního areálu.
Nový!!: Disjunkce a Disjunkce (fytogeografie) · Vidět víc »
Disjunktní množiny
V teorii množin jsou dvě množiny disjunktní, pokud nemají žádný společný prvek.
Nový!!: Disjunkce a Disjunktní množiny · Vidět víc »
Distributivita
Distributivita je v matematice, zejména v algebře, vlastnost binární operace vůči jiné binární operaci, říkající, že můžeme tuto operaci distribuovat přes jinou operaci.
Nový!!: Disjunkce a Distributivita · Vidět víc »
Elektronika
Pájení elektronické součástky Třížílový vodič Elektronika je elektrotechnický obor, který studuje a využívá přístrojů fungujících na principu řízení toku elektronů nebo jiných elektricky nabitých částic, zejména pomocí polovodičů.
Nový!!: Disjunkce a Elektronika · Vidět víc »
Existenční kvantifikátor
Existenční kvantifikátor (∃) (také malý kvantifikátor) je matematický symbol používaný nejčastěji v predikátové logice.
Nový!!: Disjunkce a Existenční kvantifikátor · Vidět víc »
Exkluzivní disjunkce
Exkluzivní disjunkce (někdy též vylučovací nebo úplná disjunkce, exkluzivní OR či XOR) je logická operace, jejíž hodnota je pravda, právě když každá vstupní hodnota nabývá, v porovnání s ostatními vstupy, unikátní hodnotu.
Nový!!: Disjunkce a Exkluzivní disjunkce · Vidět víc »
Genetika
Rekombinace rodičovských genů může způsobit, že koťata z téhož vrhu mají odlišné vlastnosti Genetika (z řeckého gennaó γενναώ.
Nový!!: Disjunkce a Genetika · Vidět víc »
Konjunkce (logika)
Průnik dvou množin je definovaný pomocí konjunkce: x \in \left (A \cap B \right) \equiv \left (x \in A \right) \land \left (x \in B \right) Logická konjunkce (používají se pro ni symboly AND, & nebo \wedge) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.
Nový!!: Disjunkce a Konjunkce (logika) · Vidět víc »
Konjunkce (matematika)
#PŘESMĚRUJ Konjunkce (logika).
Nový!!: Disjunkce a Konjunkce (matematika) · Vidět víc »
Logická operace
Logická operace je v matematice taková operace s výroky, jejímž výsledkem je opět výrok, jehož pravdivostní hodnota (PRAVDA nebo NEPRAVDA) závisí na pravdivosti výroků a druhu operace.
Nový!!: Disjunkce a Logická operace · Vidět víc »
Logický člen
Logický člen neboli hradlo je základní stavební prvek logických obvodů, který vyčísluje logickou funkci.
Nový!!: Disjunkce a Logický člen · Vidět víc »
Logický obvod
Logický obvod je elektronický obvod, který pracuje s diskrétními stavy.
Nový!!: Disjunkce a Logický obvod · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Disjunkce a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Disjunkce a Matematická logika · Vidět víc »
Predikátová logika
V matematice a logice se pojmem predikátová logika označuje formální odvozovací systém používaný k popisu matematických teorií a vět.
Nový!!: Disjunkce a Predikátová logika · Vidět víc »
Sémantika
Sémantika (též sémaziologie) je nauka o významu výrazů z různých strukturních úrovní jazyka – morfémů, slov, slovních spojení a vět, popř.
Nový!!: Disjunkce a Sémantika · Vidět víc »
Výrok (logika)
Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí).
Nový!!: Disjunkce a Výrok (logika) · Vidět víc »
Výroková logika
V matematice a logice se pojmem výroková logika označuje formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné (na rozdíl od predikátové logiky).
Nový!!: Disjunkce a Výroková logika · Vidět víc »