| 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.
Role of Computational Mathematics and Image Processing in Magnetic Resonance Electrical Impedance Tomography (MREIT)
Root multiplicities of hyperbolic Kac-Moody algebras and Fourier coefficients of modular forms
Satellite operators on knot concordance
Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition
Seifert fiberings
Seoul ICM 2014 유치과정 개요 및 준비전략
Sheaf quantization of Hamiltonian isotopies and non-displacability problems
Solver friendly finite element methods
Space.Time.Noise
Spectral Analysis for the Anomalous Localized Resonance by Plasmonic Structures
Structures of Formal Proofs
Structures on Persistence Barcodes and Generalized Persistence
Study stochastic biochemical systems via their underlying network structures
Subgroups of Mapping Class Groups
Subword complexity, expansion of real numbers and irrationality exponents
Sums of squares in quadratic number rings
Symmetry Breaking in Quasi-1D Coulomb Systems
Symplectic Geometry, Mirror symmetry and Holomorphic Curves
Symplectic topology and mirror symmetry of partial flag manifolds
The classification of fusion categories and operator algebras
