| 강연자 | 정주희 |
|---|---|
| 소속 | 경북대학교 |
| 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.
행렬함수 Permanent의 극소값 결정과 미해결 문제들
The Mathematics of the Bose Gas and its Condensation
Codimension Three Conjecture
학부생을 위한 강연: 건축과 수학
Classical and Quantum Probability Theory
Iwasawa main conjecture and p-adic L-functions
학부생을 위한 강연: Choi's orthogonal Latin Squares is at least 61 years earlier than Euler's
젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization
Sums of squares in quadratic number rings
Fano manifolds of Calabi-Yau Type
곡선의 정의란 무엇인가?
The significance of dimensions in mathematics
Fermat´s last theorem
It all started with Moser
On some nonlinear elliptic problems
Topology and number theory
Conservation laws and differential geometry
학부학생을 위한 강연회: 기하학과 우주론
Zeros of linear combinations of zeta functions
Counting circles in Apollonian circle packings and beyond
