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