U E D R , A S I H C RSS

로지칼씽킹/11_1

No older revisions available

No older revisions available




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 2018-11-01 04:48:24
Processing time 0.0861 sec