https://www.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
Lecturer 현동훈
Dept. 서울대학교
date May 09, 2019

학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제);
• Non-deterministic 튜링 기계, NP 완정성과  P vs NP;
• 다른 컴퓨터 모델에 입각한 P vs NP 문제;
• P vs NP를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.


Atachment
Attachment '1'
  1. 22Sep
    by 김수현
    in Math Colloquia

    <청암상 수상 기념 특별강연> 동형암호, 기계학습, 근사정수론

  2. 17Oct
    by 김수현
    in Math Colloquia

    Topological surgery through singularity in mean curvature flow

  3. 25Mar
    by 김수현
    in Math Colloquia

    A modified separation method to solve a heat-transfer boundary value problem

  4. 07Nov
    by Editor
    in Math Colloquia

    Fermat´s last theorem

  5. 05Dec
    by 김수현
    in Math Colloquia

    Birational Geometry of varieties with effective anti-canonical divisors

  6. 17Nov
    by 김수현
    in Math Colloquia

    An equivalent condition to Bohr's for Dirichlet series

  7. 07Nov
    by Editor
    in Math Colloquia

    원의 유리매개화에 관련된 수학

  8. 07Nov
    by Editor
    in Math Colloquia

    학부생을 위한 ε 강연회: Constructions by ruler and compass together with a conic

  9. 07Nov
    by Editor
    in Math Colloquia

    극소곡면의 등주부등식

  10. 06Dec
    by 김수현
    in Math Colloquia

    Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition

  11. 15Oct
    by 김수현
    in Math Colloquia

    One and Two dimensional Coulomb Systems

  12. 07Nov
    by Editor
    in Math Colloquia

    젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization

  13. 16Apr
    by 김수현
    in Math Colloquia

    Mechanization of proof: from 4-Color theorem to compiler verification

  14. 07Nov
    by Editor
    in Math Colloquia

    Limit computations in algebraic geometry and their complexity

  15. 16Mar
    by 김수현
    in Math Colloquia

    Geometry, algebra and computation in moduli theory

  16. 14May
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity

  17. 19Nov
    by 김수현
    in Math Colloquia

    <학부생을 위한 ɛ 강연> Self-Supervised Learning in Computer Vision

  18. 22Oct
    by 김수현
    in Math Colloquia

    돈은 어떻게 우리 삶에 돈며들었는가? (불확실성 시대에 부는 선형적으로 증가하는가?)

  19. 14Apr
    by 김수현
    in Math Colloquia

    Toward bridging a connection between machine learning and applied mathematics

  20. 11Jun
    by 김수현
    in Math Colloquia

    Symplectic Geometry, Mirror symmetry and Holomorphic Curves

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