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:Functional Analysis (정민구) file 고등과학원 정민구
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Algebraic Geometry (박현준) file KIAS 박현준
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Geometric Topology (김승원) file 성균관대학교 김승원
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Harmonic Analysis (오세욱) file 고등과학원 오세욱
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Harmonic Analysis (함세헌) file 수학연구소 함세헌
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Probability Theory (변성수) file KIAS 변성수
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Probability Theory (이중경) file 수리과학부 이중경
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Representation Theory(이신명) file 수리과학부 이신명
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Representation Theory(허태혁) file QSMS 허태혁
BK21 FOUR Rookies Pitch 2023-1 Algebraic Combinatorics (김동현) file BK21 김동현
BK21 FOUR Rookies Pitch 2023-1 Algebraic Combinatorics (오재성) file KIAS 오재성
BK21 FOUR Rookies Pitch 2023-1 Dynamics and Number Theory (이슬비) file IBS-CGP 이슬비
BK21 FOUR Rookies Pitch 2023-1 Geometric Toplology (정홍택) file BK21 정홍택
BK21 FOUR Rookies Pitch 2023-1 Number Theory (김대준) file KIAS 김대준
BK21 FOUR Rookies Pitch 2023-1 Number Theory (김민규) file 성균관대학교 김민규
BK21 FOUR Rookies Pitch 2023-1 Probabilistic Potential Theroy (강재훈) file BK21 강재훈
BK21 FOUR Rookies Pitch 2023-1 Stochastic PDE(이재윤) file KIAS 이재윤
BK21 FOUR Rookies Pitch 2023-1 Symplectic Topology (노경민) file 서울대학교 노경민
BK21 FOUR Rookies Pitch 2023-1 Symplectic Topology (이상진) file IBS-CGP 이상진
BK21 FOUR Rookies Pitch 2023-2 Differential Geometry (서동휘) file 수학연구소 서동휘
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Next
/ 15