Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2018/2019

Algebra a logika

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
BI-ALO Z,ZK 4 2+1 česky
Přednášející:
Jan Starý (gar.)
Cvičící:
Jan Starý (gar.)
Předmět zajišťuje:
katedra aplikované matematiky
Anotace:

Přednáška prohlubuje a rozšiřuje témataze základního kurzu logiky.

1. Unifikační a resoluční algoritmy jako základ logického programování.

2. Základy axiomatické teorie množin, počítání s nekonečnými mohutnostmi.

3. Aplikace matematické logiky v aritmetice a základních algebraických teoriích.

Požadavky:

Základní kurz logiky

Osnova přednášek:

1. Úplnost predikátové logiky.

2. Konzervativní rozšíření, Henkinovské zúplnění.

3. Množinová representace Booleových algeber.

4. Prenexní tvar formulí.

5. Konzervativní rozšiřování teorie o predikáty a funkce.

6. Rezoluční metoda: Skolemizace, Herbrandovské universum, saturace.

7. Rezoluční metoda: unifikace, rezoluce. Věta o rezoluci.

8. Základy axiomatické teorie množin.

9. Dobrá uspořádání, ordinální čísla.

10. Konstrukce základních struktur. Reálná čísla.

11. Mohutnosti, kardinální čísla. Axiom výběru.

12. Kardinální aritmetika.

Osnova cvičení:
Cíle studia:
Studijní materiály:

P. Štěpánek: Matematická logika

B. Balcar, P. Štěpánek: Teorie množin

Poznámka:
Rozvrh na zimní semestr 2018/2019:
Rozvrh není připraven
Rozvrh na letní semestr 2018/2019:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St
Čt
místnost TH:A-s135
Starý J.
09:15–10:45
(přednášková par. 1)
Thákurova 7 (FSv-budova A)
As135
místnost T9:302
Starý J.
11:00–12:30
SUDÝ TÝDEN

(přednášková par. 1
paralelka 101)

Dejvice
NBFIT učebna
místnost T9:302
Starý J.
11:00–12:30
LICHÝ TÝDEN

(přednášková par. 1
paralelka 102)

Dejvice
NBFIT učebna

Předmět je součástí následujících studijních plánů:
Platnost dat k 16. 2. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet5069606.html