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