Státnicové otázky: Vypracované otázky ke státnicím z okruhu Teoretická informatika a matematika

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át
Denotace - pojmenování, přiřazení pojmu
Denotát - objekt označený jazyk.výrazem
Metajazyk - (čeština ve které vše pojmenováváme, uvažujeme)
předmětný jazyk - tenhle studujeme - jazyk logiky 1.řádu
Výrok - element.tvrzení (atomické) o jehož pravdivosti má smysl uvažovat
Jazyk L - (jazyk logiky)

Model formálního jazyka se skládá z
- syntax - jak se formule tvoří (abeceda, gramatická pravidla)
- sémantika - zda je formule splnitelná ..(splnitelnost, nesplnitelnost-kontradikce, logická platnost-tautologie),
- formální dedukce