Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
X01FFL Filosofie formálních logik Rozsah výuky:2+0
Přednášející (garant):Demlová M. Typ předmětu:H Zakončení:ZK
Zodpovědná katedra:301 Kreditů:2 Semestr:Z

Anotace:
Vymezení logiky. Klasifikace logiky. Vývoj logiky. Logická analýza jazyka. Definice. Explikace, klasifikace a úsudky. Výroková logika, syntaxe a sémantika. Predikátová logika a její syntaxe. Sémantika predikátové logiky. Tradiční logika. Přirozená dedukce klasické logiky. Temporální logika, základy.

Osnovy přednášek:
1. Vymezení logiky.
2. Klasifikace logiky.
3. Vývoj logiky.
4. Logická analýza jazyka.
5. Definice.
6. Explikace, klasifikace a úsudky.
7. Výroková logika, syntaxe a sémantika.
8. Predikátová logika a její syntaxe.
9. Sémantika predikátové logiky.
10. Tradiční logika.
11. Přirozená dedukce klasické logiky.
12. Temporální logika, základy.
13. Rezerva.

Osnovy cvičení:
1. Vymezení logiky.
2. Klasifikace logiky.
3. Vývoj logiky.
4. Logická analýza jazyka.
5. Definice.
6. Explikace, klasifikace a úsudky.
7. Výroková logika, syntaxe a sémantika.
8. Predikátová logika a její syntaxe.
9. Sémantika predikátové logiky.
10. Tradiční logika.
11. Přirozená dedukce klasické logiky.
12. Temporální logika, základy.
13. Rezerva.

Literatura Č:
1. Jan Štěpán: Formální logika. FIN Olomouc, 1995.
2. K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing Group, Guilford, CT, 1994.

Literatura A:
1. K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing Group, Guilford, CT, 1994.

Požadavky:
Podmínky pro získání zápočtu určí vyučující.

Rozsah výuky v kombinované formě studia: 12+0
Typ cvičení: s

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
MVT01 Výpočetní technika H 1
MTR01 Telekomunikace a radiotechnika H 1
MEK01 Ekonomika a řízení elektrotechniky a energetiky H 1
MKM01 Kybernetika a měření H 1
MSE01 Silnoproudá elektrotechnika H 1
MEL01 Elektronika H 1
MKM03 Kybernetika a měření H 1
MVT05 Výpočetní technika H 1
MVT04 Výpočetní technika H 1
MVT03 Výpočetní technika H 1
MTR05 Telekomunikace a radiotechnika H 1
MTR03 Telekomunikace a radiotechnika H 1
MSE04 Silnoproudá elektrotechnika H 1
MVT02 Výpočetní technika H 1
MSE03 Silnoproudá elektrotechnika H 1
MTR02 Telekomunikace a radiotechnika H 1
MSE02 Silnoproudá elektrotechnika H 1
MKM04 Kybernetika a měření H 1
MEL03 Elektronika H 1
MTR04 Telekomunikace a radiotechnika H 1
MEK02 Ekonomika a řízení elektrotechniky a energetiky H 1
MEL02 Elektronika H 1
MKM02 Kybernetika a měření H 1


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)