틀:이산수학·수리논리학 疇 컴퓨터과학 Haskell 자유군 니콜라 부르바키 확률론 행사다리꼴 철학서 나무위키:프로젝트/수학 선형 변환 대수기하학 대수학 수학철학 틀:이론 컴퓨터 과학 대수학/교재 틀:대수학 명사 학문 관련 정보 모임 카테고리 틀:수학기초론 디자인 패턴 함수 과학/기호 수리논리학 일반화 필요조건과 충분조건 범주 알렉산더 그로텐디크 수학 군(대수학) 컴퓨터공학 필즈상 베르 범주 정리 틀:컴퓨터공학 선형대수학 범주(범주론)