티스토리툴바

'학문/수리논리학'에 해당되는 글 23건

  1. 2015.02.13 FOL(7) - completeness and its equivalence
  2. 2015.02.12 FOL(6) - soundness theorem and its equivalence
  3. 2015.02.12 FOL(5) - soundness theorem 1
  4. 2015.02.12 FOL(4) - syntax(2) 2
  5. 2015.02.11 FOL(3) - syntax(1) 2
  6. 2015.02.10 FOL(2) - semantics 2
  7. 2015.02.07 completeness theorem for PL 2

티스토리툴바