프로그래밍 방식의 변화 프로그래밍에서도 증명이 필요하지 않나요? 복잡도 이론은 수학적 증명을 기반으로 만들어짐 알고리즘에서 기본적으로 배우죠 예전에는 증명하고 돌려야했음… 단말기(terminal) 메인프레임 공유하는 낭만의 시절 무한 루프 발생하면 종이 무한으로 출력 ㅋㅋ 개인용 PC의 도입 돌려보면서 디버깅하는 경우가 많음! 목적은 컴퓨터의 원리를 이해하는 것!