반사성 (Reflexivity) 1. 개요 반사성(Reflexivity)이란 수학의 관계 이론에서 집합의 모든 원소가 자기 자신과 관계를 맺고 있는 성질을 의미한다. 즉, 어떤 대상 에 대하여 " 는 와 관계가 있다"라는 명제가 항상 참이 될 때, 해당 관계는 반사적이라고 한다. 2. 수학적 정의 집합 와 그 위의 이항 관계 (즉, )에 대하여, 관계 이 …
검색 결과
"부분 순서"에 대한 검색 결과 (총 3개)
데이터 흐름 분석 (Data-Flow Analysis) 1. 개요 데이터 흐름 분석(Data-Flow Analysis)이란 프로그램의 실행 경로를 따라 데이터의 상태와 값이 어떻게 변화하는지를 추적하여 프로그램의 특성을 파악하는 정적 분석(Static Analysis) 기법이다. 정적 분석이란 프로그램을 실제로 실행하지 않고 소스 코드나 중간 표현(Inte…
범주 개요 범주(Category) 범주론(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며,…