아는 척

[추상자료형] 리스트(List)정의: 값들의 순서있는 나열 (같은 값이 한 번 이상 나올 수 있다)순서있는 (ordered): 각 값들 간의 대소관계가 아닌, 값들의 등장 순서 예) [1, 2, 3] ≠ [3, 2, 1] 나열 (sequence): 없거나 하나 이상의 값을 순서있게 배치한다.용어객체(entity): 리스트를 구성하는 개별 값 빈 리스트 (Nil, Not in list): 포함하는 객체가 없는 리스트크기(length): 리스트 내 객체의 개수 리스트의 구성List of T = head(T) :: tail(List of T) 타입 T의 리스트(List of T)는 '타입 T 객체인 head'와 '타입 T 리스트(List of T)인 tail'의 재귀로 이루어져 있다. 머리(head): 리스트..

[추상자료형] 집합 (Set) 정의: 서로 구분되는 값들의 순서 없는 무리서로 구분되는(distinct): 하나의 집합은 동일한 값을 포함하지 않는다. 예) { 1, 2, 3 } (O), { 1, 2, 3, 3 } (X, 또는 앞의 집합과 동일하게 취급) 순서없는(unordered): 서로 다른 집합을 구분하는 요소로 순서는 해당하지 않는다. 예) { 1, 2, 3 } = { 3, 2, 1 } 무리(collection): 없거나 하나 이상의 값을 포함한다.용어원소(element): 집합을 구성하는 각 대상을 지칭한다.속한다/포함한다(inclusion/containment): 집합 A, B가 있을 때, 집합 B를 구성하는 모든 원소가 집합 A를 구성하는 원소의 전체 또는 일부일 때, '집합 A는 집합 B를..