Požadavky ke zkoušce z předmětu Logika v informatice

  1. Příklad pro automatické dokazování. Dostanete slovy zapsanou sentenci a máte ji
    1. zapsat pomocí formule predikátové logiky,
    2. dokázat v sekvenčním kalkulu,
    3. dokázat pomocí resoluce.
  2. Důkaz Godelovy věty
  3. Něco dalšího z přednášky
Pokud vám není něco jasné, přijďte na konzultaci!

Literatura

  1. S. Buss, An introduction to proof theory, in Handbook of Proof Theory, edited by S. Buss, Elsevier North-Holland, 1998, pp 1-78. X
  2. A.S. Troelstra and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press
  3. P. Pudlak: The lengths of proofs, in Handbook of Proof Theory, S.R. Buss ed., Elsevier, 1998, pp.547-637. X
  4. P. Hajek, P. Pudlak: Metamathematics of first order arithmetic, Springer-Verlag/ASL Pespectives in Logic, 1998 Kniha je ke stažení přes Project Euclid
  5. P. Pudlak: Lower bounds for resolution and cutting planes proofs and monotone computations, J. of Symb. Logic 62(3), 1997, pp.981-998. X