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 Topology of configuration spaces on graphs file KAIST 고기형
Math Colloquia Topology and number theory file Univ. College London/포항공대 김민형
Math Colloquia Topological surgery through singularity in mean curvature flow file 고등과학원 최경수
Math Colloquia Topological aspects in the theory of aperiodic solids and tiling spaces file Georgia Institute of Technology, School of Mathematics and School of Physics Jean V. Bellissard
Math Colloquia Theory and applications of partial differential equations file 서울대 변순식
Math Colloquia The significance of dimensions in mathematics file Kyoto Univ./서울대학교 Heisuke Hironaka
Math Colloquia The Shape of Data file Stanford University Gunnar E. Carlsson
Math Colloquia The process of mathematical modelling for complex and stochastic biological systems file KAIST 김재경
Math Colloquia The phase retrieval problem file Hong Kong University of Science and Technology Yang Wang
Math Colloquia The Mathematics of the Bose Gas and its Condensation file KAIST 이지운
Math Colloquia The Lagrange and Markov Spectra of Pythagorean triples file 동국대학교 김동한
Math Colloquia The classification of fusion categories and operator algebras file Kyoto University Masaki Izumi
Math Colloquia Symplectic topology and mirror symmetry of partial flag manifolds file 부산대학교 수학과 김유식
Math Colloquia Symplectic Geometry, Mirror symmetry and Holomorphic Curves file 연세대 수학과 홍한솔
Math Colloquia Symmetry Breaking in Quasi-1D Coulomb Systems file 서강대학교 Paul Jung
Math Colloquia Sums of squares in quadratic number rings file Univ. of Kentucky David Leep
Math Colloquia Subword complexity, expansion of real numbers and irrationality exponents file 동국대 김동한
Math Colloquia Subgroups of Mapping Class Groups file 서울대학교 김상현
Math Colloquia Study stochastic biochemical systems via their underlying network structures file 포항공과대학교 김진수
Math Colloquia Structures of Formal Proofs file 경북대학교 정주희
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 Next
/ 11