1. (LZU) Model a jazyk Výrokové a Predikátové logiky. Syntax jazyka, induktivní definice gramatiky jazyka, míry složitosti výrokové/predikátové formule.Jazyk.pojmy → Jazyk.výrazy (→ reprezentace)(věci, vztahy) ← (pojmenování) (← denotace: Praha ←hlavní město ČR?) Pojem objekt označený jazyk.výrazem se nazývá - DenotátDenotace - pojmenování, přiřazení pojmuDenotát - objekt označený jazyk.výrazemMetajazyk - (čeština ve které vše pojmenováváme, uvažujeme)předmětný jazyk - tenhle studujeme - jazyk l...
1. Model a jazyk výrokové a predikátové logiky. Syntax jazyka, induktivní definice gramatiky jazyka, míry složitosti výrokové/predikátové formule.SYNTAX FORMÁLNÍHO JAZYKA Reprezentaci pojmů jako základních objektů myšlení slouží určitým způsobem zkonstruované jazykové výrazy - řetězce symbolů vhodně zvoleného formálního jazyka. Vztahy mezi pojmy jsou zpravidla reprezentovány složitějšími jazykovými útvary vytvořenými pomocí pevných syntaktických pravidel. K reprezentaci úsudků pak slouží schémat...
Soubory cookie používáme pro funkční účely, pro shromažďování a analýzu informací o výkonu a používání stránky.
▼ Nezbytné
Vždy povoleno. Technické uložení nebo přístup jsou nezbytně nutné pro legitimní účel umožnění použití konkrétní služby, kterou si účastník nebo uživatel výslovně vyžádal.
▼ Analytické
Technické úložiště nebo přístup, který se používá výhradně pro anonymní agregované statistické účely.