본문으로 이동
주 메뉴
주 메뉴
사이드바로 이동
숨기기
둘러보기
대문
최근 바뀜
요즘 화제
임의의 문서로
사용자 모임
사랑방
사용자 모임
관리 요청
편집 안내
소개
도움말
정책과 지침
질문방
검색
검색
보이기
기부
계정 만들기
로그인
개인 도구
기부
계정 만들기
로그인
로그아웃한 편집자를 위한 문서
더 알아보기
기여
토론
분류
:
유형 이론
26개 언어
العربية
Беларуская (тарашкевіца)
Bosanski
Čeština
Deutsch
Ελληνικά
English
Esperanto
Español
فارسی
Français
Bahasa Indonesia
Italiano
日本語
Македонски
Bahasa Melayu
Norsk bokmål
Português
Русский
ไทย
Türkçe
Українська
اردو
Tiếng Việt
中文
閩南語 / Bân-lâm-gú
링크 편집
분류
토론
한국어
읽기
편집
역사 보기
도구
도구
사이드바로 이동
숨기기
동작
읽기
편집
역사 보기
일반
여기를 가리키는 문서
가리키는 글의 최근 바뀜
파일 올리기
특수 문서 목록
고유 링크
문서 정보
축약된 URL 얻기
QR 코드 다운로드
인쇄/내보내기
책 만들기
PDF로 다운로드
인쇄용 판
다른 프로젝트
위키미디어 공용
위키데이터 항목
보이기
사이드바로 이동
숨기기
도움말
위키백과, 우리 모두의 백과사전.
기본 분류 >
개념
>
구조
>
수학
>
수학적 구조
>
유형 이론
이 분류에 대해서는
유형 이론
문서를 참고하십시오.
하위 분류
다음은 이 분류에 속하는 하위 분류 3개 가운데 3개입니다.
ㄷ
다형성 (컴퓨터 과학)
(1 C, 3 P)
ㅈ
자료형 체계
(1 C, 4 P)
ㅊ
추상 자료형
(12 P)
"유형 이론" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 26개 가운데 26개입니다.
유형 이론
V
Void 타입
ㄱ
값 (컴퓨터 과학)
개방-폐쇄 원칙
공변성과 반공변성 (컴퓨터 과학)
ㄴ
널러블 타입
ㄷ
다형성 (컴퓨터 과학)
대수적 자료형
덕 타이핑
ㄹ
리스코프 치환 원칙
ㅂ
변수 (컴퓨터 과학)
분지 유형 이론
ㅅ
서브타이핑
순서쌍
ㅇ
열거형
옵션 타입
의존형
ㅈ
자료형 체계
재귀 자료형
종 (유형 이론)
ㅊ
추상 자료형
추상형
ㅋ
커리-하워드 대응
ㅌ
타입 클래스
튜플
ㅎ
형 변환
분류
:
수학적 구조
프로그래밍 언어 이론
수리논리학