'First Order Logic'에 해당되는 글 10건
- 2015.02.15 FOL(8) - completeness theorem 1
- 2015.02.13 FOL(9) - compactness theorem and its equivalnce 2
- 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
