|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KFI / LOF
:
Popis předmětu
Pracoviště / Zkratka
|
KFI
/
LOF
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Logika
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Akreditováno / Kredity
|
Ano,
5
Kred.
|
Forma zakončení
|
Kombinovaná
|
Forma zakončení
|
Kombinovaná
|
Rozsah hodin
|
Přednáška
2
[HOD/TYD]
Cvičení
2
[HOD/TYD]
|
Zápočet před zkouškou
|
Ano
|
Zápočet před zkouškou
|
Ano
|
Automatické uznávání zápočtu před zkouškou
|
Ano v případě předchozího hodnocení 4 nebo nic.
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ano v případě předchozího hodnocení 4 nebo nic.
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
0 / -
|
0 / -
|
0 / -
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Zimní semestr
|
Vyučovaný semestr
|
Zimní semestr
|
Minimum (B + C) studentů
|
5
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
Čeština
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
|
Hodnotící stupnice |
1|2|3|4 |
Periodicita |
každý rok
|
Hodnotící stupnice pro zp. před zk. |
S|N |
Periodicita upřesnění |
|
Základní teoretický předmět |
Ne
|
Profilující předmět |
Ne
|
Základní teoretický předmět |
Ne
|
Hodnotící stupnice |
1|2|3|4 |
Hodnotící stupnice pro zp. před zk. |
S|N |
Nahrazovaný předmět
|
Žádný
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
Nejsou definovány
|
Předměty informativně doporučené
|
Nejsou definovány
|
Předměty,které předmět podmiňuje
|
Nejsou definovány
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční. Představit základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Ukázat postup formalizace vět přirozeného jazyka do jazyka formalizovaného.
|
Požadavky na studenta
|
Pre-Exam credit: written test. Exam: combined examination.
|
Obsah
|
Probíraná témata: pojem, soud, úsudek; přirozený a umělý jazyk; logický čtverec, sylogistika; platnost, splnitelnost, tautologie, kontradikce; vyplývání; kvantifikované výroky, predikáty; transformace výroků; logika tříd a relací; definice a definování; neklasické logiky, trojhodnotová logika, modální logika.
|
Aktivity
|
|
Studijní opory
|
Studenti mají k dispozici oporu ve formě skupiny/týmu v rámci systému Microsoft Teams.
Elektronické opory projektu Logika - https://www.esf.kfi.zcu.cz/logika/
|
Garanti a vyučující
|
|
Literatura
|
-
Základní:
Štěpán, Jan. Formální logika. 2. přeprac. vyd. Olomouc : FIN, 1995. ISBN 80-7182-004-0.
-
Základní:
Štěpán, Jan; Hrubeš, Jaromír. Logika : terminologický a výkladový slovník. 1. vyd. Ostrava : Ateliér Milata, 1994.
-
Základní:
Materna, Pavel. Umíte logicky myslet ?. 1. vyd. Praha : Státní pedagogické nakladatelství, 1968.
-
Základní:
Bokr, Josef; Svatek, Jan. Základy logiky a argumentace : pro zájemce o umělou inteligenci, filozofii, práva a učitelství. 1. vyd. Dobrá Voda u Pelhřimova : Aleš Čeněk, 2000. ISBN 80-902627-8-3.
-
Doporučená:
Quine, Willard Van Orman. Elementary logic. Cambridge : Harvard University Press, 1998. ISBN 0-674-24451-6.
-
Doporučená:
Mellone, S. H. Elements of Modern Logic. Cambridge, London, 1966.
-
Doporučená:
Church, Alonzo. Introduction to mathematical logic. Princeton : Princeton University Press, 1996. ISBN 0-691-02906-7.
-
Doporučená:
Basson and D. J. O?lonnor. Introduction to Symbolic Logic. Cambridge, London, 1965.
-
Doporučená:
Sainsbury, R. M. Logical Forms. Basil Blackwell, Oxford, 1991.
-
Doporučená:
Svatek, Jan. Logika I : [pro učitele občanské výchovy]. 1. vyd. Plzeň : ZČU, 1995. ISBN 80-7082-189-2.
-
Doporučená:
Russell, Bertrand. Logika, jazyk a věda. Praha : Svoboda, 1967.
-
Doporučená:
Quine, W. V. O. Mathematical Logic. Cambridge (Mass.), 1958.
-
Doporučená:
Mleziva, Miroslav. Neklasické logiky. Vyd. 1. Praha : Svoboda, 1970.
-
Doporučená:
Berka Karel. Stručné dějiny logiky. Praha, Univ. Karlova, 1994.
-
Doporučená:
Kneale, William; Kneale, Martha. The development of logic. Oxford : Oxford University Press, 1984. ISBN 0-19-824773-7.
-
Doporučená:
Svatek, Jan. Úvod do logiky : Určeno [pro posl.] 2. a 3. roč. fak. strojní a fak. elektrotechn.. 1. vyd. Plzeň : Vysoká škola strojní a elektrotechnická, 1991. ISBN 80-7082-031-4.
-
Doporučená:
Weinberger, Ota. Základy právní logiky. 1. vyd. Brno : Masarykova univerzita, 1993. ISBN 80-210-0827-X.
-
On-line katalogy knihoven
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Kontaktní výuka
|
52
|
Příprava na dílčí test [2-10]
|
10
|
Příprava na souhrnný test [6-30]
|
25
|
Příprava na zkoušku [10-60]
|
43
|
Celkem
|
130
|
|
Předpoklady
|
Odborné znalosti - pro úspěšné zvládnutí předmětu se předpokládá, že je student před zahájením výuky schopen: |
kurz nevyžaduje žádné zvláštní předchozí znalosti ani dovednosti |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
studenti se naučí používat základní pojmy formální logiky. Dokážou odvodit platnost úsudku ve výrokové a predikátové logice. Vysvětlí použití Aristotelské logiky. Formalizují věty přirozeného jazyka v jazyce predikátové logiky. Rozpoznají a dokážou vytvořit adekvátní definice. Popíšou některé systémy neklasických logik |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Kombinovaná zkouška, |
Test, |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Přednáška založená na výkladu, |
Cvičení (praktické činnosti), |
|
|
|
|