area 1
 1. 알고리즘 시그마 1~ i4 까지 타이트를 로우 빅오 사용하여 증명

 2. 각 레벨의 맥시멈 노드의 수 증명
    높이 몇일때 최대 노드의 수 증명

 3. 정수 4개일때 최소 비교 횟수로 소팅 해라 
 4. 그래프 사이클 찾는 알고리즘

 5. right linear 로 AB* U C* 인거 그래머로 적기

 6.  1~3개 문제 펌핑 렘마 사용하여 증명 혹은 오토마타로 그려서 regular 에 속한다고 증명 하기

 area 2
  1.
   boolean algebra 의 정의
   boolean algebra 와 ordinary algebra 의 차이
   카르노프의 맵

  2.
    시덮지 않은 JK 플립 플롭 2개 있는 회로가 있고 이것의 오토마타 그리기 Moore 머신으로
    이것들 JK 플립 플롭 1개로 만들 수 있나

  3. Machine Language Like 한 프로그램 만들기. 코드 주고. 스앞 함수 호출하는 부분 있고 파라미터 패싱을 설명해야함.


  4.2 way assoiate 캐시에서 히트 되었나 안되었나, 뭐 그러고 구조 그리고 각 index, tag, byte offset 등 요소 알아 맞추기

  5. DMA 계산하는 문제

  area 3
   1. Page 크기가 작을때의 장점과 단점
   2. 외부 단편화는 무엇이며 TLB 를 사용하여 어떻게 해결? 그리고 내부 단편화와 외부 단편화 대조,,

   3. 
   4. 2 32 승 이 총 가상 메모리 크기, 2 18 승이 총 실제 메모리 크기 이다. 페이지 크기가 4096(2 12승) 일때 메모리 115324221412 (대략 이정도) 주소를
   실제 메모리 주소로 매핑 하면 어떻게 되나.

   5. Mutual Exclusion 에서 Bounded Waiting, Progress, Mutual Exclusion 이 아닌것 하나를 고르기

   - 어떤 경우에 counting semaphore 를 쓰는지,,

   6. Corutine, CoProcess, IPC 에 관해서..

   7. Pass by name, Pass by reference, pass by name

   8. 자잘 자잘 한 퀴즈들
Dynamic Scoping 에서  Shallow Access 하는 경우에 상관 없는 키워드 발견하기.

   9. pointer restrict 관련 문제
   10  Dynamic Scoping 에서 Static type 체킹을 했을때 어떤 문제 가 발생하는가
    

   11. Weakest precondition 관련 문제
   12. Denotational semantics