docLogika tříd a relací
download 
Stížnost Podobné dokumenty
13. ZÁKLADNÍ TYPY DŮKAZŮ, VÝROKOVÁ LOGIKA
c) Kolik je hodin?
d) Poloměr Země není menší než 6 000km.
e) Vzdálenost Měsíce od země není větší než 400 000km.
f) (a + b)2 = a2 + 2ab + b2
g) Pro všechna reálná čísla a, b platí: (a + b)2 = a2 +...
08 Příprava na 1_kompozici
21) Obdélník o rozměrech 56 cm a 98 cm se má rozdělit příčkami, které jsou rovnoběžné se stranami
obdélníků tak, aby vznikly stejné čtverce maximálního obsahu. Kolik bude těchto čtverců a jaké je
s...
KYBERNETIKA A UMELÁ INTELIGENCE
kde H(Y|X) závisí na P(x). Úpravou zdroje tedy obecně ovlivňujeme i chybovost kanálu.
Toto naštěstí neplatí v obvyklém případě tzv. symetrického kanálu (viz dále).
Opravou chyb naopak zvyšujeme „...
Logika
mohou být složené z dalších výroků, základní je výrok (alespoň
jedna premisa je složeným výrokem; jestliže, pak, buď, anebo, a, nikoli)
Název skript
v nich se nutně vyskytují další pojmy, které by bylo třeba definovat a v těchto definicích by figurovaly další pojmy, a tak bychom museli pokračovat do nekonečna,
což evidentně nemá smysl.
Ač o sam...
Rozšiřující učivo
množinami a k tomu je nutné použít schéma, kterým bude možné zachytit všechny vztahy
mezi množinami. A právěě to umož
umožňují Vennovy diagramy, které představil
edstavil v 19. století
anglický věd...
Matematická logika
Kdykoliv budeme tuto notaci používat, budeme vždy předpokládat,
že žádný z termů ti neobsahuje proměnnou, která má vázaný
výskyt ve ϕ. Např. když ϕ(x) je ∃y ¬(x = y ), pak není dovolené
psát ϕ(...
