| Hlavička předmětu (C001) |
|
|
|
|
| Informace o předmětu (C003) |
|
Předmět - základní informace
| Stručné informace |
KFI/NLG2,
Logika pro filozofii 2
|
| Výuka |
Letní semestr
,
Přednáška 2 [HOD/TYD]
Cvičení 2 [HOD/TYD]
|
| Zakončení |
Zkouška,
5 kreditů,
|
|
Předmět nemá
podmiňující
ani
vyloučené
ani
informativně doporučené
předměty...
|
|
|
| Předmět – anotace (C004) |
|
Předmět - cíle
KFI/NLG2
- IS/STAG
| Cílem předmětu je rozšířit znalosti studentů v oboru formální logiky. Je zaměřen na moderní logiku s důrazem na zvládnutí axiomaticko-deduktivní metody a sémantiku formalizovaných teorií. Má představit formální kalkuly predikátové logiky stejně jako teorii modelů. Uvést studenty do problematiky rekurzivních funkcí. Pomoci studentům pochopit práci s formálními teoriemi. Předvést důkazy úplnosti predikátové logiky a Gödelovy věty o neúplnosti. |
|
|
|
| Obrázek (C008) |
|
|
|
|
| Vizitka učitele (C016) |
|
|
|
|
| Aktuality (C012) |
|
|
Aktuality
|
|
Výuka v LS 2009
|
22.02.2009, 10:37
|
|
Přednášky v LS 2009 vede Mgr. Ludmila Dostálová, Ph.D.
Cvičení v LS 2009 vede Mgr. David Pelikán
|
|
|
|
|
|
|
![[RSS]](/zdroje/images/icons/rss.png){kind=icon}