Předmět Logika v informatice (NMAI067)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu NMAI067 - Logika v informatice, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Vpřednášce se studenti seznámí s partiemi matematické logiky, které mají použití v informatice. Jedná se zejména o oblasti teorie důkazů, které mají uplatnění v teorii složitosti, v automatickém dokazování a dalších oborech teoretické informatiky.
Sylabus
1. výroková a predikátová logika - jazyk a modely 2. resoluce a další důkazové sytémy pro výrokový počet 3. termy a logika rovnosti 4. unifikace termů 5. přepisovací sytémy 6. důkazové systémy pro predikátovou logiku 7. Herbrandova věta a eliminace řezů 8. resoluce a automatické dokazování 9. složitost výrokového kalkulu a obecné důkazové systémy 10. Peanova aritmetika a její podsystémy 11. Godelova věta 12. lambda-kalkul
Literatura
S. R. Buss, An introduction to proof theory, in: Handbook of Proof Theory, Elsevier 1988.S.N. Burris, Logic for Mathematics and Computer Science, Prentice Hall, 1998. C.-L. Chang, R. C.-T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1970 J. Krajíček, Bounded arithmetic, propositional logic, and complexity theory, Encyclopedia of Mathematics and Its Applications, Vol. 60, Cambridge University Press, 1995. P. Pudlák, The lengths of proofs, in: Handbook of Proof Theory, Elsevier 1988.A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Cambridge Univ. Press
Garant
prof. RNDr. Pavel Pudlák, DrSc.