Light
Dark
정지 문제의 정의 어떤 알고리즘이 무한 루프에 빠지는지 알아내는 알고리즘이 존재할까? 이 질문에 대한 답을 우리는 정지 문제를 통해 알 수 있다. 이를 증명해보자. 정지 문제의 증명 과정 프로그램은 함수로 생각할 수 있다. 어떤 프로그램은 어떤 입력값을 받고 입력값에 대해 어떤 과정을 거쳐 어떤 값을 출력하는 ... Read More
작성 배경 이 포스트는 고려대학교에서 개설된 컴퓨터학과의 이산수학 과목(COSE-211)을 수강하며 공부한 내용을 정리하고자 만들었다. 즉, 학부생이 공부한 내용을 정리하기 위한 포스트이다. 개인적인 공부를 위해 만든 포스트이기 때문에 정확하지 않은 내용이 있을 수 있다. 또한, 수학과 과목이 아닌 컴퓨터학과에서 개설된 이산수학... Read More
