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
Math Colloquia Partial differential equations with applications to biology file POSTECH 황형주
Math Colloquia Diophantine equations and moduli spaces with nonlinear symmetry file 서울대학교 황준호
Math Colloquia Symplectic Geometry, Mirror symmetry and Holomorphic Curves file 연세대 수학과 홍한솔
Math Colloquia Toward bridging a connection between machine learning and applied mathematics file 성균관대학교 홍영준
Math Colloquia 돈은 어떻게 우리 삶에 돈며들었는가? (불확실성 시대에 부는 선형적으로 증가하는가?) file 농협은행 홍순옥
Math Colloquia <학부생을 위한 ɛ 강연> Self-Supervised Learning in Computer Vision file 인하대학교 현윤석
Math Colloquia Limit computations in algebraic geometry and their complexity file POSTECH 현동훈
Math Colloquia Geometry, algebra and computation in moduli theory file 서울대 현동훈
Math Colloquia <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity file 서울대학교 현동훈
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Representation Theory(허태혁) file QSMS 허태혁
Math Colloquia Mechanization of proof: from 4-Color theorem to compiler verification file 서울대 컴퓨터공학부 허충길
Special Colloquia 허준이 교수 호암상 수상 기념 강연 (Lorentzian Polynomials) file Professor, Stanford University 허준이 교수
Special Colloquia Combinatorics and Hodge theory file 미국 프린스턴대 교수, 한국 고등과학원 석학교수 허준이
BK21 FOUR Rookies Pitch 2022-2 Rookies Pitch: Harmonic Analysis (함세헌) file 수학연구소 함세헌
Math Colloquia 젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization file 서울대학교 하승열
Math Colloquia One and Two dimensional Coulomb Systems file 카이스트 폴정
Math Colloquia Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition file 서울대학교 최형인
BK21 FOUR Rookies Pitch 2023-2 Generative Model(최재웅) file KIAS AI 기초과학센터 최재웅
Math Colloquia 극소곡면의 등주부등식 file KIAS 최재경
Math Colloquia 원의 유리매개화에 관련된 수학 file 건국대학교 최인송
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Next
/ 15