FPF:UINA360 Logic and Applied CS - Informace o předmětu
UINA360 Logic and Applied Computer Science 2
Filozoficko-přírodovědecká fakulta v Opavěléto 2018
- Rozsah
- 2/2/0. 6 kr. Ukončení: zk.
- Vyučující
- Mgr. Marek Menšík, Ph.D. (přednášející)
Mgr. Marek Menšík, Ph.D. (cvičící) - Garance
- Mgr. Marek Menšík, 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
- Computer Science and Technology (program FPF, N1801 Inf)
- Cíle předmětu
- In this course, students will be familiarized in detail with classical logics a priority with respect to other disciplines, such as axiomatic theory (relational algebra) and the models of the theory of formal languages and automata. At the end of the course, students are introduced to the logic of higher orders, particularly Transparent intensional logic, because of its high expressive power and advantages of the use as a specification language in information systems.
- 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.
- Obsah přednášek
- 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 - Vyučovací jazyk
- Angličtina
- 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 (léto 2018, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2018/UINA360