3학년(컴퓨터공학전공)

1학기

전공필수

프로그래밍 언어(Programming Languages) 학수번호: 101501

프로그래밍 패러다임에 따른 계산 모델과 이를 반영하는 프로그래밍 언어의 각종 구조물들의 구분론적, 의미론적 개념들을 익히고, 포르그래밍 실습을 통하여 이를 확인한다. 절차식 프로그래밍 분야에서는 데이터 타입, 제어 흐름, 부프로그램의 활성화와 스코우프 및 블록 구조 등의 소제들이 다루어진다. 함수 프로그래밍 분야에서는 값으로서의 함수, 다형상 타입 및 유추체계, 지연 연산 등이 취급된다. 논리 프로그래밍 분야에서는 Horn Clause 이용한 프로그래밍을 바탕으로 "논리적 연역=계산" 의 계산 모델을 학습한다. 대규모 소프트웨어 구성에 적합한 객체 지향 프로그래밍 분야에서는 추상 데이터 타입, 클래스와 상속, 객체와 메시지 전달에 의한 계산 등이 다루어진다.

알고리즘 분석(Algorithm Analysis) 학수번호: 101503

실생활에서 일어나는 최적화 문제들의 대부분은 문제의 크기가 커지면 해결하는데 필요한 시간이 기하 급수적으로 증가한다. 이 과목에서는 이러한 문제들을 효율적으로 해결하는 방법을 공부하는데 목적이 있다. 이 과목은 트리와 그래프 같은 기본적인 자료구조와 정렬에 대한 지식을 요구한다. 강의 내용은 주어진 문제들을 해결하는 여러가지 고전적인 기법, 예를 들면 Divide and Conquer, Greedy 방법, Dynamic Programming, Backtracking, Branch-and-bound 등을 공부하며 NP-hard 개념을 다룬다.

컴퓨터 구조(1) (Computer Architecture (1)) 학수번호: 101506

컴퓨터 시스템의 기본적인 구성과 동작에 관하여 살펴보고, 구성을 산술 연산장치, 제어장치 및 기억장치로 나누어 구성 방법과 동작 원리를 체계적으로 다루며 또한 시스템 입출력 방식을 레지스터 수준에서 다룬다.

전공선택

시스템 프로그래밍(System Programming) 학수번호: 101505

시스템 소프트웨어의 설계 및 구현으로서, 어휘 분석기, 매크로 프로세서, 어셈블리, 연결기 및 적재기, 프로그래밍 언어 및 컴파일러의 소개, 운영 체제의 역할 및 시스템 호출 등을 다룬다.

인공지능(Artificial Intelligence) 학수번호: 101509

기호연산(Symbolic computation)에 널리 쓰이는 프로그래밍 언어인 LISP와 Prolog를 익히고, 이들 언어를 사용하여 실제 프로그램을 작성하는 일을 실습한다. 기호 연산은 인공지능,프로그래밍언어 분야 등에서 교육과 연구에 폭럽게 쓰이며, 따라서 LISP와 Prolog을 익히는 일은 앞서 언급된 분야의 교과목을 수강하는데 꼭 필요하다. 강의되는 주요 소제목들은 다음과 같다. LISP프로그래밍 분야에서는 S-expression, Lambda- expression과 함수정의, 재귀적 데이터 구조와 이를 이용한 프로그래밍 기법 등이 강의되고, Common LISP에 대한 소개와 이를 사용한 프로그래밍 실습이 이를 뒷받침한다. Prolog 프로그래밍 분야에서는 First-Order Predicate Calculus, Horn Clause, Unification, Resolution, Backtracking과 Cut, 여러가지 Prolog 프로그래밍 기법 등이 강의되고, Prolog 프로그래밍이 이를 뒷받침한다.

컴퓨터 네트워크(Computer Network) 학수번호: 101609

OSI 7계층중 3-7 계층을 중심으로 다룸, 컴퓨터 네트워크의 기본원리를 습득하고 PC통신 및 UNIX 통신의 프로그래밍 프로젝트를 수행한다.

2학기

전공필수

운영체제 및 실습(Operating System) 학수번호: 101508

운영체제의 역할 및 구현으로써 프로세스 경영, 메모리 경영과 가상 기억 장치, 입출력 하드웨어, 인터럽트 처리, 배치 처리, 시분할 및 실시간 시스템, 자원 스케줄링 등을 다룬다.

전공선택

기초 데이터베이스(Introduction to Database) 학수번호: 101613

정보처리시 필수적으로 사용하는 화일의 구성 및 접근 방법을 이해함으로써 화일을 효율적으로 이용하는 방법을 습득시키고 이터베이스의 기본개념을 이해하고 순차 화일, 인덱스된 순차화일, 다중키 화일, 직접 파일 등 각종 화일구조를 습득한다. 또한 데이터베이스 개념, 데이터 모델, 데이터 언어, 파일과 데이터 베이스의 연관성을 숙지한다.

오토마타(Automata Theory) 학수번호: 101606

이 과목에서는 어떠한 계산이 컴퓨터에서 수행될 수 있나 하는 문제와 어떻게 수행되나 하는 문제를 이론적으로 학습한다. 일반적인 계산 모델로써 finite automation, pushdown automation, turing machine 등이 가지는 특성과 이러한 기계들이 인식할 수 있는 언어들 ,즉 regular set, context free, recursively innumerable 언어들의 문법 구조와 성질 등을 공부한다.

컴퓨터구조(2)(Computer Architecture(2)) 학수번호: 101607

컴퓨터 시스템을 REGISTER 수준에서 설계하는 시뮬레이션 프로젝트를 수행하고, 메모리 계층, 입출력시스템의 설계 및 분석을 배운다. 또한 병렬컴퓨터와 interconnection network 등에 대하여 공부한다.

컴퓨터그래픽스(Computer Graphics) 학수번호: 101411

실용적이고 간단한 2차원/3차원 그래픽 프로그램 개발능력을 길러, 복잡한 그래픽 시스템을 개발할 수 있는 기초를 제공한다. 구체적으로 컴퓨터 그래픽용 하드웨어, Bresenham 선/원, 다각형 채우기, Clipping, 2차원 변환, 계통적 Model, 3차원 변환(parallel/perspective), 3차원 물체표현, visible surface detection, color/illumination model(flat/gourald/phong shading), 곡선과 곡면, raytracing, image storage, fractals, morphing, texture mapping을 다룬다.

네트워크 프로그래밍(Network Programming) 학수번호: 101614

인터넷의 기본 구조와 구성 프로토콜들을 프로그래밍 및 실제 실험을 통해 소개한다. 강의와 프로그래밍 과제를 통해 다루는 주제는 인터넷 주소체계, TCP 소켓, UDP 소켓, 멀티스레드 서버, DNS, HTTP, P2P 파일 공유 등을 포함한다.