| 강연자 | 정주희 |
|---|---|
| 소속 | 경북대학교 |
| 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.
Subword complexity, expansion of real numbers and irrationality exponents
Subgroups of Mapping Class Groups
Study stochastic biochemical systems via their underlying network structures
Structures on Persistence Barcodes and Generalized Persistence
Structures of Formal Proofs
Structural stability of meandering-hyperbolic group actions
Spectral Analysis for the Anomalous Localized Resonance by Plasmonic Structures
Space.Time.Noise
Solver friendly finite element methods
Sheaf quantization of Hamiltonian isotopies and non-displacability problems
Seoul ICM 2014 유치과정 개요 및 준비전략
Seifert fiberings
Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition
Satellite operators on knot concordance
Root multiplicities of hyperbolic Kac-Moody algebras and Fourier coefficients of modular forms
Role of Computational Mathematics and Image Processing in Magnetic Resonance Electrical Impedance Tomography (MREIT)
Riemann-Hilbert correspondence for irregular holonomic D-modules
Restriction theorems for real and complex curves
Regularization by noise in nonlinear evolution equations
Regularity theory for non-autonomous elliptic equations in divergence form
