https://www.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
Lecturer 정주희
Dept. 경북대학교
date Oct 08, 2009

Fitch is a formal proof system recently gaining momentum in logic education due to its structural similarity to human reasoning. We introduce Fitch via its web-implementation at http://www.proofmood.com. Then we compare Fitch with more well-known proof systems such as Hilbert System, Natural Deduction and Sequent Calculus. Similarities and differencies among these systems are discussed.

Atachment
Attachment '1'
List of Articles
Category Subject Dept. Lecturer
Math Colloquia <학부생을 위한 ɛ 강연> Mathematics and music: Pythagoras, Bach, Fibonacci and AI file 피아니스트 임현정
Math Colloquia Fixed points of symplectic/Hamiltonian circle actions file 부산대 수학과 장동훈
Math Colloquia <학부생을 위한 ɛ 강연> Mathematical Aspects of Machine Learning and Deep Learning AI file 서울대학교 컴퓨터공학부 장병탁
Math Colloquia Vlasov-Maxwell equations and the Dynamics of Plasmas file 포항공과대학교 장진우
Math Colloquia Free boundary problems arising from mathematical finance file 경희대학교 전준기
Math Colloquia 학부생을 위한 강연회: Tipping Point Analysis and Influence Maximization in Social Networks file KAIST 정교민
Math Colloquia Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연) file 서울대 전기공학부 정교민
Math Colloquia <학부생을 위한 ɛ 강연> 서비스 진보의 관점에서 본 AI technology file 이스트소프트 대표 정상원
Math Colloquia Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza file 건국대학교 교수, 현 산업응용수학회 회장 정은옥
Math Colloquia Ill-posedness for incompressible Euler equations at critical regularit file 서울대학교 정인지
Math Colloquia Mathematics, Biology and Mathematical Biology file 부산대학교 수학과 정일효
Math Colloquia On the resolution of the Gibbs phenomenon file SUNY Buffalo 정재훈
Math Colloquia Structures of Formal Proofs file 경북대학교 정주희
Math Colloquia Lie group actions on symplectic manifolds file 성균관대학교 수학교육과 조윤형
Math Colloquia Counting number fields and its applications file UNIST 조재현
Math Colloquia Descent in derived algebraic geometry file 서강대학교 조창연
Math Colloquia <학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭 file 서울대학교 조철현
Math Colloquia 정년퇴임 기념강연회: 숙제 file 서울대학교 지동표
Math Colloquia Classical and Quantum Probability Theory file 충북대학교 지운식
Math Colloquia <학부생을 위한 ε 강연> 수학과 예술 - 초기 컴퓨터 그래픽 file 동양대학교 진중권
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12