navis

학습개요 병행 프로세스들은 컴퓨터 시스템의 제한된 자원을 사용하기 위해 서로 경쟁할 수 있습니다. 만일 어떤 프로세스가 사용하고자 하는 자원을 다른 프로세스가 온전히 점유하고 있다면 그 프로세스는 대기해야 합니다. 이렇게 요구와 점유 및 이에 따른 대기상태가 서로 꼬리를 물고 있게 되면, 이러한 관계에 포함된 프로세스들은 더 이상 진행하지 못하게 되는 상태인 교착상태에 빠질 수 있습니다. 운영체제는 이러한 교착상태를 예방하거나 제거함으로써 프로세스의 동작이 원활하게 이루어지도록 해야 합니다. 이번 강의에서는 교착상태의 개념과 특성을 살펴보고, 교착상태를 다루는 여러 기법 중 교착상태를 예방하는 방법에 대해 알아봅니다. 학습목표 교착상태의 개념을 설명할 수 있다. 교착상태가 발생하기 위한 필요조건을 설명할..

학습개요 논리는 지능적 판단 과정의 기본을 이루는 구조로서, 논리학은 오래전부터 탐구되어 온 고전적인 학문이다. 이번 강의에서는 논리의 기본적 개념을 정리해 본다. 명제가 무엇인지, 그리고 여러 가지 논리연산자, 특히 조건명제의 진릿값 판단 과정을 살펴본다. 또한, 술어논리를 이용하여 지식을 표현하는 방법과 도출연역 및 이를 이용한 정리 증명 방법에 대하여 학습한다. 학습목표 연역법의 추론 과정을 명제의 집합에 대해 적용할 수 있다. 논리식을 표준형으로 표현할 수 있다. 술어논리식을 정형식으로 표현할 수 있다. 도출연역을 이용하여 정리를 증명할 수 있다. 주요용어 명제 : 참과 거짓을 구분할 수 있는 문장 연언표준형 : 리터럴의 논리합으로 이루어진 절들의 논리곱 형식으로 표현된 논리식 선언표준형 : 리터..

학습개요 이번 강의를 포함해서 앞으로 두 번의 강의를 통해서, 주어진 저장 매체에서 원하는 데이터를 찾는 탐색 알고리즘에 대해서 살펴본다. 우선 이번 시간에는 순차 탐색과 이진 탐색과 같은 기본적인 탐색 방법을 비롯하여 이진 탐색 트리와 2-3-4 트리에 대해서 학습한다. 학습목표 순차 탐색의 개념, 성능, 특징을 이해하고 설명할 수 있다. 이진 탐색의 개념, 동작, 그리고 성능과 특징을 이해하고 설명할 수 있다. 이진 탐색 트리의 개념, 동작, 그리고 성능과 특징을 이해하고 설명할 수 있다. 2-3-4 트리의 개념, 동작, 그리고 성능과 특징을 이해하고 설명할 수 있다. 주요용어 순차 탐색(sequential search) - 리스트 형태로 주어진 원소들을 처음부터 하나씩 차례대로 비교하면서 원하는 값..