U E D R , A S I H C RSS

로지칼씽킹/11_1


1. 예정

  • 복습 겸 용어 재정리
    • interpretation, truth value, equivalence, substitution
    • satisfiability, model, logical consequence
  • theory, theorem, axiom
  • semantic tableaux
  • soundness, completeness

2. 기타 / 후기 / 방명록

Valid XHTML 1.0! Valid CSS! powered by MoniWiki
last modified 2021-02-16 14:07:50
Processing time 0.0187 sec