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ů

# Logika

Požadavky

- Jazyk, formule, sémantika, tautologie.
- Rozhodnutelnost, splnitelnost, pravdivost, dokazatelnost.
- Věty o kompaktnosti a úplnosti výrokové a predikátové logiky.
- Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky.

Subsections

- Logika - jazyk, formule, sémantika, tautologie
  - Jazyk
  - Formule
  - Sémantika
  - Tautologie
- Rozhodnutelnost, splnitelnost, pravdivost a dokazatelnost
  - Splnitelnost
  - Pravdivost
  - Dokazatelnost
  - Rozhodnutelnost
- Věty o kompaktnosti a úplnosti výrokové a predikátové logiky
- Normální tvary výrokových formulí, prenexní tvary formulí predikátové logiky
  - Prenexní tvary formulí predikátové logiky