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