[Home]
Proofmood
동영상 파일은 mp4 형식이고 해상도는 1024 x 768 입니다. 유튜브의 스트리밍 서비스를 이용하고 있습니다.

Proofmood의 주소는 동영상에는 http://prooofmood.com으로 나오지만 이제는 https://proofmood.mindconnect.cc로 바뀌었습니다.

  1. Fitch Proof System, Propositional (명제논리 피치 증명시스템)
  2. Introduction to Semantics (의미론 입문) (준비중입니다)
  3. Fitch Proof System , 1st-order (1계논리 피치 증명시스템)
  4. Coq, Propositional Logic and the "apply" tactic
Copyright © 2018–2020, Joohee Jeong.
All rights reserved. (jjeong314 at 네이버)