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

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

  1. Fitch Proof System, Propositional (명제논리 피치 증명시스템)
  2. Introduction to Semantics (의미론 입문)
    • semantics1.mp4 (21min58sec, 1980 x 1080, 2021-02-23)
    • semantics2.mp4 (31min09sec, 1980 x 1080, 2021-02-24)
    • jlogic.zip을 다운 받아 압축을 풀면 윈도즈 프로그램 jlogic.exe와 보조 파일들이 나타납니다.
    • 사용법과 해설은 jlogic.pdf에 있습니다.
    • jlogic.exe는 Windows 10에서 도움말이 작동하지 않습니다. 오래 전에(1999년도) Windows 95에서 개발된 것이므로 그렇습니다. 도움말 기능 외에는 jlogic.exe의 모든 기능이 잘 작동됩니다. (단, iMac의 Parallels 환경에서는 jlogic.exe가 조금 버벅거릴 수 있습니다.)
    • 다운로드나 프로그램 실행단계에서 위험성을 경고하면서 진행을 중지할지를 물을 수 있는데, 그냥 믿고 진행하시면 됩니다.
  3. Fitch Proof System , 1st-order (1계논리 피치 증명시스템)
  4. Coq, Propositional Logic and the "apply" tactic
Copyright © 2018–2024, Joohee Jeong.
All rights reserved. (jjeong314 at 네이버)