'FOL'에 해당되는 글 7건
- 2015.02.13 FOL(7) - completeness and its equivalence
- 2015.02.12 FOL(6) - soundness theorem and its equivalence
- 2015.02.12 FOL(5) - soundness theorem 1
- 2015.02.12 FOL(4) - syntax(2) 2
- 2015.02.11 FOL(3) - syntax(1) 2
- 2015.02.10 FOL(2) - semantics 2
- 2015.02.01 First-Order Logic(1) 3
