UIN3060 Logic and Applied Computer Science 2

Faculty of Philosophy and Science in Opava
Summer 2013
Extent and Intensity
2/2/0. 6 credit(s). Type of Completion: zk (examination).
Teacher(s)
Mgr. Marek Menšík, Ph.D. (lecturer)
Mgr. Marek Menšík, Ph.D. (seminar tutor)
Guaranteed by
Mgr. Marek Menšík, Ph.D.
Institute of Computer Science – Faculty of Philosophy and Science in Opava
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives (in Czech)
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ů.
Syllabus (in Czech)
  • 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.
Language of instruction
Czech
Further Comments
The course can also be completed outside the examination period.
The course is also listed under the following terms Summer 2010, Summer 2011, Summer 2012, Summer 2014, Summer 2015, Summer 2016, Summer 2017, Summer 2018, Summer 2019, Summer 2020, Summer 2021, Summer 2022, Summer 2023, Summer 2024.
  • Enrolment Statistics (Summer 2013, recent)
  • Permalink: https://is.slu.cz/course/fpf/summer2013/UIN3060