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 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.

첨부 '1'
List of Articles
카테고리 제목 소속 강연자
수학강연회 The Lagrange and Markov Spectra of Pythagorean triples file 동국대학교 김동한
수학강연회 Subword complexity, expansion of real numbers and irrationality exponents file 동국대 김동한
수학강연회 Conformal field theory and noncommutative geometry file 동경대학교 Kawahigashi
수학강연회 돈은 어떻게 우리 삶에 돈며들었는가? (불확실성 시대에 부는 선형적으로 증가하는가?) file 농협은행 홍순옥
수학강연회 Codimension Three Conjecture file 교토대학교/서울대학교 Masaki Kashiwara
수학강연회 A brief introduction to stochastic models, stochastic integrals and stochastic PDEs 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
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 Next
/ 11