| Název předmětu | Vybrané problémy logiky a filozofie jazyka 2 (Logická analýza a inference) |
|---|---|
| Kód předmětu | KFI/NPLJ2 |
| Organizační forma výuky | Cvičení |
| Úroveň předmětu | Magisterský |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 4 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinně-volitelný |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
Expresivní síla logického systému (výroková vs. predikátová logika) Důkazové metody (metoda Vennových diagramů, rezoluční metoda) Formální teorie - Teorie relací - Algebraické teorie Úplnost a korektnost kalkulu Úplnost teorie
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Předmět se zabývá logickou analýzou tvrzení prostřednictvím výrokové logiky a predikátové logiky 1. řádu. Studenti se seznámí s následujícími důkazovými metodami: metodou Vennových diagramů, rezoluční metodou. Budou vysvětleny žádoucí vlastnosti kalkulů jako jsou korektnost a úplnost a představeny algebraické teorie a teorie binárních relací.Předmět je koncipován tak, aby problematiku pochopili i studenti, kteří s logickou analýzou a důkazovými metodami nemají mnoho zkušeností.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
Pravidelná účast na seminářích (max. 3 povolené absence), absolvování zápočtového testu a závěrečného testu. |
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr | |
|---|---|---|---|---|
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie maior (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2019) | Kategorie: Filozofie, teologie | - | Doporučený ročník:-, Doporučený semestr: - |