|
|
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
KIP / XLIN1
:
Popis předmětu
Pracoviště / Zkratka
|
KIP
/
XLIN1
|
Akademický rok
|
2020/2021
|
Akademický rok
|
2020/2021
|
Název
|
Logika pro informatiky
|
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
6
[HOD/SEM]
Seminář
6
[HOD/SEM]
|
Zápočet před zkouškou
|
Ne
|
Zápočet před zkouškou
|
Ne
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
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
|
Ne
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
3 / -
|
0 / 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ů
|
nestanoveno
|
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 |
A|B|C|D|E|F |
Periodicita |
každý rok
|
Periodicita upřesnění |
|
Základní teoretický předmět |
Ano
|
Profilující předmět |
Ne
|
Základní teoretický předmět |
Ano
|
Hodnotící stupnice |
A|B|C|D|E|F |
Nahrazovaný předmět
|
KIP/7LIN1
|
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ákladními pojmy a postupy ve formální logice při řešení konkrétních deduktivních úloh. Studenti se seznámí ze strukturou a sémantikou jazyka výrokové a predikátové logiky a jejich odvozovacích metod. Tento předmět nebo jeho část může být přednášena/cvičena v anglickém jazyce. Zda v daném akademickém roce bude výuka v AJ realizována, může student ověřit dotazem u tajemníka katedry při registraci předmětu.
|
Požadavky na studenta
|
Předmět je ukončen zkouškou. Zkouška je rozdělena na dvě části, teoretické a praktické. V praktické části student napíše test, který bude obsahovat vybrané příklady z probrané problematiky, který bude hodnocen max. 50 body a musí získat min. 26 bodů. Následovat bude ústní zkouška, která je také hodnocena 50 body. Výsledný součet bodů bude odrážet získanou známku podle standardu hodnocení na OU.
Hodnocení předmětu probíhá v souladu s ustanoveními Studijního a zkušebního řádu OU.
|
Obsah
|
1. Modelování formální logikou
2. Syntax jazyka výrokové logiky
3. Sémantika jazyka výrokové logiky
4. Normální formy výrokových formulí
5. Splnitelnost a platnost výrokových formulí
6. Tablové a rezoluční nepřímé důkazy
7. Dedukce ve výrokové logice
8. Model a jazyk predikátové logiky
9. Sémantika jazyka predikátové logiky
10.Splňování a pravdivost v predikátové logice
11.Dedukce v predikátové logice pomocí nepřímých důkazů
|
Aktivity
|
|
Studijní opory
|
|
Garanti a vyučující
|
-
Garanti:
doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D. (100%),
-
Přednášející:
doc. RNDr. PaedDr. Hashim Habiballa, PhD., Ph.D. (50%),
doc. RNDr. Martin Kotyrba, Ph.D. (50%),
-
Cvičící:
doc. RNDr. Martin Kotyrba, Ph.D. (100%),
-
Vede seminář:
doc. RNDr. Martin Kotyrba, Ph.D. (100%),
|
Literatura
|
-
Základní:
Martin Kotyrba. Logika pro informatiky. Ostrava, 2015.
-
Rozšiřující:
Paul A. Gregory. Formal logic. Canada, 2017. ISBN 9781554812721.
-
Doporučená:
Alena Lukasová. Formální logika a sémantický web. Plzeň, 2015. ISBN 978-80-261-0408-7.
-
Doporučená:
Richard L Epstein. Reasoning and Formal Logic. USA, 2015. ISBN 9781938421037.
-
On-line katalogy knihoven
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Účast na výuce
|
8
|
Příprava na test
|
25
|
Konzultace s vyučujícím (včetně elektronické)
|
10
|
Samostudium
|
50
|
Semestrální práce
|
24
|
Příprava na zkoušku
|
30
|
Celkem
|
147
|
|
Předpoklady
|
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
Student má znalost základů výrokové a predikátové logiky, jako prostředků formální reprezentace znalostí. Student umí definovat základní prvky odvozovacích metod tabla a rezoluce. Student umí analyzovat znalosti základních důkazových metod logiky.
|
Odborné dovednosti - po absolvování předmětu prokazuje student dovednosti: |
Aplikovat základní důkazové a odvozovací metody formální logiky na vybrané typy úloh. |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Průběžná analýza výkonů studenta |
Písemná zkouška |
Ústní zkouška |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Monologická (výklad, přednáška, instruktáž) |
Dialogická (diskuze, rozhovor, brainstorming) |
G2 - Samostudium, řízené studium |
Metody e-learningu (tutoriál,, elektronické výukové materiály) |
|
|
|
|