관련어 (나무위키 + 위키백과 말뭉치)

• 퍼지 논리
• 추상 기계
• 증명 이론
• 형식 언어
• 수치해석학
• 보형 형식
• 수학적 대상
• 모형 이론
• 유한요소해석
• 괴델의 완전성 정리
• 정규 언어
• 추론 규칙
• 베이즈 확률론
• 초직관 논리
• 행렬 분해
• 브라-켓 표기법
• 불 논리
• 조르당 곡선 정리
• 정규 문법
• bilinear
• 모스 이론
• invariant
• 벡터 미적분학
• 분할 정복 알고리즘
• lambda