| Název předmětu | Predikátová logika |
|---|---|
| Kód předmětu | KFI/B2PL |
| Organizační forma výuky | Přednáška + Cvičení |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Letní |
| Počet ECTS kreditů | 6 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinný |
| 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 |
|
nespecifikováno
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Kurz poskytuje základy predikátové logiky 1. řádu (PL1) a teorie logického vyplývání. Studenti získají dovednost převádět věty přirozeného jazyka do jazyka predikátové logiky a schopnost ověřování platnosti úsudků. Kurz se rovněž dotýká problematiky logické argumentace a argumentačních chyb, které souvisejí s užitím logických operátorů, odvozovacích pravidel či definování pojmů. Nabyté znalosti jsou procvičovány na konkrétních příkladech v seminářích. 1. Definice a explikace 2. Aristotelská logika 3. Jazyk PL1 4. Analýza vět přirozeného jazyka v PL1 5. Sémantika PL1 (modely formulí) 6. Teorie binárních relací 7. Metoda Vennových diagramů 8. Přirozená dedukce (přímý a nepřímý důkaz) 9. Přirozená dedukce (podmíněný důkaz) 10. Axiomatický systém PL1 Zápočet se udílí na základě docházky a aktivní účasti na cvičení. Zkouška je formou testu, který se skládá ze dvou částí: z praktické části, jejíž obsah koresponduje se cvičením; a části teoretické, jejíž obsah koresponduje s přednáškami.
|
| Předpoklady |
|
nespecifikováno
KFI/B2VL |
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| 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 maior (2022) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2022) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2019) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie maior (2019) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Letní |