Title: Státnice / Společná matematika / Logika

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: jazyk

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: výrok

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: term

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: formule

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: otevřená a uzavřená formule

Syntaxe: znalost a práce se základními pojmy syntaxe výrokové a predikátové logiky: instance formule (a varianty)

Syntaxe: normální tvary výrokových formulí: prenexní tvary formulí predikátové logiky

Syntaxe: normální tvary výrokových formulí: znalost základních normálních tvarů: CNF a DNF

Syntaxe: normální tvary výrokových formulí: znalost základních normálních tvarů: PNF

Syntaxe: normální tvary výrokových formulí: převody na normální tvary: PNF

Syntaxe: normální tvary výrokových formulí: převody na normální tvary: CNF a DNF

Sémantika: pojem modelu teorie

Sémantika: pravdivost, lživost, nezávislost formule vzhledem k teorii

Sémantika: splnitelnost, tautologie, důsledek

Q: Sémantika: analýza výrokových teorií nad konečně mnoha prvovýroky
A: nevím co sem dát

Extenze teorií: schopnost porovnat sílu teorií

Extenze teorií: konzervativnost, skolemizace

Dokazatelnost: pojem formálního důkazu, zamítnutí, schopnost práce v některém z formálních dokazovacích systémů (např. tablo metoda, rezoluce, Hilbertovský
kalkul)

Věty o kompaktnosti a úplnosti výrokové a predikátové logiky: znění a porozumění významu

Věty o kompaktnosti a úplnosti výrokové a predikátové logiky: použití na příkladech, důsledky

Rozhodnutelnost: pojem kompletnosti a její kritéria, význam pro rozhodnutelnost

Q: Rozhodnutelnost: příklady rozhodnutelných a nerozhodnutelných teorií
A: (Snad) rozhodnutelné:
Nerozhodnutelné: