Státnicové otázky: Vypracované státnicové otázky z okruhu Teoretická informatika a matematika
Skrýt detaily | Oblíbený- Kvalita:92,3 %
- Typ:Státnicové otázky
- Univerzita:Ostravská univerzita v Ostravě
- Fakulta:Přírodovědecká fakulta
- Kategorie:Technika
- Podkategorie:Informatika
- Předmět:Teoretická informatika a matematika
- Autor:royal.cut
- Ročník:3. ročník
- Rozsah A4:160 strán
- Zobrazeno:1 355 x
- Stažené:7 x
- Velikost:11,7 MB
- Formát a přípona:Archiv souborů (.rar)
- Jazyk:český
- ID projektu:11935
- Poslední úprava:23.04.2018
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émata určující, jak modelovat skutečné usuzování - tj. jak přepracovávat formule jazyka.
Modelování v rámci formální logiky se vždy děje pomocí jejího vlastního exaktně definovaného formálního jazyka logiky (ať už jde o logiku výrokovou, predikátovou nebo jinou). Proto je třeba zavést řadu obecných pojmů týkajících se způsobu, jakým je formální jazyk definován.
V případě formálních jazyků je tomu podobně jako u jazyků přirozených, kdy je dána určitá abeceda jazykových symbolů a kdy gramatika určuje způsob, jak vytvářet gramaticky správné věty (formule) jazyka.
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émata určující, jak modelovat skutečné usuzování - tj. jak přepracovávat formule jazyka.
Modelování v rámci formální logiky se vždy děje pomocí jejího vlastního exaktně definovaného formálního jazyka logiky (ať už jde o logiku výrokovou, predikátovou nebo jinou). Proto je třeba zavést řadu obecných pojmů týkajících se způsobu, jakým je formální jazyk definován.
V případě formálních jazyků je tomu podobně jako u jazyků přirozených, kdy je dána určitá abeceda jazykových symbolů a kdy gramatika určuje způsob, jak vytvářet gramaticky správné věty (formule) jazyka.