26 vztahy: Antisymetrická relace, Úplný svaz, Čas (filosofie), Binární relace, Celé číslo, Dobře uspořádaná množina, Husté uspořádání, Informatika, Ireflexivní relace, Izomorfismus, Lineární uspořádání, Lingvistika, Logika vyššího řádu, Matematická logika, Modální logika, Modus ponens, Ostré uspořádání, Přirozené číslo, Predikátová logika prvního řádu, Racionální číslo, Reaktivní programování, Reálné číslo, Spojité zobrazení, Strom (datová struktura), Výroková logika, Zenónovy paradoxy.
Antisymetrická relace
Příklad slabě antisymetrické relace Antisymetrická relace je matematický pojem označující relaci, ve které nenastává situace, že by bylo v relaci s a zároveň v relaci s. Podle toho, jestli se tato podmínka vztahuje i na stejné,, se liší pojem slabé a silné antisymetrie.
Nový!!: Temporální logika a Antisymetrická relace · Vidět víc »
Úplný svaz
Úplný svaz je matematický pojem z oboru teorie uspořádání, který vymezuje mezi uspořádanými množinami ty, které jsou uspořádány „rozumně“ (to znamená, že zachovávají suprema a infima).
Nový!!: Temporální logika a Úplný svaz · Vidět víc »
Čas (filosofie)
#PŘESMĚRUJ Čas (filozofie).
Nový!!: Temporální logika a Čas (filosofie) · Vidět víc »
Binární relace
Binární relace je pojem z matematiky, vyjadřuje vztah (relaci) prvků jedné množiny k prvkům v množině druhé.
Nový!!: Temporální logika a Binární relace · Vidět víc »
Celé číslo
Celá čísla se skládají z přirozených čísel (1, 2, 3, …), nuly (0) a záporných celých čísel (−1, −2, −3, …).
Nový!!: Temporální logika a Celé číslo · Vidět víc »
Dobře uspořádaná množina
V matematice se množina S nazývá dobře uspořádanou množinou, pokud má každá neprázdná část uspořádané množiny S nejmenší prvek.
Nový!!: Temporální logika a Dobře uspořádaná množina · Vidět víc »
Husté uspořádání
Husté uspořádání je matematický pojem z oboru teorie množin, konkrétněji z teorie uspořádání.
Nový!!: Temporální logika a Husté uspořádání · Vidět víc »
Informatika
Informatika je obor lidské činnosti, který se zabývá pojmem informace a přenosem a zpracováním informace.
Nový!!: Temporální logika a Informatika · Vidět víc »
Ireflexivní relace
V matematice se binární relace R na množině X nazývá ireflexivní, právě když pro každé a z množiny X platí, že a není v relaci s a. Formálně zapsáno: Příkladem ireflexivní relace je relace „je ostře větší než“ (.
Nový!!: Temporální logika a Ireflexivní relace · Vidět víc »
Izomorfismus
Izomorfismus je zobrazení mezi dvěma matematickými strukturami, které je vzájemně jednoznačné (bijektivní) a zachovává všechny vlastnosti touto strukturou definované.
Nový!!: Temporální logika a Izomorfismus · Vidět víc »
Lineární uspořádání
Lineární uspořádání (někdy také úplné uspořádání) je pojem z teorie uspořádání, který formálně zachycuje intuitivní představu o prvcích množiny, které jsou seřazeny „jeden za druhým“.
Nový!!: Temporální logika a Lineární uspořádání · Vidět víc »
Lingvistika
Lingvistika (dříve psáno linguistika) neboli jazykověda je věda zkoumající přirozený jazyk.
Nový!!: Temporální logika a Lingvistika · Vidět víc »
Logika vyššího řádu
V matematice se logika vyššího řádu odlišuje od predikátové logiky prvního řádu několika způsoby.
Nový!!: Temporální logika a Logika vyššího řádu · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Temporální logika a Matematická logika · Vidět víc »
Modální logika
Modální logika je oblast logiky zkoumající logické operace, tzv.
Nový!!: Temporální logika a Modální logika · Vidět víc »
Modus ponens
Pravidlo modus ponens, též modus ponendo ponens nebo pravidlo vynětí, je odvozovací pravidlo a základ argumentace a dokazování nejen ve výrokové logice.
Nový!!: Temporální logika a Modus ponens · Vidět víc »
Ostré uspořádání
V matematice je ostré uspořádání taková binární relace, která je ireflexivní (antireflexivní), antisymetrická a tranzitivní.
Nový!!: Temporální logika a Ostré uspořádání · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Temporální logika a Přirozené číslo · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Temporální logika a Predikátová logika prvního řádu · Vidět víc »
Racionální číslo
Racionální číslo je číslo, které lze vyjádřit jako zlomek, tedy podíl dvou celých čísel, většinou zapsaný ve tvaru \frac nebo a/b, kde b není nula.
Nový!!: Temporální logika a Racionální číslo · Vidět víc »
Reaktivní programování
Reaktivní programování je paradigma programování orientované kolem datových toků a šíření změn.
Nový!!: Temporální logika a Reaktivní programování · Vidět víc »
Reálné číslo
Reálná čísla jsou taková čísla, kterým lze jednoznačně přiřadit body nekonečné přímky (číselné osy) tak, aby tato čísla popisovala „vzdálenost“ od nějakého vybraného bodu (nuly) na takové přímce.
Nový!!: Temporální logika a Reálné číslo · Vidět víc »
Spojité zobrazení
Spojité zobrazení je pojem z topologie a matematické analýzy.
Nový!!: Temporální logika a Spojité zobrazení · Vidět víc »
Strom (datová struktura)
Jednoduchý příklad neuspořádaného stromu V informatice je strom široce využívanou datovou strukturou, která představuje stromovou strukturu s propojenými uzly.
Nový!!: Temporální logika a Strom (datová struktura) · 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ý!!: Temporální logika a Výroková logika · Vidět víc »
Zenónovy paradoxy
Zenónovy paradoxy jsou čtyři nejznámější ze starověkých paradoxů známé také pod dobovým názvem aporie („ne-cesta“), kterými prý Zénón z Eleje, přítel a žák Parmenidův, a další eleaté dokazovali nemožnost či zdánlivost pohybu.
Nový!!: Temporální logika a Zenónovy paradoxy · Vidět víc »