https://www.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
강연자 정주희
소속 경북대학교
date 2009-10-08

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
첨부 '1'
List of Articles
카테고리 제목 소속 강연자
수학강연회 Freudenthal medal, Klein medal 수상자의 수학교육이론 file 서울대 수학교육과 권오남
수학강연회 Normal form reduction for unconditional well-posedness of canonical dispersive equations file KAIST 권순식
수학강연회 Contact topology of singularities and symplectic fillings file 순천대학교 권명기
수학강연회 학부생을 위한 강연: A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK file Univ. of Rhode Island/서울대학교 국웅
수학강연회 Combinatorial Laplacians on Acyclic Complexes file 서울대학교 국웅
수학강연회 <학부생을 위한 ɛ 강연> Continuous-time Portfolio Selection file 아주대학교 금융공학과 구형건
수학강연회 Solver friendly finite element methods file Oklahoma State Univ. 구자언
수학강연회 학부생을 위한 강연회: What is the algebraic number theory? file KAIST 구자경
수학강연회 Topology of configuration spaces on graphs file KAIST 고기형
수학강연회 학부생을 위한 ε 강연회: Mathematics from the theory of entanglement file 서울대학교 계승혁
수학강연회 <정년퇴임 기념강연> 작용소대수와 양자정보이론 file 서울대학교 계승혁
수학강연회 Spectral Analysis for the Anomalous Localized Resonance by Plasmonic Structures file 인하대학교 강현배
수학강연회 <학부생을 위한 ε 강연> Variable-driven sociological research with data innovations file 연세대학교 강정한
수학강연회 Periodic orbits in symplectic geometry file 서울대 강정수
수학강연회 Gaussian free field and conformal field theory file 서울대학교 강남규
수학강연회 Random conformal geometry of Coulomb gas formalism file 서울대학교 강남규
수학강연회 Conformal field theory in mathematics file 고등과학원 강남규
수학강연회 Brownian motion with darning and conformal mappings file University of Washington Zhen-Qing Chen
수학강연회 Anomalous diffusions and fractional order differential equations file University of Washington Zhen-Qing Chen
수학강연회 On some nonlinear elliptic problems file Paul Sabatier University, Toulouse Yuri Egorov
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12