Procházet otázky :: SZZ na MFF UK

#

- Hlavní strana
- Okruhy
- Projít
- Stáhnout
- Co je potřeba
- Chci přispět
- Kredity

Hledat:

## Prohlížení státnicových textů

# Základy teoretické informatiky

Požadavky

- Logika - jazyk, formule, sémantika, tautologie
- Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost
- Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky
- Automaty - Chomského hierarchie, třídy automatů a gramatik, determinismus a nedeterminismus.

Subsections

- Logika - jazyk, formule, sémantika, tautologie
  - Jazyk
  - Formule
  - Sémantika
  - Tautologie
- Rozhodnutelnost, splnitelnost, pravdivost a dokazatelnost
  - Splnitelnost
  - Pravdivost
  - Dokazatelnost
  - Rozhodnutelnost
- Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky
  - Prenexní tvary formulí predikátové logiky
- Automaty - Chomského hierarchie, třídy automatů a gramatik, determinismus a nedeterminismus.
  - Třídy automatů a gramatik
  - Chomského hierarchie
  - Determinismus a nedeterminismus