이론전산학 컴퓨팅 이론 최적화 이론 학문 관련 정보 어휘 분석 틀:과학의 범위 컴퓨터과학 형식과학 스티븐 울프럼 틀:형식과학 피터 쇼어 2의 거듭제곱 Forum of Mathematics arXiv 과학/기호 끝말잇기 네반리나상 디지털 물리학 문자열 범주론 불완전성 정리 컴퓨터공학 창조설 틀:컴퓨터공학 틀:이론 컴퓨터 과학 틀:전기전자공학 공학 컴퓨터공학과 C(프로그래밍 언어) 수학 최적화 1959년 홍콩중문대학 이름과 실제가 다른 것/수학 및 과학 자연수 틀:전자기학