대학원 교과과정

학정번호 교과목명(국문) 교과목명(영문) 학점
ITD6005 프로그래밍 언어 PROGRAMMING LANGUAGES 3
ITD6007 소프트웨어 공학 SOFTWARE ENGINEERING 3
ITD6008 운영체제 OPERATING SYSTEMS 3
ITD6009 컴퓨터구조론 COMPUTER ARCHITECTURE 3
ITD6010 분산 운영체제 DISTRIBUTED OPERATION SYSTEMS 3
ITD6014 컴퓨터 망 COMPUTER NETWORK 3
ITD6018 데이터베이스 시스템 DATABASE SYSTEMS 3
ITD6022 인공지능 ARTIFICIAL INTELLIGENCE 3
ITD6024 자연어처리 NATURAL LANGUAGE PROCESSING 3
ITD6026 신경회로망 이론 및 응용 NEURAL NETWORK THEORY AND APPLICATION 3
ITD6027 수치해석 NUMERICAL ANALYSIS 3
ITD6028 모델링과 시뮬레이션 MODELING AND SIMULATION 3
ITD6030 디지털신호처리 DIGITAL SIGNAL PROCESSING 3
ITD6031 음성신호처리 VOICE SIGNAL PROCESSING 3
ITD6034 디지털통신 시스템 DIGITAL COMMUNICATION SYSTEMS 3
ITD6035 이동통신시스템 MOBILE COMMUNICATION SYSTEMS 3
ITD6036 차세대컴퓨터기술특강 TOPICS IN FUTURE COMPUTER TECHNOLOGIES 3
ITD7001 개별지도연구 ⅠINDIVIDUAL STUDY Ⅰ 2
ITD7003 개별지도연구 Ⅱ INDIVIDUAL STUDY Ⅱ 2
ITD7005 개별지도연구 Ⅲ INDIVIDUAL STUDY Ⅲ 2
ITD7006 큐잉네트워크 QUEUEING NETWORK 3
ITD7008 네트워크 시스템 NETWORK SYSTEM 3
ITD7010 확률과정론 STOCHASTIC PROCESS 3
ITD7015 적응디지털 신호처리 ADAPTIVE DIGITAL SIGNAL PROCESSING 3
ITD7016 디지털 신호처리 실험 DIGITAL SIGNAL PROCESSING EXPERIMENT 3
ITD7017 변복조이론 MODULATION/DEMODULATION THEORY 3
ITD7018 정보검색 INFORMATION RETRIEVAL 3
ITD7019 정보검색 특강 TOPICS IN INFORMATION RETRIEVAL 3
ITD7020 동영상처리 MOTION PICTURE PROCESSING 3
ITD7022 소프트웨어공학 특강 TOPICS IN SOFTWARE ENGINEERING 3
ITD7023 기계학습 MACHINE LEARNING 3
ITD7101 전산과학세미나 ⅠSEMINAR Ⅰ 1
ITD7102 전산과학세미나 Ⅱ SEMINAR Ⅱ 1
ITD7103 전산과학세미나 Ⅲ SEMINAR Ⅲ 1
ITD7104 전산과학세미나 Ⅳ SEMINAR Ⅳ 1
ITD7999 연구지도Ⅰ DIRECTED RESEARCHⅠ 1
ITD8003 프로그래밍 언어 특강 TOPICS IN PROGRAMMING LANGUAGES 3
ITD8006 병렬처리 특강 TOPICS IN PARALLEL PROCESSING 3
ITD8008 컴퓨터망 특강 TOPICS IN COMPUTER NETWORK 3
ITD8011 정보보호 시스템 특강 TOPICS IN INFORMATION SECURITY SYSTEMS 3
ITD8013 데이터베이스 시스템 특강 TOPICS IN DATABASE SYSTEM 3
ITD8014 자연어처리 특강 TOPICS ON NATURAL LANGUAGE PROCESSING 3
ITD8017 인공지능 특강 TOPICS IN A.I 3
ITD8020 퍼지시스템 특강 TOPICS IN FUZZY SYSTEM 3
ITD8021 음성인식 특강 TOPICS IN SPEECH RECOGNITION 3
ITD8024 시뮬레이션 특강 TOPICS IN SIMULATION 3
ITD8025 네트워크 시뮬레이션 NETWORK SIMULATION 3
ITD8026 실시간시스템 특강 TOPICS IN REAL-TIME SYSTEM 3
ITD8028 멀티미디어특강 TOPICS IN MULTIMEDIA 3
ITD9001 개별지도연구 Ⅳ* INDIVIDUAL STUDY Ⅳ 2
ITD9002 개별지도연구 Ⅴ INDIVIDUAL STUDY Ⅴ 2
ITD9003 개별지도연구 Ⅵ* INDIVIDUAL STUDY Ⅵ 2
ITD9999 연구지도Ⅱ DIRECTED RESEARCHⅡ 1



