| 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.
Topology and number theory
Conservation laws and differential geometry
학부학생을 위한 강연회: 기하학과 우주론
Zeros of linear combinations of zeta functions
Counting circles in Apollonian circle packings and beyond
Sheaf quantization of Hamiltonian isotopies and non-displacability problems
Limit computations in algebraic geometry and their complexity
학부생을 위한 강연: Introduction to partial differential equations
Symmetry Breaking in Quasi-1D Coulomb Systems
Partial differential equations with applications to biology
학부생을 위한 강연: A COMBINATORIAL FORMULA FOR INFORMATION FLOW IN A NETWORK
Gaussian free field and conformal field theory
Hamiltonian dynamics, Floer theory and symplectic topology
Global result for multiple positive radial solutions of p-Laplacian system on exterior domain
Seoul ICM 2014 유치과정 개요 및 준비전략
Averaging formula for Nielsen numbers
Structures of Formal Proofs
Contact Homology and Constructions of Contact Manifolds
Unprojection
Volume entropy of hyperbolic buildings
