FPF:UIN3060 Logika a aplik. Informatika 2 - Informace o předmětu

UIN3060 Logika a aplikovaná informatika 2

Rozsah

2/2/0. 6 kr. Ukončení: zk.

Vyučující

RNDr. Radka Poláková, Ph.D. (přednášející)
RNDr. Radka Poláková, Ph.D. (cvičící)

Garance

RNDr. Radka Poláková, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě

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

• Informatika a výpočetní technika (program FPF, N1801 Inf)

Cíle předmětu

V tomto kurzu studenti budou detailně seznámeni s klasickými prvořádnými logikami s ohledem na další vědní disciplíny, jako axiomatické teorie (relační, algebraické) a nadále s modely teorií formálních jazyků a automatů. V závěru kurzu se studenti seznámí s logikami vyšších řádů, speciálně Transparentní intenzionální logikou, kde bude poukázáno na fakt vysoké expresivní síly a výhod užití jakožto specifikačního jazyka v informačních systémech na rozdíl od prvořádných systémů.

Osnova

• Obsah přednášek
  1. Systém přirozené dedukce PL1.
  2. Formální systém Hilbertova typu pro PL1
  3. Bezespornost, korektnost, úplnost, parciální rozhodnutelnost kalkulu PL1
  4. Formalizované teorie - Úvod, Hilbertův program
  5. Teorie relací
  6. Algebraické teorie
  7. Gödelovy věty o úplnosti kalkulu PL1
  8. Robinsonova a Peanova formální aritmetika, Gödelovy věty o neúplnosti formální aritmetiky.
  9. Transparentní intesionální logika - Úvod
  10. Formalizmus TIL a jeho výhody
  11. Srovnání formalizmů jednotlivých systémů
  Obsah cvičení:
  Jednotlivá cvičení budou orientována praktickým směrem, kdy si studenti vyzkouší jak formální důkazy, tak budou řešit problémy spojené s tématikou budování informačních systémů, tedy jaké teorie využívat při návrhu, kde je úskalí jednotlivých formalizmů a současně budou řešit projekt, ve kterém zhodnotí své nabyté znalosti.
  

Literatura

doporučená literatura
• Marie Duží. Matematická logika. Skripta VŠB-TU v Ostravě. URL info
• Duží Marie. Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic. Dordrecht, 2010. ISBN 978-90-481-8811-6. info
• Švejdar, V. Logika: neúplnost, složitost a nutnost. Praha, Academia, 2002. info
• Gahér, F. Logika pro každého. Bratislava, IRIS, 1998. info
• ŠTĚPÁN, J. Formální logika. Olomouc, 1995. info

Výukové metody

Přednáška s aktivizací
Přednáška s analýzou videozáznamu

Metody hodnocení

Zkouška
Zápočet

Informace učitele

Teoretické a praktické zvládnutí témat předmětu, podmínky budou upřesněny na začátku výuky.
zápočet: minimálně 15 z 30 bodů, zkouška: minimálně 35 z 70 bodů
Celkově minimálně 51 ze 100 bodů

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/leto2024/UIN3060