Postech/QualityEntranceExam06

area 1

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

1. 각 레벨의 맥시멈 노드의 수 증명

   높이 몇일때 최대 노드의 수 증명

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

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

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

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

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

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

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

1. 1. DMA 계산하는 문제

 area 3

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

1. 2. 2 32 승 이 총 가상 메모리 크기, 2 18 승이 총 실제 메모리 크기 이다. 페이지 크기가 4096(2 12승) 일때 메모리 115324221412 (대략 이정도) 주소를

  실제 메모리 주소로 매핑 하면 어떻게 되나.

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

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

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

1. 1. Pass by name, Pass by reference, pass by name

1. 1. 자잘 자잘 한 퀴즈들

Dynamic Scoping 에서 Shallow Access 하는 경우에 상관 없는 키워드 발견하기.

1. 1. pointer restrict 관련 문제

  10  Dynamic Scoping 에서 Static type 체킹을 했을때 어떤 문제 가 발생하는가
   

1. 1. Weakest precondition 관련 문제
   2. Denotational semantics