검색 결과

'''치환성'''({{llang|en|substitutability}})은 [[객체 지향 프로그래밍]] 원칙이다. [[컴퓨터 프로그램]]에서 [[자료형]] <math>S</math>가 자료형 <math>T</math>의 서브타입라면 필 리스코프의 원칙은 새로운 객체 지향 프로그래밍 언어에 채용된 [[시그니처]]에 관한 몇 가지 표준적인 요구사항을 강제한다.<ref>자료형 수준보다는 클래스 수준에서; 이 둘의 구별을 ...

...to Philosophical Logic|출판사=Blackwell|isbn=978-0-631-20693-4|zbl=1003.03010|언어=en}}</ref> [[명제 논리]]와 달리 변수에 대하여 한정 기호를 사용할 수 있으나, [[2차 논리]]와 달리 변수들의 집합에 대 * 1차 논리 언어의 '''의미론'''이란 그 언어의 문장들에 대하여 참인지 여부를 일관적으로 부여하는 구조이다. 이는 보통 [[모형 (논리학)|모형]]으로 주어진다. ...

...발하였다. 예시로는 [[병행성|동시성]], [[함수 (컴퓨터 과학)|프로시저]], [[브랜치 (컴퓨터 과학)|점프]] 및 [[포인터 (프로그래밍)|포인터]]에 대한 추론 규칙이 있다. * [[표시적 의미론]] ...