FPF:UIN3060 Logika a aplik. Informatika 2 - Informace o předmětu
UIN3060 Logika a aplikovaná informatika 2
Filozoficko-přírodovědecká fakulta v Opavěléto 2012
- 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
- Informatika a výpočetní technika (program FPF, M1801 Inf)
- 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.
- Obsah přednášek
- Další komentáře
- Předmět je dovoleno ukončit i mimo zkouškové období.
- Statistika zápisu (léto 2012, nejnovější)
- Permalink: https://is.slu.cz/predmet/fpf/leto2012/UIN3060