|
|
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
KMT / ML
:
Popis předmětu
Pracoviště / Zkratka
|
KMT
/
ML
|
Akademický rok
|
2018/2019
|
Akademický rok
|
2018/2019
|
Název
|
Matematická logika pro učitele
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Název dlouhý
|
Matematická logika
|
Akreditováno / Kredity
|
Ano,
2
Kred.
|
Forma zakončení
|
Kombinovaná
|
Forma zakončení
|
Kombinovaná
|
Rozsah hodin
|
Přednáška
1
[HOD/TYD]
Seminář
1
[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
|
-
|
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
|
6 / -
|
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í + Letní
|
Vyučovaný semestr
|
Zimní + Letní
|
Minimum (B + C) studentů
|
10
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
-
|
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):
|
1. Budování výrokového a predikátového kalkulu metodou semantického vyplývání pomocí pravidel dedukce a odvozovacíxh pravidel. 2. Ověřování úsudkových forem ve výrokovém a predikátovém kalkulu pomocí sémantického vyplývání Hilbertovou metodou řádků a Gentzenovým stromem. 3. Orientace v základních neklasických logikách.
|
Požadavky na studenta
|
Aktivní účast na seminářích. Vypracování 2 písemných bodovaných prací se získáním 75% bodů.
|
Obsah
|
1. výrok, abeceda výrokového kalkulu, formule výrokového kalkulu (FVK), formalizace výroku a interpretace FVK v přirozeném jazyce
2. ohodnocení FVK, logicky ekvivalentní formule, ekvivalentní úpravy formule, disjunktivní tvar, disjunktivní normální tvar
3. metoda kontrapříkladu, usuzování, vyplývání ve výrokovém kalkulu, správný a nesprávný úsudek, úsudková forma, pravidla správného usuzování
4. sémantické metody důkazu pravidel správného usuzování (tabulková metoda, metoda protipříkladu)
5. syntaktické metody důkazu pravidel správného usuzování, pravidla dedukce, přímý důkaz závěru úsudkové formy, Hilbertova metoda řádků, Gentzenův strom
5. nepřímý důkaz závěru úsudkové formy, důkaz závěru úsudkové formy s pomocnou hypotézou
6. věta o dedukci a věta k ní obrácená, věta o korektnosti a úplnosti výrokového kalkulu, úsudky s chybějícím závěrem, axiomatická výstavba výrokového kalkulu
7. abeceda predikátového kalkulu, formule predikátového kalkulu (FPK), predikát, výroková forma, kvantifikátory, interpretace FPK v přirozeném jazyce, formalizace výroku, definiční obor FPK, obor pravdivosti FPK
8. ohodnocení FPK, tautologie predikátového kalkulu
9. množinová interpretace atomických FPK, FPK vzniklé složením atomických FPK a jejich obory pravdivosti
10. vytvoření diagramu k FPK, zjištění typu FPK (především rozhodnutí, zda FPK je či není tautologií PK), úsudky v predikátovém kalkulu, využití množinové interpretace FPK k rozhodnutí o správnosti úsudku
11. odvozovací pravidla, důkazy tautologií PK pomocí pravidel
12. důkazy závěru úsudkové formy pomocí pravidel, formalizace konkrétního úsudku, vyvození závěru z premis pomocí pravidel,logické úlohy na ZŠ,
13. úvod do neklasických logik
|
Aktivity
|
|
Studijní opory
|
|
Garanti a vyučující
|
|
Literatura
|
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Příprava na zkoušku [10-60]
|
30
|
Kontaktní výuka
|
26
|
Celkem
|
56
|
|
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: |
předpokládají se znalosti v rozsahu předmětu KMT/MMM1 |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
1. Získat dovednosti v důkazech sémantického vyplývání ve výrokovém i predikátovém kalkulu. 2. Získat schopnost prověřovat úsudkové formy ve výrokovém i predikátovém kalkulu.3. Získat základní informace o neklasických logikách (Lukasewicova logika, intuicionistická logika) |
|
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 s diskusí, |
Cvičení (praktické činnosti), |
|
|
|
|