틀:List:FormalSciences:Mathematics

lastmod 2019-07-25created 2015-02-1332 edits

• 초등 수학 (Elementary mathematics)
• 산술 (Arithmetic)
  • Rounding
• 대수학 (Algebra)
  • 이항연산 (Binary operation)
    • 거듭제곱 (Exponentiation) (Power)
      • 지수 함수 (Exponential function)
  • 군론
  • 환론
  • 체론
  • 수론 (Number theory)
    • 수열 (Sequence)
      • 급수 (Series)
    • 복소수 (Complex)
      • 사원수 (Quaternion)
  • 대수기하학
  • 선형대수학 (Linear algebra)
    • 방정식 (Equation)
    • 행렬 (Matrix)
      • 전치행렬 (Transpose)
    • 벡터 (Vector)
    • 스칼라 (Scalar)
    • 내적 (Dot product)
    • 외적 (Outer product)
    • 차원 (Dimension)
    • 노름 (Norm)
    • BLAS
      • cblas
      • OpenBLAS
      • Atlas
      • MKL
      • uBLAS (Boost)
      • lapack
        • Lapack++
  • 추상대수학 (Abstract algebra)
    • 다항식 (Polynomial)
      • 판별식 (Discriminant)
• 기하학 (Geometry)
  • 유클리드 기하학 (Euclidean geometry)
  • 사영기하학 (Projective geometry)
    • 동차좌표 (Homogeneous coordinates)
  • 좌표계 (Coordinates)
  • 해석기하학 (Analytic geometry)
    • 직선 (Line)
  • 삼각법 (Trigonometry)
    • 삼각 함수 (Trigonometric functions)
  • 다각형 (Polygon)
    • 육각형 (Hexagon)
  • 테셀레이션 (Tessellation; 쪽매맞춤)
    • Wang tile
• 해석학 (Mathematical analysis)
  • 미적분학 (Calculus)
    • 미분 (Derivative)
      • 편미분 (Partial derivative)
      • 테일러 정리 (Taylor's theorem)
    • 적분 (Integral)
• 수학기초 (Foundations of mathematics)
  • 수리논리학 (Mathematical logic)
    • 람다 대수 (Lambda calculus)
  • 집합론 (Set theory)
    • 함수 (Function)
      • 가우스 함수 (Gaussian function)
  • 범주론 (Category theory)
• 이산수학 (Discrete mathematics)
  • 논리학
  • 집합론
  • 수론
  • 조합론 (Combinatorics)
    • 순열 (Permutation)
    • 조합 (Combination)
    • 계승 (Factorial)
  • 그래프 이론 (Graph theory)
    • Diagram
  • 알고리즘
    (알고리즘은 컴퓨터언어로 분류한다)
  • 정보 이론
  • 계산 가능성 이론, 계산 복잡도 이론
  • 확률론 (Probability theory)
    • 확률밀도함수 (PDF)
    • 확률분포 (Probability distribution)
      • 정규분포 (Normal distribution)
    • 결정이론 (Decision Theory)
    • 확률과정 (Stochastic process)
      • ARMA
  • 함수
    • 로그 (Logarithm) (Log)
  • 부분순서집합
  • 증명
  • 계수와 관계
• 응용수학 (Applied mathematics)
  • 정보 이론 (Information theory)
    • Metadata
      • Tag
      • Schema
      • Identifier
        • GUID
        • UUID
        • Serial code (Serial number)
• 수학 표기법 (Mathematical notation)
  • 기수법 (Numeral system)
    • 숫자 (Numerical digit)
    • 이진법 (Binary number)
• 수학 기호 (Mathematical symbols)
• 상수
  • e