https://www.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
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.

Atachment
Attachment '1'
  1. 07Nov
    by Editor
    in Math Colloquia

    Randomness of prime numbers

  2. 15Dec
    by 김수현
    in Math Colloquia

    Brownian motion and energy minimizing measure in negative curvature

  3. 20Sep
    by 김수현
    in Math Colloquia

    Homogeneous dynamics and its application to number theory

  4. 17Oct
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> Mathematics and music: Pythagoras, Bach, Fibonacci and AI

  5. 03Apr
    by 김수현
    in Math Colloquia

    Fixed points of symplectic/Hamiltonian circle actions

  6. 26Nov
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> Mathematical Aspects of Machine Learning and Deep Learning AI

  7. 11Apr
    by 김수현
    in Math Colloquia

    Vlasov-Maxwell equations and the Dynamics of Plasmas

  8. 17Oct
    by 김수현
    in Math Colloquia

    Free boundary problems arising from mathematical finance

  9. 07Nov
    by Editor
    in Math Colloquia

    학부생을 위한 강연회: Tipping Point Analysis and Influence Maximization in Social Networks

  10. 20Oct
    by 김수현
    in Math Colloquia

    Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)

  11. 20Oct
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> 서비스 진보의 관점에서 본 AI technology

  12. 23May
    by 김수현
    in Math Colloquia

    Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza

  13. 13Oct
    by 김수현
    in Math Colloquia

    Ill-posedness for incompressible Euler equations at critical regularit

  14. 08Nov
    by 김수현
    in Math Colloquia

    Mathematics, Biology and Mathematical Biology

  15. 15Apr
    by 김수현
    in Math Colloquia

    On the resolution of the Gibbs phenomenon

  16. 01Nov
    by Manager
    in Math Colloquia

    Structures of Formal Proofs

  17. 21Nov
    by 김수현
    in Math Colloquia

    Lie group actions on symplectic manifolds

  18. 08Nov
    by 김수현
    in Math Colloquia

    Counting number fields and its applications

  19. 16May
    by 김수현
    in Math Colloquia

    Descent in derived algebraic geometry

  20. 29May
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭

Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12