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