| 강연자 | 정주희 |
|---|---|
| 소속 | 경북대학교 |
| 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.
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
