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
카테고리 제목 소속 강연자
BK21 FOUR Rookies Pitch 2022-1 Rookies Pitch: Symplectic/Algebraic Geometry (좌동욱) file 고등과학원 좌동욱
BK21 FOUR Rookies Pitch 2022-1 Rookies Pitch: Algebraic Topology (송종백) file 고등과학원 송종백
BK21 FOUR Rookies Pitch 2022-1 Rookies Pitch:Functional Analysis (정민구) file 고등과학원 정민구
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Harmonic Analysis (오세욱) file 고등과학원 오세욱
수학강연회 What happens inside a black hole? file 고등과학원 오성진
수학강연회 Conformal field theory in mathematics file 고등과학원 강남규
수학강연회 On circle diffeomorphism groups file 고등과학원 김상현
수학강연회 Topological surgery through singularity in mean curvature flow file 고등과학원 최경수
수학강연회 <학부생을 위한 ɛ 강연> 양자상태의 기하학 file 고등과학원 김영훈
수학강연회 Free boundary problems arising from mathematical finance file 경희대학교 전준기
수학강연회 Structures of Formal Proofs file 경북대학교 정주희
수학강연회 High dimensional nonlinear dynamics file 경북대학교 도영해
수학강연회 Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza file 건국대학교 교수, 현 산업응용수학회 회장 정은옥
수학강연회 원의 유리매개화에 관련된 수학 file 건국대학교 최인송
수학강연회 Satellite operators on knot concordance file 건국대학교 김태희
수학강연회 학부생을 위한 ε 강연회: Constructions by ruler and compass together with a conic file 건국대/서울대 최인송
수학강연회 Random walks in spaces of negative curvature file Yale Univ. Giulio Tiozzo
수학강연회 On Ingram’s Conjecture file University of Zagrab Sonja Stimac
수학강연회 A dissipative effect on some PDEs with physical singularity file University of Wisconsin-Madison 김찬우
수학강연회 Hamiltonian dynamics, Floer theory and symplectic topology file University of Wisconsin 오용근
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Next
/ 15