전산학/계산이론

계산이론 모델, 형식언어 및 오토마타 이론, 계산 복잡도 이론 및 암호학, 논리학, 알고리즘 설계 및 분석 등에 관련한 서술이 있는 문서들을 포함합니다.