Mathematics & Computing Logic
컴퓨팅의 기초가 되는 수리적 구조, 형식 논리, 확률론 및 정보 이론을 다루는 학습 노드입니다.
용어4
computing
이 용어로 연결된 기록을 섹션별로 살펴봅니다.
Logic & Formal Verification
명제 및 서술 논리부터 시작하여, 시스템의 올바름을 수학적으로 증명하는 형식 검증 기법을 다루는 학습 노드입니다.
Probability, Statistics & Information
불확실성을 수학적으로 모델링하는 확률론, 데이터를 통해 현상을 추론하는 통계학, 그리고 정보의 양을 정량화하는 정보 이론을 다루는 학습 노드입니다.
Edge Computing & CDNs
데이터를 중앙 서버가 아닌 사용자 최인접 지점에서 처리하여 응답 속도를 극한으로 높이는 에지 컴퓨팅과 콘텐츠 전송망(CDN) 물리학을 다루는 학습 노드입니다.