여러 가지 고급 프로그래밍 언어들의 설계 개념과 구현기법, 그 특징들을 실존하는 프로그래밍 언어들을 가지고 예를 들어가며 설명한다. 또한 이런 기본 개념들을 컴퓨터에서 이용되는 자료, 이 자료들을 다루는데 필요한 연산, 순서제어, 자료제어, 기억장소 할당 등에 관해 연구한다.


소프트웨어 생명 주기, 형식적 표현과 설계, 증명 신뢰성 분석 등과 같은 소프트웨어 시스템의 단계적 개발을 위한 기본 원리와 형식적 방법을 알아보고 요구 명시와 분석, 모듈 지정, 3설계, 통합, 증명과 타당성 조사와 유지 및 계획 관리 등에 대한 효율적인 기법을 연구한다.


운영체제의 형태와 구조에 관한 연구: Concurrent Programming, Semaphore를 이용한 동기화, Monitor, 메시지 전달, Deadlock 등의 기본 개념을 연구하고 간단한 OS를 실제로 구현해 본다.


컴퓨터 구조와 설계 원리에 관하여 강의하며,특히 최근 컴퓨터시스템의 고성능화를 위하여 사용되는 고속 상호연결망 구조, 프로세서 구조 및 병렬처리 기법을 분석한다. 또한 슈퍼컴퓨터의 설계 개념인 슈퍼파이프라이닝 및 체이닝 조직의 리를 분석하고 실제 시스템의 구조를 연구한다.


분산 운영체제의 특징과 Process들간의 Communication, Remote Procedure Call, Resource Management, Fault Tolerance, Protection과 Security, Real Time Scheduling, Deadlock, Work Load Sharing 등에 관해 연구한다.


분산 컴퓨터 통신을 설계하고 평가하며 사례 연구를 통해 용량 배정 집중과 Buffering, 망위상 설계 경로 설정, 접근 기법, 선 제어 등과 같은 설계 문제 등을 기술하고, 평가하기 위한 적절한 Queueing 모델이나 기타 모델을 개발한다.


자동정보 조직과 추출을 소개하고 사전구성과 통계와 구문론적 운용, 추출 시스템의 성능평가, 질의어 설계, 데이터 베이스 시스템의 모델과 데이터 베이스 보안에 대해 연구한다.


인공지능의 목적, Cognitive Process에 대한 설명, 지시 표상, Cognitive Behavior와 Simulation, Game-Playing와 General-Problem Solving Theorem Proving, Computer Vision, 자연어 처리 등에 대해 연구한다.


Computer를 이용한 자연언어들 간의 번역기법 및 그 언어구조의 이해를 돕기 위해 언어구조의 Parsing, 기억장치상의 표현에 관해 살펴보며 자연언어 처리 기술, 언어의 개념적 종속성, 간섭 문제 등에 대하여 연구한다.


연산지능(Computational Intelligence)의 한 분야인 신경회로망의 기초 개념과 이론적 알고리즘, 그리고 응용분야에 대한 소개와 Case Study에 대하여 연구한다.


Computer를 활용한 수치적 형태 수학-비선형 방정식 해법, 근사 함수론, 수치적 미분적분법, 상미분 방정식 등에 관해 살펴보고 그 이론을 바탕으로 구현해보며 그에 따른 오차 및 error 분석을 통해 수치적 소프트웨어의 발전을 도모한다.


어떤 시스템을 실제로 구축하기 전에 그 시스템에 대한 합당성 여부와 최적화 방법에 대해 연구하고, Computer Science 분야에 있어서 합리적인 Simulation 문제에 대한 Model 과 Program 작성, 디버그, 타당성을 작업을 통해 확인하며 그 확인을 통해 Language Flexibility도 느껴 본다. 아울러 Simulation 방법론으로서 특정 Package(GPSS, SIMSCRIPT, SIMULA)에 관해 서도 살펴본다.


