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'
List of Articles
Category Subject Dept. Lecturer
BK21 FOUR Rookies Pitch 2021-2 Rookies Pitch: Probability Theory (조수빈) file 서울대학교 수리과학부 조수빈
Math Colloquia Ill-posedness for incompressible Euler equations at critical regularit file 서울대학교 정인지
BK21 FOUR Rookies Pitch 2021-2 Rookies Pitch: Low Demensional Topology (이동수) file QSMS 이동수
BK21 FOUR Rookies Pitch 2021-2 Rookies Pitch: Geometric Topology (김경로) file BK21 김경로
Special Colloquia 허준이 교수 호암상 수상 기념 강연 (Lorentzian Polynomials) file Professor, Stanford University 허준이 교수
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Number Theory (김예슬) file 수학연구소 김예슬
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Representation Theory (최승일) file QSMS 최승일
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Optimization Theory (이다빈) file IBS-DIMAG 이다빈
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Topological Combinatorics (이강주) file 수학연구소 이강주
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: PDE, Regularity Theory (박진완) file 수학연구소 박진완
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: PDE, Dynamical Systems (박한솔) file 수리과학부 박한솔
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Financial Mathematics(전재기), PDE, Kinetic Equation(배기찬) file BK21 FOUR 전재기, 배기찬
BK21 FOUR Rookies Pitch 2021-1 Rookies Pitch: Algebraic Combinatorics(이승재), Algebraic Geometry(조창연) file 이승재(기초과학연구원), 조창연(QSMS)
Math Colloquia <정년퇴임 기념강연> 수학의 시대정신(?) file 서울대학교 수리과학부 김명환
Math Colloquia <학부생을 위한 ɛ 강연> Mathematical Aspects of Machine Learning and Deep Learning AI file 서울대학교 컴퓨터공학부 장병탁
Math Colloquia Lie group actions on symplectic manifolds file 성균관대학교 수학교육과 조윤형
Math Colloquia Mathematics, Biology and Mathematical Biology file 부산대학교 수학과 정일효
Math Colloquia Quantitative residual non-vanishing of special values of various L-functions file UNIST 선해상
Classification of simple amenable operator algebras file Lakehead University Grazia Viola
Math Colloquia Quantum Dynamics in the Mean-Field and Semiclassical Regime file Ecole Polytechnique Francoise Golse
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Next
/ 14