|
|
|
Předmět - základní informace
Stručné informace |
KFI/NLG1
,
Logika pro filozofii 1
|
Výuka |
Zimní 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 - cíle
KFI/NLG1
- IS/STAG
Kurz je úvodem do klasické logiky. Má představit studentům základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Naučit studenty dokazovat a odvozovat tvrzení pomocí formálního kalkulu. Seznámit studenty se základy logické analýzy přirozeného jazyka. Představit základní systémy neklasických logik. |
|
|
|
|
|
|
|
Tento portlet není zinicializován.
Aktuality
|
Momentálně nejsou zadány žádné aktuality...
|
|
|
|
|