디지털신호의 입력 및 처리 기술에 관한 기본 이론인 샘플링이론, z-변환, DFT, FFT에 대하여 공부하고, 디지털 필터 설계와 DSP 칩 구조 및 설계 기술에 관하여 연구한다.


음성신호의 통계적 특성, 모델링 및 분석, 음성 신호의 부호화, 음성인식 및 음성합성 기술에 관하여 연구한다.


디지털 통신의 정보이론, 채널 특성 및 용량, 변복조 기술, 채널 코딩 기술 등에 대하여 연구한다.


주파수 대역에 따른 전파 특성, 에러정정 부호 기술, 대역확산 기법, 셀룰러 기반 디지털 이동 통신 시스템 및 프로토콜에 관하여 연구한다.





전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.


전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.


전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.











적응 알고리듬의 개요, gradient 탐색 및 LMS알고리즘, RLS, Lattice, Gram-schmdt 적응디지털 필터에 대해 살펴보고 비선형 적응필터, 적응 디지털 필터응용분야를 알아본다.


DSP chip의 기본 구조, 기본 명령어, 고급 명령어를 살펴보고, 실제 DSP 칩을 사용하여 연구과제를 구현함으로써 시스템 프로그래밍 작성 및 분석 능력을 실험적으로 경험한다.











차세대 정보화 기반기술인 MPEG-4, MPEG-7 등의 국제 표준화에서 검증된 동영상 처리 기법들에 과한 소개와 그 응용 분야에 대하여 연구한다.








전산학에 관련된 최근의 기술 동향을 소개한다.


전산학에 관련된 최근의 기술 동향을 소개한다.


전산학에 관련된 최근의 기술 동향을 소개한다.


전산학에 관련된 최근의 기술 동향을 소개한다.





프로그래밍 언어에 대한 기본 개념들을 간략하게 소개 하고 의미론적인 측면임 Binding rule Scoping, 추상성과 확장성의 운용과 외연적 의미특징 등을, 설계와 수행 문제에 있어서는 고급언어에 중점을 두어 데이터의 표현, 제어장치, 코드표현 등의 중요 주제들에 대해 연구한다.


Array processor architecture, multiprocessor architecture 등 병렬처리 컴퓨터의 구조와 병렬수행 프로그래밍 기법, 파이프라인과 벡터 프로세싱 등의 이론적인 개념을 공부하고, 실제 연구 및 구현되고 있는 병렬처리시스템들에 관한 세미나와 사례 연구를 수행한다.


컴퓨터망의 계층적 구조, 스위칭 기법, 접근기법, 흐름제어, 과잉밀집제어, 자원할당, 망관리 등과 관련된 문제들에 대한 세미나를 통해 이론적인 고찰과 시스템의 성능에 대한 분석 및 개선에 관해 연구한다.


관용 암호화 방식, 공개키 암호화 방식, 키 분배 방식 등과 같은 정보 보호 기법에 대해서 연구하고, 인터넷에 적용하는 방식에 대해 분석한다.


다양한 분야의 데이터베이스 시스템 응용분야에 대한 구체적인 사례를 통해 효과적인 데이터 베이스 시스템의 설계 및 구축에 관해 연구한다. 특히 하이퍼텍스트 기술의 응용에 관하여 제기되는 주요 주제들에 대하여 세미나를 통해 연구한다.


자연언어의 현상을 이해하고 언어의 형식화를 바탕으로 컴퓨터로 응용 할 수 있는 언어 문법을 이해, 고안하며 언어구조를 파악하는 적절한 처리 방법을 연구한다.


인공지능분야 중에서 특정분야들에 대하여 심도 있는 세미나형태의 강의 및 토의로 진행한다.


인공지능의 중요 응용분야로 각광받고 있는 퍼지이론에 대한 강의와 세미나를 통해 퍼지 함수를 이용한 응용시스템의 개발에 관련된 문제들을 연구한다.


음성을 인식하기 위한 Mechanism과 이에 사용되는 방법들을 강의와 세미나를 통해 연구한다.


시뮬레이션에 대한 소개 및 Queueing이론과 Stochastic Process에 대한 고찰을 통하여 Random Number의 변이와 생성, 시뮬레이션 모델의 설계 및 분석, 실험 결과에 대한 분석과 평가 방법론 등을 연구한다.





실시간시스템의 구현 및 응용 사례를 조사하고 분석하며, 실시간 운영체제와 외부장치 인터페이스를 설계하고 성능을 최적화하는 기법을 연구한다.





전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.


전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.


전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.




위로