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

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í.

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