FI:IV028 Zákl. pojmy obecné logiky - Informace o předmětu

IV028 Základní pojmy obecné logiky

Rozsah

2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. PhDr. Pavel Materna, CSc. (přednášející)

Garance

prof. Ing. Václav Přenosil, CSc.
Katedra strojového učení a zpracování dat – Fakulta informatiky
Kontaktní osoba: prof. PhDr. Pavel Materna, CSc.
Dodavatelské pracoviště: Katedra strojového učení a zpracování dat – Fakulta informatiky

Rozvrh

Čt 10:00–11:50 B410

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• Český jazyk se specializací počítačová lingvistika (program FF, B-FI)
• Informační systémy (program FI, N-IN)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-EB)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, B-IN)
• Informatika (program FI, D-IN4)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4)
• Počítačové systémy a technologie (program FI, D-IN4)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Teoretická informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Výpočetní technika (program FI, B-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

Na konci kurzu budou studenti rozumět základním pojmům logiky a chápat rozdíl a vzájemný vztah nezi sémantikou a syntaxí. Budou umět řešit standardní úkoly v rozsahu predikátové logiky 1.řádu s identitou, zejména rozhodnout, zda daný závěr vyplývá z daných premis. Budou mít jasno v otázce aplikovatelnosti logiky na řešení problémů formulovaných v přirozeném jazyce.

Osnova

• Sémantická charakteristika logiky.
• Tradiční, symbolická (matematická) logika, filozofická logika.Strčný přehled dějin logiky. Obecná charakteristika klasické logiky.
• Výroková logika (logika pravdivostních funkcí), výrokový kalkul.
• Vlastnosti formálních systémů (bezespornost, úplnost, rozhodnutelnost).
• Výrokově logické vyplývání, tautologie.
• Formální důkaz. Tvrzení o dedukci.
• Úplná disjunktivní a konjunktivní normální forma.
• Predikátová logika 1.řádu. Formální systém, interpretace. Splnitelnost, logická pravdivost logické vyplývání.
• Fragment: kategorický sylogismus.
• Funkce, identita, určitá deskripce. Teorie typů, vyšší řády. Neklasické logiky.

Literatura

doporučená literatura
• ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc: FIN, 1995, 109 s. ISBN 80-7182-004-0. info

Výukové metody

přednášky, diskuse

Metody hodnocení

Přednáška bez cvičení.Podpora diskusí při přednášce. Na závěr zkouška.Zkouska se sklada z pisemneho vyreseni prikladu z predikatove logiky (zamereni: semanticke pojmy, duraz na vyplyvani) a z pohovoru o teoretickych zakladech vychazejiciho z prednasky a doporucene literatury.

Informace učitele

Možnost konzultací podle dohody nebo přes e-mail.

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2013, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2013/IV028