|
|
|
|
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...
|
|
|
|
|
|
![[RSS]](/zdroje/images/icons/rss.png){kind=icon}