컨텐츠 바로가기

배재대학교 대학원

학과안내

컴퓨터공학과

컴퓨터공학 웹사이트 바로가기

학과교육목적

4차 산업혁명 시대의 컴퓨터 및 정보산업 분야에서 창의적인 연구를 수행하고 산업 발전에 기여할 수 있는 고급 전문 인력을 양성한다.

In the era of the 4th Industrial Revolution, creative research is conducted in the field of the computer and information industry and high-quality professionals are trained to contribute to industrial development.

학과교육목표

  1. 컴퓨터 및 정보산업 분야의 체계적인 이론교육 및 실습을 통한 연구능력을 배양한다.
    Development of the research skills through systematic theoretical education and practice in the field of computer and information industries.
  2. 창조적인 고급 소프트웨어 개발 및 제작에 필요한 기술능력을 배양한다.
    Development of the cultivate the technical skills to produce creative advanced software.

학과소개

급변하는 현대의 정보화 시대에 대처해 나가기 위한 필수적 요건은 정보자원의 활용과 컴퓨터 공학을 토대로 한 통합적 연구방법의 개발이다. 따라서 본 학과에서는 컴퓨터과학을 토대로 한 학문적 연구를 하고자 하는 학생을 대상으로 하여 날로 새로워지는 정보화 시대의 발전된 기술과 심오한 학문적 바탕을 구축하기 위한 지식연마와 연구에 힘써 인재를 양성하고자 한다.

The Department of Computer Engineering offers the master´s degree. The well-designed program helps our students to adapt the rapidly changing modern information society, which leads them to apply their learning to information resources and to develop the unified research method.

전임교원명단

전임교원명 직 위 최종학위
(출신학교명)
전공 연구분야
정회경 (Jung, Hoe-Kyung) 교수 공학박사 (광운대학교) Multimedia Multimedia Document Processing, Digital Library, Information Processing, Web Services, Semantic Web, Ontology
송정영 (Song, Jeong-Young) 교수 공학박사 (와세다대) Pattern Recognition Pattern Recognition
이창훈 (Lee, Chang-Hoon) 교수 공학박사 (도쿄공업대학) 지능시스템 Intelligent Control, Robotics, Soft Computing
이경희 (Lee, Kyung-Hee) 교수 공학박사 (KAIST) Computer Network 5G Networks, Internet of Things, Software Defined Networking, Internet Services
김창수 (Kim, Chang-Su) 교수 공학박사 (배재대학교) 인터넷 소프트웨어 웹 정보 시스템 미디어 데이터 마이닝 정보 검색 및 지식 공학 멀티미디어 정보 처리
고경민 (Go, Kyung-Min) 교수 공학박사 (KAIST) Secure video streaming over wireless network Multimedia Streaming, Connected Car, Deep Reinforcement Learning, Mobile Computing, Software Testing
홍준기 (Hong, Jun-Ki) 교수 공학박사 (연세대학교) 차세대 통신 시스템 IoT, Artificial Intelligence,5G / Beyond 5G Communication Systems
임선영 (Ihm, Sun-Young) 교수 공학박사 (숙명여자대학교) 데이터베이스 Big data, AI, top-k query processing, database, data mining
김진수 (Kim, Jin-Soo) 명예교수 공학박사 (충북대학교) Software Engineering Software Engineering

학과전공분야

컴퓨터 공학 Computer Engineering

학과 내규

  1. 컴퓨터공학과 석사과정 및 박사과정의 전공 분야는 컴퓨터공학 전공으로 한다.
    The major fields of master's and doctorate courses in computer engineering shall be computer engineering.
  2. 석사학위과정 학생은 24학점, 박사학위과정 학생은 36학점을 본 학과에서 인정하는 과목을 취득해야 한다.
    Total 24 credits for master's degree students and 36 credits for doctorate students are required to obtain subjects recognized in this department.
  3. 타 전공출신 학생은 주임교수가 지정하는 선수과목들을 이수하여야 한다. 단, 이는 졸업에 필요한 학점 (석사과정 24학점, 박사과정 36학점)에 포함되지 않는다.
    Students from other majors must complete the competitor subjects designated by the principal professor. However, this is not included in the credits required for graduation (24 credits for master's course and 36 credits for doctorate course).
  4. 과정 수료자는 학위논문 제출 시까지 해당과정의 학위논문지도 과목을 반드시 이수해야 한다.
    In order to complete the graduate program, students must complete the thesis guidance course for the course by the time the thesis is submitted.
  5. 학과 교수회의 승인을 거쳐, 대학원 학점 교환제에 참가할 수 있다.
    Student can participate in the graduate school credit exchange system with the approval of the department's faculty.
  6. 학위논문심사 이전에 자신의 연구 결과에 대해 각 과정별로 다음의 조건을 충족해야 한다.
    • └석사과정 : 전공 학술 논문지에 1편 이상의 논문을 게재하는 것을 원칙으로 한다.
    • └박사과정 : 국내외 전공 학술지 논문지에 다음 게재 조건에 따라 100% 이상을 충족해야 한다. (졸업예정자가 제 1 저자이어야 하며 1인 저자시 100%, 2인 저자시 70%, 3인 저자시 50%, 4인 이상 저자시 30%로 인정한다.)
    Prior to the degree thesis defence, the following conditions must be met for each course for the results of one's research.
    • └Master's course : In principle, one or more papers should be published in a major academic journal.
    • └Doctoral course : It must meet more than 100% according to the following conditions for publication in domestic and foreign major journals. (The prospective graduate must be the first author, and it is recognized as 100% for single authors, 70% for two authors, 50% for three authors, and 30% for four or more authors.)
  7. 본 내규에 규정되지 않은 종합시험과목 및 그 이외 필요한 사항은 학과 교수 회의에서 결정한다.
    Comprehensive examination subjects and other necessary matters not prescribed in this bylaws shall be determined at the faculty meeting of the department.
  8. 논문계획 발표는 교내교수로 구성된 심사위원 앞에서 공개적으로 실시하고 심사결과를 대학원에 보고한다.
    The presentation of the thesis plan is publicly conducted in front of the judges composed of professors in the school and the results of the examination are reported to the graduate school.

교육과정일람표

학수번호 교과목명 학점 주당
시수
비고
COME6601 운영체제 특론Ⅰ(Advanced Operating SystemsⅠ) 3 3
COME6602 알고리즘 분석 및 설계 특론Ⅰ(Advanced Design and Analysis of AlgorithmsⅠ) 3 3
COME6603 데이터베이스 시스템 특론Ⅰ(Advanced Database SystemⅠ) 3 3
COME6604 프로그래밍언어 특론Ⅰ(Advanced Programming LanguageⅠ) 3 3
COME6605 컴파일러 설계 특론Ⅰ(Advanced Compiler DesignⅠ) 3 3
COME6606 컴퓨터구조 특론Ⅰ(Advanced Computer ArchitectureⅠ) 3 3
COME6607 자료구조 특론Ⅰ(Advanced Data StructuresⅠ) 3 3
COME6608 인공지능 특론Ⅰ(Advanced Artificial IntelligenceⅠ) 3 3
COME6609 형식언어 및 오토마타론Ⅰ(Formal Language and Automata TheoryⅠ) 3 3
COME6610 자연어처리 특론Ⅰ(Advanced Natural Language ProcessingⅠ) 3 3
COME6611 그래프이론Ⅰ(Graph TheoryⅠ) 3 3
COME6612 수치해석 특론Ⅰ(Advanced Numerical AnalysisⅠ) 3 3
COME6613 분산처리 시스템 특론Ⅰ(Advanced Distributed Processing SystemsⅠ) 3 3
COME6614 컴퓨터네트워크 특론Ⅰ(Advanced Computer NetworkⅠ) 3 3
COME6615 데이터통신 특론Ⅰ(Advanced Data CommunicationⅠ) 3 3
COME6616 실시간체제 특론Ⅰ(Advanced Real-Time SystemsⅠ) 3 3
COME6617 컴퓨터시스템 성능 평가 특론Ⅰ(Advanced Computer Performance EvaluationⅠ) 3 3
COME6618 마이크로프로세서 응용 특론Ⅰ(Advanced Microprocessor ApplicationsⅠ) 3 3
COME6619 객체지향언어론Ⅰ(Object Oriented Language TheoryⅠ) 3 3
COME6620 정보검색 특론Ⅰ(Advanced Information RetrievalⅠ) 3 3
COME6621 정보이론Ⅰ(Information TheoryⅠ) 3 3
COME6622 정보공학 특론Ⅰ(Advanced Information EngineeringⅠ) 3 3
COME6623 병렬처리 특론Ⅰ(Advanced Parallel ProcessingⅠ) 3 3
COME6624 컴퓨터그래픽스 특론Ⅰ(Advanced Computer GraphicsⅠ) 3 3
COME6625 영상처리 특론Ⅰ(Advanced Imaging ProcessingⅠ) 3 3
COME6626 패턴인식 특론Ⅰ(Advanced Pattern RecognitionⅠ) 3 3
COME6627 소프트웨어공학 특론Ⅰ(Advanced Software EngineeringⅠ) 3 3
COME6628 전문가 시스템 특론Ⅰ(Advanced Expert SystemsⅠ) 3 3
COME6629 사용자 인터페이스 관리 시스템 특론Ⅰ(Advanced User Interface Management SystemsⅠ) 3 3
COME6630 신경회로망 특론Ⅰ(Advanced Neural NetworkⅠ) 3 3
COME6631 로보틱스 특론Ⅰ(Advanced RoboticsⅠ) 3 3
COME6632 하이퍼텍스트 특론Ⅰ(Advanced HypertextⅠ) 3 3
COME6633 하이퍼미디어 특론Ⅰ(Advanced HypermediaⅠ) 3 3
COME6634 차세대 컴퓨터 특론Ⅰ(Advanced Next Generation ComputerⅠ) 3 3
COME6635 전산학특강Ⅰ(Current Topics in Computer ScienceⅠ) 3 3
COME6636 오토마타이론Ⅰ(Automata TheoryⅠ) 3 3
COME6637 유전자 알고리즘 특론Ⅰ(Advanced Genetic AlgorithmsⅠ) 3 3
COME6638 멀티미디어 시스템 특론Ⅰ(Advanced Multimedia SystemsⅠ) 3 3
COME6639 네트워크보안Ⅰ(Network SecurityⅠ) 3 3
COME6640 프로토콜 엔지니어링Ⅰ(Protocol EngineeringⅠ) 3 3
COME6641 객체지향 데이터베이스 시스템 특론Ⅰ(Advanced Object-Oriented Database SystemsⅠ) 3 3
COME6642 데이터 모델링 특론Ⅰ (Advanced Data ModelingⅠ) 3 3
COME6643 컴퓨터 교육 특론Ⅰ (Advanced Computer EducationⅠ) 3 3
COME6644 분산 데이터베이스 시스템 특론Ⅰ(Advanced Distributed Database SystemsⅠ) 3 3
COME6645 웹 데이터베이스 시스템 특론Ⅰ(Advanced Web Database SystemsⅠ) 3 3
COME6646 퍼지이론 특론Ⅰ(Advanced Fuzzy Theory Ⅰ) 3 3
COME6647 문자인식 특론Ⅰ(Advanced Character Recognition Ⅰ) 3 3
COME6648 음성인식 특론Ⅰ(Advanced Speech Recognition Ⅰ) 3 3
COME6649 화상인식 특론Ⅰ(Advanced Image RecognitionⅠ) 3 3
COME6650 필기체 한글 문자인식 특론Ⅰ(Advanced Hand-written Hangul Character RecognitionⅠ) 3 3
COME7626 웹프로그래밍 특론Ⅰ (Advanced Web ProgrammingⅠ) 3 3
COME7627 차세대 인터넷 특론Ⅰ (Advanced NextGeneration InternetⅠ) 3 3
COME7628 모바일 프로그래밍 특론Ⅰ (Advanced Mobile ProgrammingⅠ) 3 3
COME7629 임베디드 시스템 특론Ⅰ (Advanced Embedded SystemsⅠ) 3 3
COME6701 운영체제 특론 Ⅱ(Advanced Operating SystemsⅡ) 3 3
COME6702 알고리즘 분석 및 설계 특론 Ⅱ(Advanced Design and Analysis of Algorithms Ⅰ) 3 3
COME6703 데이터베이스 시스템 특론 Ⅱ(Advanced Database Systems Ⅱ) 3 3
COME6704 프로그래밍언어 특론 Ⅱ(Advanced Programming Language Ⅱ) 3 3
COME6705 컴파일러 설계 특론 Ⅱ(Advanced Compiler Design Ⅱ) 3 3
COME6706 컴퓨터구조 특론 Ⅱ(Advanced Computer Architecture Ⅱ) 3 3
COME6707 자료구조 특론 Ⅱ(Advanced Data Structures Ⅱ) 3 3
COME6708 인공지능 특론 Ⅱ(Advanced Artificial Intelligence Ⅱ) 3 3
COME6709 형식언어 및 오토마타론 Ⅱ(Formal Language and Automata Theory Ⅱ) 3 3
COME6710 자연어처리 특론 Ⅱ(Advanced Natural Language Processing Ⅱ) 3 3
COME6711 그래프이론 Ⅱ(Graph Theory Ⅱ) 3 3
COME6712 수치해석 특론 Ⅱ(Advanced Numerical Analysis Ⅱ) 3 3
COME6713 분산처리 시스템 특론 Ⅱ(Advanced Distributed Processing Systems Ⅱ) 3 3
COME6714 컴퓨터네트워크 특론 Ⅱ(Advanced Computer Network Ⅱ) 3 3
COME6715 데이터통신 특론 Ⅱ(Advanced Data Communication Ⅱ) 3 3
COME6716 실시간체제 특론 Ⅱ(Advanced Real-Time Systems Ⅱ) 3 3
COME6717 컴퓨터시스템 성능 평가 특론 Ⅱ(Advanced Computer Performance Evaluation Ⅱ) 3 3
COME6718 마이크로프로세서 응용 특론 Ⅱ(Advanced Microprocessor Applications Ⅱ) 3 3
COME6719 객체지향언어론 Ⅱ(Object Oriented Language Theory Ⅱ) 3 3
COME6720 정보검색 특론 Ⅱ(Advanced Information Retrieval Ⅱ) 3 3
COME6721 정보이론 Ⅱ(Information Theory Ⅱ) 3 3
COME6722 정보공학 특론 Ⅱ(Advanced Information Engineering Ⅱ) 3 3
COME6723 병렬처리 특론 Ⅱ(Advanced Parallel Processing Ⅱ) 3 3
COME6724 컴퓨터그래픽스 특론 Ⅱ(Advanced Computer Graphics Ⅱ) 3 3
COME6725 영상처리 특론 Ⅱ(Advanced Imaging Processing Ⅱ) 3 3
COME6726 패턴인식 특론 Ⅱ(Advanced Pattern Recognition Ⅱ) 3 3
COME6727 소프트웨어공학 특론 Ⅱ(Advanced Software Engineering Ⅱ) 3 3
COME6728 전문가 시스템 특론 Ⅱ(Advanced Expert Systems Ⅱ) 3 3
COME6729 사용자 인터페이스 관리 시스템 특론 Ⅱ(Advanced User Interface Management Systems Ⅱ) 3 3
COME6730 신경회로망 특론 Ⅱ(Advanced Neural Network Ⅱ) 3 3
COME6731 로보틱스 특론 Ⅱ(Advanced Robotics Ⅱ) 3 3
COME6732 하이퍼텍스트 특론 Ⅱ(Advanced Hypertext Ⅱ) 3 3
COME6733 하이퍼미디어 특론 Ⅱ(Advanced Hypermedia Ⅱ) 3 3
COME6734 차세대 컴퓨터 특론 Ⅱ(Advanced Next Generation Computer Ⅱ) 3 3
COME6735 전산학특강 Ⅱ(Current Topics in Computer Science Ⅱ) 3 3
COME6736 오토마타이론 Ⅱ(Automata Theory Ⅱ) 3 3
COME6737 유전자 알고리즘 특론 Ⅱ(Advanced Genetic Algorithms Ⅱ) 3 3
COME6738 멀티미디어시스템 특론 Ⅱ(Advanced Multimedia Systems Ⅱ) 3 3
COME6739 네트워크보안 Ⅱ(Network Security Ⅱ) 3 3
COME6740 프로토콜 엔지니어링 Ⅱ(Protocol Engineering Ⅱ) 3 3
COME6741 객체지향 데이터베이스시스템 특론 Ⅱ(Advanced Object-Oriented Database Systems Ⅱ) 3 3
COME6742 데이터모델링 특론 Ⅱ(Advanced Data Modeling Ⅱ) 3 3
COME6743 컴퓨터교육 특론 Ⅱ (Advanced Computer Education Ⅱ) 3 3
COME6744 분산데이터베이스 시스템 특론 Ⅱ(Advanced Distributed Database Systems Ⅱ) 3 3
COME6745 웹 데이터베이스 시스템 특론 Ⅱ(Advanced Web Database Systems Ⅱ) 3 3
COME6746 퍼지이론 특론 Ⅱ(Advanced Fuzzy Theory Ⅱ) 3 3
COME6747 문자인식 특론 Ⅱ(Advanced Character Recognition Ⅱ) 3 3
COME6748 음성인식 특론 Ⅱ(Advanced Speech Recognition Ⅱ) 3 3
COME6749 화상인식 특론 Ⅱ(Advanced Image Recognition Ⅱ) 3 3
COME6750 필기체 한글 문자인식 특론 Ⅱ(Advanced Hand-written Hangul Character Recognition Ⅱ) 3 3
COME6501 석사논문연구 Ⅰ(Research for the Master´s Degree Ⅰ) 0 0
COME6502 석사논문연구 Ⅱ(Research for the Master´s Degree Ⅱ) 0 0
COME6503 박사논문연구 Ⅰ(Research for the Doctoral Degree Ⅰ) 0 0
COME6504 박사논문연구 Ⅱ(Research for the Doctoral Degree Ⅱ) 0 0
COME6505 박사논문연구 Ⅲ(Research for the Doctoral Degree Ⅲ) 0 0
COME7630 웹프로그래밍특론Ⅱ (Advanced Web ProgrammingⅡ) 0 0
COME7631 모바일프로그래밍특론Ⅱ (Advanced Mobile ProgrammingⅡ) 3 3
COME7632 차세대인터넷특론Ⅱ (Advanced NextGeneration InternetⅡ) 3 3
COME7633 임베디드시스템특론Ⅱ (Advanced Embedded SystemsⅡ) 3 3
COME7638 산학프로젝트1 (Industry-academic Cooperative Research Project 1) 3 3
COME7639 산학프로젝트2 (Industry-academic Cooperative Research Project 2) 3 3

교과목 해설

COME 6601 운영체제 특론 Ⅰ (Advanced Operating Systems Ⅰ) 3학점
운영체제의 형태와 구조에 관한 연구를 한다. 객체 모델과 모니터, 가상 메모리, 교착상태 해결문제, 분산. 동시성제어 등에 관하여 연구한다.
· 권장선수과목 : COME6606 컴퓨터구조 특론Ⅰ
The main focus of this course is to understand the concurrency features of modern operating systems. This course provides a objects models and monitor, virtual memory and distribute concurrent control etc.
COME 6602 알고리즘 분석 및 설계 특론Ⅰ(Advanced Design and Analysis of Algorithms Ⅰ) 3학점
알고리즘의 대표적인 형태를 공부하고, 새로운 문제가 제안될 때 그 문제에 대한 알고리즘을 어떻게 설계하며, 설계된 알고리즘을 분석하는 방법을 연구한다.
· 권장선수과목 : COM6607 자료구조 특론Ⅰ, COME6611 그래프이론Ⅰ, COM6612 수치해석 특론Ⅰ
This course presents the principles and techniques for design and analysis of computer algorithms in order for students gain theoretical and systematic insights into real problems that arise in computer applications.
COME 6603 데이터베이스시스템 특론Ⅰ (Ad- vanced Database Systems Ⅰ) 3학점
데이타모델, 개념적 모델링 방법론, 논리적 및 물리적 스키마 설계 방법론, 릴레이션 정규화 이론, 질의어 설계, 추출 시스템 성능평가, 데이터베이스 보안에 대해 연구한다.
· 권장선수과목 : COM14206 데이터베이스, NE253 파일처리론
This course addresses current tech- nologies of various aspects of database systems. The main objective of this course is to study the design and implementation issues of high perfor- mance and high functionality database systems. Through this course, the students will have concrete concepts on database systems and will have in-depth knowledge on most issues of advanced database researches.
COME 6604 프로그래밍언어론 Ⅰ(Advanced Programming Language Ⅰ) 3학점
널리 사용중인 프로그래밍 언어들의 중요 개념을 소개하고, 의미론적 측면인 결속시간, 가시도, 기억 용량 관리, 추상성과 확장성의 운용과 외면적 의미 특징, 설계와 수행 문제에 있어서 고급언어에 중심을 두어 최근 프로그래밍 언어들의 발전 방향 및 경향을 조사하고 이의 구현 방안을 연구한다.
· 권장선수과목 : COM14303 컴파일러
This course provides students with underlying principles in the design and implementation of programming languages. Lectures use a variety of existing general-purpose programming languages originated from different programming paradigm: imperative, functional, logical, and object-oriented programming
COME 6605 컴파일러설계 특론Ⅰ(Advanced Compiler Design Ⅰ) 3학점
구문 조사, 의미 분석, 표현 전화, 상징표 조직과 조작, 내부코드생성, Storage 할당, 해석적 코드 생성 또는 코드 생성과 코드 생성과 최적화 등에 대한 컴파일러의 이론을 연구한다.
· 권장선수과목 : COM14104 디지털논리회로, COM14202 컴퓨터구조
This course´s goal is to expose students to some research issues of modern programming language imple- mentations. Topics include conventional data-flow analysis techniques, semantics- based flow analysis, type inference, type-based program analysis, and garbage collection.
COME 6606 컴퓨터구조 특론 Ⅰ(Advanced Computer Architecture Ⅰ) 3학점
컴퓨터의 구조와 동작에 관한 연구로 설계기법, 병렬처리 컴퓨터, 파이프라인 컴퓨터, 스택 컴퓨터, 성능 평가 등에 관해 연구한다.
· 권장선수과목 : COM14303 컴파일러
The purpose of this course is to provide the students with concepts of the fault-tolerance, reliability and evaluation technique of the computer system. The course provides a comprehensive and detailed treatment of digital systems testing and testable design. It covers: fault simulation, fault modeling, testing for single-stuck faults, functional testing, design for testability, build-in-test, logic level diagnosis, PLA testing, and etc.
COME 6607 자료구조 특론 Ⅰ(Advanced Data Structures Ⅰ) 3학점
자료를 보다 빠르고 쉽게 효율적으로 이용하기 위하여 자료의 종류와 형태 배열, 스택과 큐, 링크드 리스트, 트리, 그래프, 정렬, 화일 등을 공부한다.
· 권장선수과목 : COM14208 알고리즘
This course provides students with fundamental concepts in data structures and algorithms in a broad context of solving problems using computers.
COME 6608 인공지능 특론Ⅰ (Advanced Ar- tificial Intelligence Ⅰ) 3학점
인공지능의 개념 범위 등과 인공지능과 관련된 분야, 즉, 지식 표현방법, 추론방법, 학습 등과 인공 지능응용분야들 즉, 전문가 시스템, 자연어 처리, 컴퓨터 비전, 문제 해결방법 등을 연구한다.
· 권장선수과목 : COM14412 인공지능
The goal of this course is both to give a comprehensive introduction to core concepts of AI and hand-on experience on symbolic language programming. This course not only provides a thorough discussion of AI´s foundational technologies including predicate calculus, search, and AI languages, but introduces processing, pattern recognition, computer vision, and neural networks.
COME 6609 형식언어 및 오토마타론 Ⅰ (For- mal Language and Automata TheoryⅠ) 3학점
형식언어와 그를 생성하는 문법들의 여러 종류별 성질들 및 오토마타 이론과 그 관련성 등을 공부한다.
· 권장선수과목 : COM14303 컴파일러
This course is intended to understand the current theories of deterministic parsings of context-free grammar. Two basic parsing schemes, LR(k) and LL(k) parsings, are considered and the practical SLR(1) and LALR(1) techniques are discussed. The syntactic error recovery in LR-based parsing is also discussed.
COME 6610 자연어처리 특론Ⅰ(Advanced Natural Language ProcessingⅠ) 3학점
형식언어를 개괄한 후 자연어 처리의 특징을 알아본다. 한국어 및 영어 구문분석기 및 의미 표현방법 등을 공부하고 기계 번역도 연구한다.
· 권장선수과목 : COM14303 컴파일러, COM14412 인공지능
As a typical application of symbolic AI machine translation addresses the major issues involving computational linguistics, rules base, and more fundamentally knowledge representation and inference. In this regard, the goal of the course is to provide students with the first-hand experience with a real AI problem. The topics include the application of M.T, the basic problems in M.T, and classical approaches to the problems.
COME 6611 그래프이론Ⅰ (Graph TheoryⅠ) 3학점
그래프에 대한 정의와 정리, 그래프와 행렬에 관한 정리, network flows, shortest path.
· 권장선수과목 : COM14102 이산수학
This course presents the principles of three-dimensional graphics inclu- ding geometric modeling and realistic image synthesis. It also covers tech- niques in representing, manipulating, and rendering three-dimensional objects.
COME 6612 수치해석 특론Ⅰ (Advanced Nu- merical AnalysisⅠ) 3학점
컴퓨터를 활용한 수치적 형태 수학-비선형 방정식 해법, 근사 함수론, 수치적 미분적분법, 상미분 방정식, 편미분 방정식 등에 관하여 살펴보고 그 이론을 바탕으로 구현해 보며, 이에 따른 오차 및 오류 분석을 통해 수치적 소프트웨어의 발전을 도모한다.
· 권장선수과목 : 전산수학
Computer arithmetic, number repre- sentation, and errors: locating roots of equations: interpolation: numerical integration and differentiation: numerical solution of initial value problems for ordinary differential equations: solving systems of linear equations; data smoothing.
COME 6613 분산처리시스템 특론 Ⅰ(Ad- vanced Distributed Processing SystemsⅠ) 3학점
상위계층에서 요구되는 분산처리에 대해서 연구하는데, 주로 ISO/OSI의 표현 및 응용계층, 스템, 화일전산, 분산소프트웨어 시스템에 대하여 연구한다
· 권장선수과목 : COME6601 운영체제 특론Ⅰ, COME6606 컴퓨터구조 특론Ⅰ, COME6614 컴퓨터네트워크 특론, COME6615 데이터통신 특론Ⅰ
This course covers various high- level issues in distributed processing. We also analyzes ISO/OSI upper layers (presentation, application layer protocols) and document switching systems.
COME 6614 컴퓨터네트워크 특론 Ⅰ (Ad- vanced Computer NetworkⅠ) 3학점
정보화 사회에 필수적인 요소가 되는 컴퓨터 네트워크의 이론 및 방법, 실제적인 구현사례, 표준 등에 대하여 연구한다.
· 권장선수과목 : COM14301 컴퓨터네트워크
The goal of this course is to provide students with an under- standing on the following topics in the area of computer networks. (1) the basic concept of data communica- tion (2) the computer network and protocols (3) the layer architecture (4) local area network and the future technologies. The course also covers basic concepts on protocol engineering: design, implementation, and test of communication protocols.
COME 6615 데이터통신 특론 Ⅰ(Advanced Data CommunicationⅠ) 3학점
데이터 전송, 데이터 인코딩, 디지털 데이터 통신기술, 데이터 링크제어, 멀티플렉싱, 통신망 기술, 회선교환, 패킷교환, 라디오 및 위성 네트워크, 로컬 네트워크 등에 대해 공부한다.
· 권장선수과목 : COM14207 운영체제, COM14301 컴퓨터네트워크, COM14202 컴퓨터구조
An introduction to data communica- tion; data transmission, data encoding, digital data communication technique, data link control, multiplexing, local network etc.
COME 6616 실시간체제 특론 Ⅰ(Advanced Real-Time SystemsⅠ) 3학점
중복된 프로세스 지원방법, 네트워크 프로세스, 실시간 통신기법, 고장 허용 라우팅에 대하여 연구한다.
· 권장선수과목 : COM14207 운영체제, COM14202 컴퓨터구조
The objective of this course is to discuss topics and problems encoun- tered when developing computer systems for hard real-time environ- ments. The course covers: real-time issues, reliable system design, modeling, verification and validation, scheduling, fault-tolerant architecture, evaluation techniques for real-time processing.
COME 6617 컴퓨터시스템성능평가 특론Ⅰ (Advanced Computer Perfor- mance EvaluationⅠ) 3학점
Queueing 이론에 근거하여 컴퓨터 시스템의 모델을 세워 평가하며, Queue의 개폐망 분석, 운영분석 경계 접근 분석 등을 연구하며 더 나아가 계산기법, 실질한계, 수치적 정확도와 안전성 등에 관해 모델을 세워 연구한다.
· 권장선수과목 : COM14207 운영체제, COM14202 컴퓨터구조
The purpose of this course is to provide the students with concepts of the queuing theory, computational technique, security etc.
COME 6618 마이크로프로세서 응용 특론Ⅰ (Advanced Microprocessor Ap- plicationsⅠ) 3학점
Intel 8086, Z8000과 Z8002, MC68000, NS16000, iAPX432bit 및 32bit Micro- processor의 특징과 그 구성원리, 명령어, I/O interface, 응용 시스템 구성, 응용 프로그램, 지원 운영체제 등을 공부한다.
· 권장선수과목 : COM14202 컴퓨터구조, COM14104 디지털논리회로
The goal of this course is two-fold: one to provide the students with an in-depth understanding of the general microprocessor systems including Intel and Motorola microprocessor families, the other is to have students carry out several projects on the micro- processor-based system design using an IBM PC/AT compatible system. Coverage includes Intel 80x86 family, Motorola 68000 family, assembly languages, system interfaces, I/O interfaces, and etc.
COME 6619 객체지향언어론Ⅰ (Object Oriented Language TheoryⅠ) 3학점
새로운 프로그래밍 패러다임인 객체지향 언어의 일반적인 특성을 연구하고 특히 프로그램의 재사용 및 은닉화를 위한 자료 추상화, 다형화, 상속성 등을 중심으로 공부한다.
· 권장선수과목 : COM14203 C++프로그래밍, COME6604 프로그래밍언어 특론Ⅰ
Objects and classes. Programming with classes. Constructors and dest - ructors. Function and operation overloading. Master classes. The class iostream. Base and derived classes. Templates.
COME 6620 정보검색 특론 Ⅰ(Advanced Infor- mation RetrievalⅠ) 3학점
정보의 구성과 검색에 관한 현재 주로 연구되고 있는 이론과 기법, 검색어, 저장구조, 성능 평가방법 등을 연구한다.
· 권장선수과목 : 정보이론
An introduction to information retrieval ; theory and technique of information, store structure, evaluation of performance etc.
COME 6621 정보이론 Ⅰ(Information TheoryⅠ) 3학점
주요 논제인 엔트로피, 잡음 없는 코딩, 분리 정보원, 채널, 채널 능력, 잡음 채널, 오차 정정과 감지 코드에 대한 Shannon의 코딩이론 등에 대해 공부한다.
· 권장선수과목 : 정보이론
This course covers information theory concept ; entropy, errorless coding, channel, noise channel, shannon´s coding etc.
COME 6622 정보공학 특론 Ⅰ(Advanced In- formation EngineeringⅠ) 3학점
컴퓨터의 주요 처리 대상이 되는 정보의 생성 혹은 가공 분배 등에 대한 기본 원리와 이론을 공부한다.
· 권장선수과목 : 정보이론
This course covers information engi- neering concept; creative information etc.
COME 6623 병렬처리 특론 Ⅰ(Advanced Pa- rallel ProcessingⅠ) 3학점
파이프라인, 어레이프로세서, 다중처리 프로세서 및 연결회로망, 데이타 흐름기계, 리덕션 기계 등 병렬처리 기법을 공부한다.
· 권장선수과목 : COM14202 컴퓨터구조, COME6606 컴퓨터구조 특론Ⅰ
The goal of this course is provide students the information on both the parallel softwares and the parallel architectures. This course starts with an overview of the basic foundations such as hardware technology, applica- tions, computational models. And an overview of parallel softwares and their limitations is provided. Some existing parallel machines and proposed parallel architectures are also covered.
COME 6624 컴퓨터그래픽스 특론 Ⅰ(Ad- vanced Computer GraphicsⅠ) 3학점
도형, 라스터 그래픽스와 Interactive 방법을 포함한 2D, 3D에서의 컴퓨터 그래픽 이론 및 개념을 소개하고 그래픽스 패키지 구현, 그래픽스 환경(운영체제, 프로그래밍 언어, 사용자 인터페이스)에 관해 연구하며 PHIGS형 그래픽 패키지 구현에 힘쓴다.
· 권장선수과목 : COM14305 컴퓨터그래픽스, COM14211 윈도우프로그래밍
This course presents the principles of three-dimensional graphics including geometric modeling and realistic image synthesis. It also covers techniques in representing, manipulating, and ren- dering three-dimensional objects.
COME 6625 영상처리 특론 Ⅰ(Advanced Imaging ProcessingⅠ) 3학점
상의 변환, 화질 향상, 복원, 코딩, 분할, 특성검출 등을 포함하는 기본적인 영상처리 알고리즘들과 영상처리 시스템의 기본 원리를 연구한다.
· 권장선수과목 : COM14305 컴퓨터그래픽스, COM14417 차세대인터넷콘텐츠, COM14407 컴퓨터비전
Introduction to the vision process and fundamental mathematical charac- terization of digitized images, 2-dimen- sional transform methods used in image processing. Histogram analysis and manipulation, image filtering techniques, image segmentation and morphology.
COME 6626 패턴인식 특론 Ⅰ(Advanced Pattern RecognitionⅠ) 3학점
영상 정보를 인식하여 처리하는 기본 개념을 익히고 패턴에 적용되는 측정값 집합에 대한 패턴 인식 방법의 효율성과 인식할 패턴의 특징 요소 추출법, 구조적인 정보 및 위상학적 특성에 대한 골격 구성, 처리할 자료의 양을 감소시키는 방법을 연구한다.
· 권장선수과목 : COME6625 영상처리 특론Ⅰ
Through this course, students are expected to acquire general ideas of pattern recognition and its application. Three fields (character, speech and image processing) will be studied in which pattern recognition techniques can be successfully applied.
COME 6627 소프트웨어공학 특론 Ⅰ(Ad- vanced Software EngineeringⅠ) 3학점
시스템 설계의 표현 방식, 설계전략, 설계개념, 소프트웨어의 신뢰도, 자원활용모뎀, 소프트웨어 개발 환경, 소프트웨어 도구에 대한 Case study, 복잡도 측정, 구조화 설계기법 등 최신의 설계기술을 연구한다.
· 권장선수과목 : COM14317 소프트웨어공학
This course introduces basic concepts required in developing an economically reliable software systems. and, let students utilize basic software development techniques and tools that are used in building programs of real-world applications. Team efforts and project documentation are emphasized throughout this course.
COME 6628 전문가시스템 특론 Ⅰ(Ad- vanced Expert SystemsⅠ) 3학점
전문가 시스템의 특성 및 범위에 관해 기존의 전문가 시스템 및 전문화된 언어와 연관시켜 Review하고 특정 분야에 대한 전문성 획득, 표현, 검색기법을 연구하며 사용자 상호작용과 Chaining Rule System을 포함한 전문가 시스템의 발전에 대해 관심을 갖고 프로그래밍 작업을 통해 전문가 시스템을 구현시켜 본다.
· 권장선수과목 : COM14412 인공지능
Definitions and historical develop- ment, methodology tools for analysis an design, survey of existing systems, inference engines, and theory and applications of fuzzy relational products to new developments in inference engines.
COME 6629 사용자인터페이스관리시스템 특론 Ⅰ(Advanced User Interface Management Systems Ⅰ) 3학점
Motif, Open, 인터페이스 언어, Abstract 인터페이스, 멀티미디어 인터페이스 등에 관하여 연구한다.
· 권장선수과목 : COME6624 컴퓨터그래픽스 특론Ⅰ, COME6638 멀티미디어 시스템 특론Ⅰ
This course covers user interface management system concept ; motif, open, interface language, multimedia interface etc.
COME 6630 신경회로망 특론 Ⅰ(Advanced Neural NetworkⅠ) 3학점
인간의 뇌 구조 및 활동에 대한 전반적인 기초 내용을 다루고 새로운 뉴로 컴퓨터 모델의 연구, 패턴인식과 습의 응용, 조합논리에 따른 최적화 응용, 뇌와 인지의 정보처리 기능에 관한 새로운 모델 연구 등 신경회로 수치 이론을 주제로 한 병렬 계산기 이론 및 응용에 관해 연구한다.
· 권장선수과목 : COM14412 인공지능, 신경망 특론
The goal of this course is to provide students with theory, applica- tion and implementation technology of the neural networks. Major topics include learning theory, models, applications (character, speech, image, expert system) and implementations (optical, VLSI).
COME 6631 로보틱스 특론 Ⅰ(Advanced Ro- boticsⅠ) 3학점
로보틱스에서의 주요 연구분야인 Mechanical Design, Sensor Design, Object Recognition, Automatic Planning, Error Recovery 고찰 및 문제점 파악 등에 관해 공부한다.
· 권장선수과목 : COM14412 인공지능
The goal of this course is to provide students with basic theory, application and relationships with related areas of robotics. Major topics include robot manipulation, robot programming languages and systems, and introduction to intelligent robotics.
COME 6632 하이퍼텍스트 특론 Ⅰ(Advanced HypertextⅠ) 3학점
하이퍼텍스트(Hypertext)의 개념, 설계기법, 용도를 공부한 다음, 기존의 문제점을 해결하기 위한 방법 및 알고리즘을 연구한다. 특히 AI 기법을 이용하여 Hyper network 상에서의 정보 저장 및 검색 방법을 추구한다.
· 권장선수과목 : COME6638 멀티미디어 시스템 특론Ⅰ
This course covers hypertext concept; design technique, store of information on hyper network.
COME 6633 하이퍼미디어 특론 Ⅰ(Advanced HypermediaⅠ) 3학점
이질적인 media(하이퍼텍스트, 그래픽, 음향, 애니메이션)의 통합, 상호작용(interaction), real-time 처리 등을 위한 설계 및 구현 방법과 current issue에 관해서 연구한다.
· 권장선수과목 : COME6632 하이퍼텍스트 특론Ⅰ
This course covers hypermedia concept; hypertext, graphic, animation, interaction of hypermedia, real-time processing, and current issue.
COME 6634 차세대컴퓨터 특론 Ⅰ(Ad- vanced Next Generation ComputerⅠ) 3학점
제 5 세대 및 제 6 세대 컴퓨터의 동작 원리와 구조를 연구한다. 현재와 미래의 컴퓨터 시스템에 관련된 문제를 중심으로 주제를 선택하여 연구한다.
· 권장선수과목 : COM14408 차세대인터넷특강, COME6634 차세대컴퓨터특강Ⅰ, COM14413 차세대웹기술
This course covers next generation computer concept ; 5 generation, 6 generation, and current issue etc.
COME 6635 전산학특강 Ⅰ(Current Topics in Computer ScienceⅠ) 3학점
현재와 미래의 컴퓨터 시스템에 관련된 문제를 중심으로 주제를 선택하여 연구한다.
· 권장선수과목 : COM14414 차세대컴퓨터특강
This course covers current topics in computer science concept ; current topics of computer and future topics of computer etc.
COME 6636 오토마타이론Ⅰ(Automata Theory Ⅰ) 3학점
유한오토마타의 여러 가지 표현(정규문법, 정규표현)에 대해 학습하고, 정규집합에 성질, 문맥 자유문법에서 유도트리, 문법의 간단화, 촘스키 정규형, 그라이바흐 정규형에 관한 내용, 문맥자유언어의 인식기인 pushdown automata, 문맥자유언어의 성질 중 펌핑렘마, 닫힘성질 및 결정 알고리즘에 관한 내용, 튜링머신에서 튜링머신 모델, 계산가능언어 및 함수, 튜링머신구축기법 , Church의 가정, enumerator로서의 튜링머신 및 기본 모델과 동등한 제한된 튜링머신에 관한 내용 등을 학습한다.
· 권장선수과목 : COME6605 컴파일러 설계특론Ⅰ, COM14303 컴파일러
This course is intended to understand the current theories of deterministic parsings of context- free grammar. Two basic parsing schemes, LR(k) and LL(k) parsings, are considered and the practical SLR(1) and LALR(1) techniques are discussed. The syntactic error recovery in LR-based parsing is also discussed.
COME 6637 유전자 알고리즘 특론 Ⅰ(Ad- vanced Genetic AlgorithmsⅠ) 3학점
적응 탐색 기법의 하나로 자연환경에서 종(species)들이 적자생존의 경쟁을 통하여 개체 집단을 환경에 적응하도록 진화시켜 나가는 것에 기초한 탐색 알고리즘인 유전자 알고리즘을 고전적인 인공지능기법, 신경회로망기법 등과 비교하여 학습한다. 유전자 알고리즘의 부호화, 적합도, 재생산, 교차 및 돌연변이 등의 연산에 대하여 학습하고, 유전자 알고리즘 기법에 기초한 개념학습(concept learning)등을 기계학습 기법 및 신경회로망 학습기법 등과 비교 연구한다.
· 권장선수과목 : COME6602 알고리즘 분석 및 설계 특론Ⅰ, COME6607 자료구조 특론Ⅰ
Basic concepts, fundamental theories, and techniques of genetic algorithms; applications.
COME 6638 멀티미디어시스템특론 Ⅰ(Ad- vanced Multimedia SystemsⅠ) 3학점
멀티미디어의 구성 및 각종 미디어들을 운용하기 위한 동기화 방법 및 통신 방법에 관하여 연구한다.
· 권장선수과목 : COME6624 컴퓨터그래픽스 특론Ⅰ, COME6632 하이퍼텍스트 특론Ⅰ, COME6633 하이퍼미디어 특론Ⅰ
Survey of recent advances in multi- media systems: applications, authoring tools, information retrieval, network and operating system support, and data management.
COME 6639 네트워크보안 Ⅰ(Network SecurityⅠ) 3학점
네트워크 환경에서 다양한 보안서비스, 관련 메커니즘, 구조, 관리, 정보화사회에서 미치는 영향을 다룬다.
· 권장선수과목 : COME6614 컴퓨터네트워크 특론Ⅰ, COME6615 데이타통신 특론Ⅰ
Practical topics in network security; policy and mechanism; intrusion, detec- tion, prevention, response, cryptography.
COME 6640 프로토콜엔지니어링 Ⅰ(Protocol EngineeringⅠ) 3학점
네트워크 프로토콜의 modeling, speci- fication, verification, design, imple- mentation, testing, client/sever computing, peer-to-peer computing 등을 다룬다.
· 권장선수과목 : COME6614 컴퓨터네트워크 특론Ⅰ, COME6639 네트워크보안Ⅰ
Survey of recent advances in protocol engineering : applications, protocol modeling, specification, verification, design, implementation, testing, client/ sever computing, peer-to-peer computing.
COME 6641 객체지향 데이터베이스 시스템 특론Ⅰ(Advanced Object-Oriented Database SystemsⅠ) 3학점
차세대 데이터베이스 시스템과 통합 개발환경에서 가장 유망한 기술인 객체지향 데이터 베이스 시스템에 수반된 객체지향 모델과 그에 대응하는 언어들, 그리고 이 모델에 기초한 데이터 관리 시스템의 구조적 모습에 대해 연구한다.
· 권장선수과목 : COM14206 데이터베이스
Basic file organization methods; indexed files; multi-key processing. Architecture of object oriented data- base management systems, relational, hierarchical network, and semantic database models; normalization; distri- buted databases and file systems; Practical use of a DBMS and the building of a object oriented database application.
COME 6642 데이터 모델링 특론 Ⅰ(Advan- ced Data ModelingⅠ) 3학점
데이터베이스와 그 응용의 개발을 위한 기반이 되는 데이터 모델들에 대한 이론적 고찰과 연산, 제약사항 등을 연구한다.
· 권장선수과목 : COM14206 데이터베이스
Survey of recent advances in data modeling : applications, theory, restric- tions etc.
COME 6643 컴퓨터 교육 특론 Ⅰ(Advanced Computer EducationⅠ) 3학점
컴퓨터교육의 발전방안과 컴퓨터를 이용한 코스웨어의 개발과 저작도구 등에 대하여 연구한다.
This course covers current topics in advanced computer education concept. ; development of couseware, tool etc.
COME 6644 분산 데이터베이스 시스템 특론Ⅰ(Advanced Distributed Data- base SystemsⅠ) 3학점
분산되어 있는 데이터베이스를 통신망으로 연결하여 응용프로그램 등을 수행하는 분산 데이터베이스 시스템에 관련된 이론과 특성 등을 연구한다.
· 권장선수과목 : COM14206 데이터베이스
This course covers current topics in advanced distributed system concept. ; network application etc.
COME 6645 웹 데이터베이스 시스템 특론Ⅰ(Advanced Web Database SystemsⅠ) 3학점
웹과 데이터베이스의 연동 문제와 웹 상에서 데이터베이스를 처리하기 위한 기술 등에 관하여 연구한다.
· 권장선수과목 : COME6642 데이터 모델링 특론Ⅰ
This course covers current topics in advanced web data base system concept. ; web data base system technique etc.
COME 6646 퍼지이론 특론 Ⅰ(Advanced Fuzzy Theory Ⅰ) 3학점
퍼지의 전반적인 퍼지집합, 퍼지연산, 퍼지관계, 퍼지논리, 퍼지제어 등을 중심으로 학습한 후, 실제로 몇 가지 응용문제를 다룬다.
Fuzzy theory and its related topics are introduced with their applications.
COME 6647 문자인식 특론 Ⅰ(Advanced Cha- racter Recognition Ⅰ) 3학점
패턴인식의 한 분야로 문자를 받아들여 인식에 이르기까지의 과정을 연구하는 분야로써, 실제로 인쇄체 숫자, 문자, 필기체 숫자, 문자 등을 인식하는 알고리즘을 연구한다.
This course covers current topics in advanced character recognition concept. ; printed character, hand-written character, hand-written number etc.
COME 6648 음성인식 특론 Ⅰ(Advanced Speech RecognitionⅠ) 3학점
음성의 생성원리, 분석을 통하여 음절인식, 단어인식, 한정 음성인식으로부터 음성인식의 최종목표인 불특정 화자 연속음성인식을 주로 연구한다. 그리고, 음성인식을 기반으로 음성합성과 음성이해에 이르기까지 폭넓은 연구를 진행한다.
This course covers current topics in advanced speech recognition concept. ; vocabulary recognition, continue speech recognition etc.
COME 6649 화상인식 특론 Ⅰ(Advanced Image ProcessingⅠ) 3학점
화상의 정보를 입력으로 하여 2치화, 세선화, 특징추출, Edge 처리 등을 최근기법으로 접근하여 응용분야에까지 자세하게 강의한다.
This course covers current topics in advanced image processing concept. ; application, digitize technique, thinning technique, feature extraction technique etc.
COME 6650 필기체 한글문자인식 특론Ⅰ(Advanced Hand-written Han- gul Character Recognition Ⅰ) 3학점
필기체 한글문자인식을 접근하는데 있어서 최근의 국내외 학회에서 거론되는 방법론을 연구하여 실제로 구현을 해본다.
Survey of recent advances in hand-written hangul character recogni- tion : applications, theory, restrictions etc.
COME7626 웹프로그래밍특론Ⅰ(Advanced Web ProgrammingⅠ) 3학점
인터넷의 핵심 응용 서비스인 월드와이드웹(WWW) 서비스에서 주로 다루는 홈페이지 구축을 위한 전문적인 지식을 습득하고 실제로 홈페이지의 제작을 통해 이론과 실제를 접목시키는 과정을 습득케한다.
Design and implementation of World Wide Web Services.
COME7627 차세대인터넷특론Ⅰ(Advanced NextGeneration InternetⅠ) 3학점
급격히 발전되고 있는 인터넷 분야의 최근 기술 동향과 전망, 인터넷 관련 신기술에 대하여 차세대 웹 언어인 XML을 이용하여 배우게 된다.
The courses teach students to use XML to create functional, exciting, effective web applicaitons, and next generation internet environments.
COME7628 모바일프로그래밍특론Ⅰ(Advanced Mobile ProgrammingⅠ) 3학점
이동단말기에서 동작할 수 있도록 축소화된 운영체제 상에서 mobile 3D game 등과 같은 다양한 응용에 대한 S/W 설계 기술을 학습한다.
The course introduces Wireless SW /design and programming for content and application development using a programming language such as Java 2 Micro Edition (J2ME). Participant
COME7629 임베디드시스템특론Ⅰ(Advanced Embedded SystemsⅠ) 3학점
RISC ARM 계열 프로세서로 구성된 소규모 컴퓨터에 LINUX, RTOS와 같은 축소 운영체제를 포팅하고 이러한 운영체제 기반위에서 응용 프로그래밍을 통해 MP3 player, 인터넷폰, 무선랜을 통한 원격제어 시스템 등과 같은 다양한 응용 시스템들을 구현하게 된다.
Install tiny OS such as LINUX, RTOS, and WinCE into small scale computer imbedded systems and implement.
COME 6701 운영체제 특론 Ⅱ(Advanced Operating SystemsⅡ) 3학점
운영체제의 형태와 구조에 관한 연구를 한다. 객체 모델과 모니터, 가상 메모리, 교착상태 해결문제, 분산. 동시성제어 등에 관하여 연구한다.
· 권장선수과목 : COME6601 운영체제 특론Ⅰ, COME6606 컴퓨터구조 특론Ⅰ
Advanced computer system architec- ture. The main focus of this course is to understand the concurrency features of modern operating systems. This course provides a objects models and monitor, virtual memory and distri- bute concurrent control etc.
COME 6702 알고리즘 분석 및 설계 특론Ⅱ(Advanced Design and Ana- lysis of AlgorithmsⅡ) 3학점
알고리즘의 대표적인 형태를 공부하고, 새로운 문제가 제안될 때 그 문제에 대한 알고리즘을 어떻게 설계하며, 설계된 알고리즘을 분석하는 방법을 연구한다.
· 권장선수과목 : COME6602 알고리즘 분석 및 설계 특론Ⅰ, COME6607 자료구조 특론Ⅰ, COME6611 그래프 이론Ⅰ, COME6612 수치해석 특론Ⅰ
This course presents the principles and techniques for design and analysis of computer algorithms in order for students gain theoretical and systematic insights into real problems that arise in computer applications.
COME 6703 데이터베이스시스템 특론 Ⅱ (Advanced Database Sys- temsⅡ) 3학점
데이터 모델, 개념적 모델링 방법론, 논리적 및 물리적 스키마 설계 방법론, 릴레이션 정규화 이론, 질의어 설계, 추출 시스템 성능평가, 데이터베이스 보안에 대해 연구한다.
· 권장선수과목 : COM14206 데이터베이스, COME6603 데이터베이스시스템 특론Ⅰ
This course addresses current technologies of various aspects of database systems. The main objective of this course is to study the design and implementation issues of high performance and high functionality database systems. Through this course, the students will have concrete concepts on database systems and will have in-depth knowledge on most issues of advanced database researches.
COME 6704 프로그래밍언어론 Ⅱ(Advanced Programming LanguageⅡ) 3학점
널리 사용중인 프로그래밍 언어들의 중요 개념을 소개하고, 의미론적 측면인 결속시간, 가시도, 기억 용량 관리, 추상성과 확장성의 운용과 외면적 의미 특징, 설계와 수행 문제에 있어서 고급언어에 중심을 두어 최근 프로그래밍 언어들의 발전 방향 및 경향을 조사하고 이의 구현 방안을 연구한다.
· 권장선수과목 : COME6604 프로그래밍언어 특론Ⅰ
This course provides students with underlying principles in the design and implementation of programming languages. Lectures use a variety of existing general-purpose programming languages originated from different programming paradigm: imperative, functional, logical, and object-oriented programming.
COME 6705 컴파일러설계 특론 Ⅱ(Advan- ced Compiler DesignⅡ) 3학점
구문 조사, 의미 분석, 표현 전화, 상징표 조직과 조작, 내부코드생성, Storage 할당, 해석적 코드 생성 또는 코드 생성과 코드 생성과 최적화 등에 대한 컴파일러의 이론을 연구한다.
· 권장선수과목 : COM14104 디지털논리회로, COM14202 컴퓨터구조, COME6606 컴퓨터구조 특론Ⅰ
This course´s goal is to expose students to some research issues of modern programming language imple- mentations. Topics include conven- tional data-flow analysis techniques, semantics-based flow analysis, type inference, type-based program analysis, and garbage collection.
COME 6706 컴퓨터구조 특론 Ⅱ(Advanced Computer ArchitectureⅡ) 3학점
컴퓨터의 구조와 동작에 관한 연구로 설계기법, 병렬처리 컴퓨터, 파이프라인 컴퓨터, 스택 컴퓨터, 성능 평가 등에 관해 연구한다.
· 권장선수과목 : COM14303 컴파일러, COME6605 컴파일러설계 특론Ⅰ
The purpose of this course is to provide the students with concepts of the fault-tolerance, reliability and evaluation technique of the computer system. The course provides a comprehensive and detailed treatment of digital systems testing and testable design. It covers: fault simulation, fault modeling, testing for single-stuck faults, functional testing, design for testability, build-in-test, logic level diagnosis, PLA testing, and etc.
COME 6707 자료구조 특론 Ⅱ(Advanced Data StructuresⅡ) 3학점
자료를 보다 빠르고 쉽게 효율적으로 이용하기 위하여 자료의 종류와 형태 배열, 스택과 큐, 링크드 리스트, 트리, 그래프, 정렬, 화일 등을 공부한다.
· 권장선수과목 : COM14208 알고리즘, COME6607 자료구조 특론Ⅰ
This course provides students with fundamental concepts in data struc- tures and algorithms in a broad context of solving problems using computers.
COME 6708 인공지능 특론 Ⅱ(Advanced Artificial IntelligenceⅡ) 3학점
인공지능의 개념 범위 등과 인공지능과 관련된 분야, 즉, 지식 표현방법, 추론방법, 학습 등과 인공지능 응용분야들 즉, 전문가 시스템, 자연어 처리, 컴퓨터 비전, 문제 해결방법 등을 연구한다.
· 권장선수과목 : COM14412 인공지능, COME6608 인공지능 특론Ⅰ
The goal of this course is both to give a comprehensive introduction to core concepts of AI and hand-on experience on symbolic language programming. This course not only provides a thorough discussion of AI´s foundational technologies including predicate calculus, search, and AI languages, but introduces processing, pattern recognition, computer vision, and neural networks.
COME 6709 형식언어 및 오토마타론 Ⅱ(Formal Language Automata TheoryⅡ) 3학점
형식언어와 그를 생성하는 문법들의 여러 종류별 성질들 및 오토마타 이론과 그 관련성 등을 공부한다.
· 권장선수과목 : COM14303 컴파일러, COME6605 컴파일러설계 특론Ⅰ, COME6609 형식언어 및 오토마타론Ⅰ
This course is intended to unders- tand the current theories of deterministic parsings of context-free grammar. Two basic parsing schemes, LR(k) and LL(k) parsings, are considered and the practical SLR(1) and LALR(1) techniques are discussed. The syntactic error recovery in LR-based parsing is also discussed.
COME 6710 자연어처리 특론Ⅱ (Advanced Natural Language Pro- cessingⅡ) 3학점
형식언어를 개괄한 후 자연어 처리의 특징을 알아본다. 한국어 및 영어 구문분석기 및 의미 표현방법 등을 공부하고 기계 번역도 연구한다.
· 권장선수과목 : COM14303 컴파일러, COM14412 인공지능, COME6610 자연어처리 특론Ⅰ
As a typical application of symbolic AI machine translation addresses the major issues involving computational linguistics, rules base, and more fundamentally knowledge representation and inference. In this regard, the goal of the course is to provide students with the first-hand experience with a real AI. problem. The topics include the application of M.T, the basic problems in M.T, and classical approaches to the problems.
COME 6711 그래프이론 Ⅱ(Graph TheoryⅡ) 3학점
그래프에 대한 정의와 정리, 그래프와 행렬에 관한 정리, network flows, shortest path.
· 권장선수과목 : COME6611 그래프이론Ⅰ
This course presents the principles of three-dimensional graphics includ- ing geometric modeling and realistic image synthesis. It also covers techniques in representing, manipula- ting, and rendering three-dimensional objects.
COME 6712 수치해석 특록 Ⅱ(Advanced Numerical AnalysisⅡ) 3학점
컴퓨터를 활용한 수치적 형태 수학-비선형 방정식 해법, 근사 함수론, 수치적 미분적분법, 상미분 방정식, 편미분 방정식 등에 관하여 살펴보고 그 이론을 바탕으로 구현해 보며, 이에 따른 오차 및 오류 분석을 통해 수치적 소프트웨어의 발전을 도모한다.
· 권장선수과목 : COME6612 수치해석 특론Ⅰ
Computer arithmetic, number repre- sentation, and errors: locating roots of equations: interpolation: numerical integration and differentiation: numerical solution of initial value problems for ordinary differential equations: solving systems of linear equations; data smoothing.
COME 6713 분산처리시스템 특론 Ⅱ(Ad- vanced Distributed Processing SystemsⅡ) 3학점
상위계층에서 요구되는 분산처리에 대해서 연구하는데, 주로 ISO/OSI의 표현 및 응용계층, 스템, 화일전산, 분산소프트웨어 시스템에 대하여 연구한다.
· 권장선수과목 : COME6601 운영체제 특론Ⅰ, COME6706 컴퓨터구조 특론Ⅱ, COME6613 분산처리시스템 특론Ⅰ, COME6614 컴퓨터네트워크 특론Ⅰ, COME6615 데이터통신 특론Ⅰ
This course covers various high- level issues in distributed processing. We also analyzes ISO/OSI upper layers (presentation, application layer protocols) and document switching systems.
COME 6714 컴퓨터네트워크 특론 Ⅱ (Ad- vanced Computer NetworkⅡ) 3학점
정보화 사회에 필수적인 요소가 되는 컴퓨터 네트워크의 이론 및 방법, 실제적인 구현사례, 표준 등에 대하여 연구한다.
· 권장선수과목 : COM14301 컴퓨터네트워크, COME6614 컴퓨터네트워크 특론Ⅰ
The goal of this course is to provide students with an understan- ding on the following topics in the area of computer networks. (1) the basic concept of data communica- tion (2) the computer network and protocols (3) the layer architecture (4) local area network and the future technologies. The course also covers basic concepts on protocol engineering: design, implementation, and test of communication protocols.
COME 6715 데이터통신 특론 Ⅱ(Advanced Data CommunicationⅡ) 3학점
데이터 전송, 데이터 인코딩, 디지털 데이터 통신기술, 데이터 링크제어, 멀티플렉싱, 통신 망 기술, 회선교환, 패킷교환, 라디오 및 위성 네트워크, 로컬 네트워크 등에 대해 공부한다.
· 권장선수과목 : COM14207 운영체제, COM14301 컴퓨터네트워크, COM14202 컴퓨터구조, COME6615 데이터통신 특론Ⅰ
An introduction to data communi- cation ; data transmission, data encoding, digital data communication technique, data link control, multi- plexing, local network etc.
COME 6716 실시간체제 특론 Ⅱ(Advanced Real-Time SystemsⅡ) 3학점
중복된 프로세스 지원방법, 네트워크 프로세스, 실시간 통신기법, 고장 허용 라우팅에 대하여 연구한다.
· 권장선수과목 : COM14207 운영체제, COM14202 컴퓨터구조, COME6616 실시간체제 특론Ⅰ
The objective of this course is to discuss topics and problems encoun- tered when developing computer systems for hard real-time environ- ments. The course covers: real-time issues, reliable system design, model- ing, verification and validation, sche- duling, fault-tolerant architecture, evalua- tion techniques for real-time processing.
COME 6717 컴퓨터시스템성능평가 특론 Ⅱ (Advanced Computer Per- formance EvaluationⅡ) 3학점
Queueing 이론에 근거하여 컴퓨터 시스템의 모델을 세워 평가하며, queue의 개폐망 분석, 운영분석 경계 접근 분석 등을 연구하며 더 나아가 계산기법, 실질한계, 수치적 정확도와 안전성 등에 관해 모델을 세워 연구한다.
· 권장선수과목 : COM14207 운영체제, COM14202 컴퓨터구조, COME6617 컴퓨터시스템 성능 평가 특론Ⅰ
The purpose of this course is to provide the students with concepts of the queuing theory, computational technique, security etc.
COME 6718 마이크로프로세서응용 특론 Ⅱ(Advanced Microprocessor Ap- plications Ⅱ) 3학점
Intel 8086, Z8000과 Z8002, MC 68000, NS16000, iAPX432bit 및 32bit Microprocessor의 특징과 그 구성원리, 명령어, I/O interface, 응용 시스템 구성, 응용 프로그램, 지원 운영체제 등을 공부한다.
· 권장선수과목 : COM14202 컴퓨터구조, COM14104 디지털논리회로, COME6618 마이크로프로세서응용 특론Ⅰ
The goal of this course is two-fold: one to provide the students with an in-depth understanding of the general microprocessor systems including Intel and Motorola microprocessor families, the other is to have students carry out several projects on the micro- processor-based system design using an IBM PC/AT compatible system. Coverage includes Intel 80x86 family, Motorola 68000 family, assembly languages, system interfaces, I/O interfaces, and etc.
COME 6719 객체지향언어론 Ⅱ(Object Oriented Language TheoryⅡ) 3학점
새로운 프로그래밍 패러다임인 객체지향 언어의 일반적인 특성을 연구하고 특히 프로그램의 재사용 및 은닉화를 위한 자료 추상화, 다형화, 상속성 등을 중심으로 공부한다.
· 권장선수과목 : COME6604 프로그래밍언어 특론Ⅰ, COME6619 객체지향언어론Ⅰ
May not be applied towards a computer science major. Objects and classes. Programming with classes. Constructors and destructors. Function and operation overloading. Doctor classes. The class iostream. Base and derived classes. Templates.
COME 6720 정보검색 특론 Ⅱ(Advanced Information RetrievalⅡ) 3학점
정보의 구성과 검색에 관한 현재 주로 연구되고 있는 이론과 기법, 검색어, 저장구조, 성능평가방법 등을 연구한다.
· 권장선수과목 : COME6620 정보검색 특론Ⅰ
An introduction to information retrieval ; theory and technique of information, store structure, evaluation of performance etc.
COME 6721 정보이론 Ⅱ(Information Theory Ⅱ) 3학점
주요 논제인 엔트로피, 잡음 없는 코딩, 분리 정보원, 채널, 채널 능력, 잡음 채널, 오차정정과 감지 코드에 대한 Shannon의 코딩이론 등에 대해 공부한다.
· 권장선수과목 : COME6621 정보이론Ⅰ
This course covers information theory concept ; entropy, errorless coding, channel, noise channel, shannon´s coding etc.
COME 6722 정보공학 특론Ⅱ (Advanced In- formation EngineeringⅡ) 3학점
컴퓨터의 주요 처리 대상이 되는 정보의 생성 혹은 가공 분배 등에 대한 기본 원리와 이론을 공부한다.
· 권장선수과목 : COME6622 정보공학 특론Ⅰ
This course covers information engineering concept ; creative infor- mation etc.
COME 6723 병렬처리 특론Ⅱ (Advanced Parallel ProcessingⅡ) 3학점
파이프라인, 어레이프로세서, 다중처리 프로세서 및 연결회로망, 데이타 흐름기계, 리덕션 기계 등 병렬처리 기법을 공부한다.
· 권장선수과목 : COM14202 컴퓨터구조, COME6606 컴퓨터구조 특론Ⅰ, COME6623 병렬처리 특론Ⅰ
The goal of this course is provide students the information on both the parallel softwares and the parallel architectures. This course starts with an overview of the basic foundations such as hardware technology, applica- tions, computational models. And an overview of parallel softwares and their limitations is provided. Some existing parallel machines and propo- sed parallel architectures are also covered.
COME 6724 컴퓨터그래픽스 특론 Ⅱ(Ad- vanced Computer GraphicsⅡ) 3학점
도형, 라스터 그래픽스와 Interactive 방법을 포함한 2D, 3D에서의 컴퓨터 그래픽 이론 및 개념을 소개하고 그래픽스 패키지 구현, 그래픽스 환경(운영체제, 프로그래밍 언어, 사용자 인터페이스)에 관해 연구하며 PHIGS형 그래픽 패키지 구현에 힘쓴다.
· 권장선수과목 : COM14305 컴퓨터그래픽스, COM14211 윈도우프로그래밍, COME6624 컴퓨터그래픽스 특론Ⅰ
This course presents the principles of three-dimensional graphics including geometric modeling and realistic image synthesis. It also covers techniques in representing, manipulating, and ren- dering three-dimensional objects.
COME 6725 영상처리 특론Ⅱ (Advanced Imaging ProcessingⅡ) 3학점
상의 변환, 화질 향상, 복원, 코딩, 분할, 특성검출 등을 포함하는 기본적인 영상처리 알고리즘들과 영상처리 시스템의 기본 원리를 연구한다.
· 권장선수과목 : COM14305 컴퓨터그래픽스, COM14407 컴퓨터비전, COME6625 영상처리 특론Ⅰ
The goal of this course is provide students the information on both the parallel softwares and the parallel architectures. This course starts with an overview of the basic founda- tions such as hardware technology, applications, computational models. And an overview of parallel softwares and their limitations is provided. Some existing parallel machines and proposed parallel architectures are also covered.
COME 6726 패턴인식 특론Ⅱ (Advanced Pattern RecognitionⅡ) 3학점
영상 정보를 인식하여 처리하는 기본 개념을 익히고 패턴에 적용되는 측정값 집합에 대한 패턴 인식 방법의 효율성과 인식할 패턴의 특징 요소 추출법, 구조적인 정보 및 위상학적 특성에 대한 골격 구성, 처리할 자료의 양을 감소시키는 방법을 연구한다.
· 권장선수과목 : COME6625 영상처리 특론Ⅰ, COM6626 패턴인식 특론Ⅰ
Through this course, students are expected to acquire general ideas of pattern recognition and its application. Three fields (character, speech and image processing) will be studied in which pattern recognition techniques can be successfully applied.
COME 6727 소프트웨어공학 특론 Ⅱ(Ad- vanced Software EngineeringⅡ) 3학점
시스템 설계의 표현 방식, 설계전략, 설계개념, 소프트웨어의 신뢰도, 자원활용모뎀, 소프트웨어 개발 환경, 소프트웨어 도구에 대한 case study, 복잡도 측정, 구조화 설계기법 등 최신의 설계기술을 연구한다.
· 권장선수과목 : COM14317 소프트웨어공학, COME6627 소프트웨어공학 특론Ⅰ
This course introduces basic concepts required in developing an economically reliable software systems. and, let students utilize basic software development techniques and tools that are used in building programs of real-world applications. Team efforts and project documentation are em- phasized throughout this course.
COME 6728 전문가시스템 특론 Ⅱ(Advan- ced Expert SystemsⅡ) 3학점
전문가 시스템의 특성 및 범위에 관해 기존의 전문가 시스템 및 전문화된 언어와 연관시켜 review하고 특정 분야에 대한 전문성 획득, 표현, 검색기법을 연구하며 사용자 상호작용과 chaining rule system을 포함한 전문가 시스템의 발전에 대해 관심을 갖고 프로그래밍 작업을 통해 전문가 시스템을 구현시켜 본다.
· 권장선수과목 : COM14413 인공지능, COME6628 전문가시스템 특론Ⅰ
Definitions and historical develop- ment, methodology tools for analysis an design, survey of existing systems, inference engines, and theory and applications of fuzzy relational products to new developments in inference engines.
COME 6729 사용자인터페이스관리시스템 특론 Ⅱ(Advanced User Inter- face Management Systems Ⅱ) 3학점
Motif, open, 인터페이스 언어, abstract 인터페이스, 멀티미디어 인터페이스 등에 관하여 연구한다.
· 권장선수과목 : COME6624 컴퓨터그래픽스 특론Ⅰ, COME6629 사용자인터페이스관리시스템 특론Ⅰ, COME6638 멀티미디어시스템 특론Ⅰ
This course covers user interface management system concept ; motif, open, interface language, multimedia interface etc.
COME 6730 신경회로망 특론 Ⅱ(Advanced Neural NetworkⅡ) 3학점
인간의 뇌 구조 및 활동에 대한 전반적인 기초 내용을 다루고 새로운 뉴로 컴퓨터 모델의 연구, 패턴인식과 학습의 응용, 조합논리에 따른 최적화 응용, 뇌와 인지의 정보처리 기능에 관한 새로운 모델 연구 등 신경회로 수치 이론을 주제로 한 병렬 계산기 이론 및 응용에 관해 연구한다.
· 권장선수과목 : COM14412 인공지능, COME6630 신경회로망 특론Ⅰ
The goal of this course is to provide students with theory, application and implementation technology of the neural networks. Major topics include learning theory, models, applications (character, speech, image, expert system) and implementations (optical, VLSI).
COME 6731 로보틱스 특론Ⅱ (Advanced Ro- boticsⅡ) 3학점
로보틱스에서의 주요 연구분야인 mechanical design, sensor design, object recognition, automatic planning, error recovery 고찰 및 문제점 파악 등에 관해 공부한다.
· 권장선수과목 : COM14412 인공지능, COME6631 로보틱스 특론Ⅰ
The goal of this course is to provide students with basic theory, application and relationships with related areas of robotics. Major topics include robot manipulation, robot programming languages and systems, and introduction to intelligent robotics.
COME 6732 하이퍼텍스트 특론 Ⅱ(Advan- ced Hypertext Ⅱ) 3학점
하이퍼텍스트(Hypertext)의 개념, 설계기법, 용도를 공부한 다음, 기존의 문제점을 해결하기 위한 방법 및 알고리즘을 연구한다. 특히 AI 기법을 이용하여 hyper network 상에서의 정보 저장 및 검색 방법을 추구한다.
· 권장선수과목 : COME9938 멀티미디어시스템 특론Ⅰ, COME6632 하이퍼텍스트 특론Ⅰ
This course covers hypertext concept ; design technique, store of informa- tion on hyper network.
COME 6733 하이퍼미디어 특론 Ⅱ(Advan- ced HypermediaⅡ) 3학점
이질적인 media(하이퍼텍스트, 그래픽, 음향, 애니메이션)의 통합, 상호작용(interaction), real-time 처리 등을 위한 설계 및 구현 방법과 current issue에 관해서 연구한다.
· 권장선수과목 : COME6632 하이퍼텍스트 특론Ⅰ, COME6633 하이퍼미디어 특론Ⅰ
This course covers hypermedia concept ; hypertext, graphic, animation, interaction of hypermedia, real-time processing, and current issue.
COME 6734 차세대컴퓨터 특론 Ⅱ(Advan- ced Next Generation Com- puterⅡ) 3학점
제 5 세대 및 제 6 세대 컴퓨터의 동작 원리와 구조를 연구한다. 현재와 미래의 컴퓨터 시스템에 관련된 문제를 중심으로 주제를 선택하여 연구한다.
· 권장선수과목 : COME6634 차세대컴퓨터 특론Ⅰ
This course covers next generation computer concept ; 5 generation, 6 generation, and current issue etc.
COME 6735 전산학특강 Ⅱ(Current Topics in Computer ScienceⅡ) 3학점
현재와 미래의 컴퓨터 시스템에 관련된 문제를 중심으로 주제를 선택하여 연구한다.
· 권장선수과목 : COME6634 차세대컴퓨터특론Ⅰ, COME6635 전산학특강Ⅰ
This course covers current topics in computer science concept ; current topics of computer and future topics of computer etc.
COME 6736 오토마타이론 Ⅱ(Automata TheoryⅡ) 3학점
유한오토마타의 여러 가지 표현(정규문법, 정규표현)에 대해 학습하고, 정규집합에 성질, 문맥 자유문법에서 유도트리, 문법의 간단화, 촘스키 정규형, 그라이바흐 정규형에 관한 내용, 문맥자유언어의 인식 기인 Push down automata, 문맥자유언어의 성질 중 펌핑렘마, 닫힘성질 및 결정 알고리즘에 관한 내용, 튜링머신에서 튜링머신 모델, 계산가능언어 및 함수, 튜링머신구축기법, Church의 가정, enumerator로서의 튜링머신 및 기본 모델과 동 등한 제한된 튜링머신에 관한 내용 등을 학습한다.
· 권장선수과목 : COME6605 컴파일러 설계 특론Ⅰ, COME6609 형식언어 및 오토마타론Ⅰ
COME7638 산학프로젝트1 (Industry-academic Cooperative Research Project 1) 3학점
본 교과목은 수강생들이 기업 수요에 맞추어 산업 지능화 기술을 개발하는 산학공동연구 프로젝트에 참여하여 한 학기 동안 연구를 수행하고 그 결과를 평가하여 P/F 학점을 부여한다. 본 교과목은 "지역지능화혁신인재양성사업"을 통해 운영되는 "스마트ICT융합전공(2023년 신설)" 석사과정을 이수할 학생들을 대상으로 한다.
This course lets the students to earn credits by participating in the industry-academic cooperative research project during a semester, which addresses innovative technologies for industry intellectulaiztion. After finishing a semester, the results will be given with P/F grades according to evaluation of the project performance. This course is only for M.S. students of "Smart ICT Convergence Major" managed by the educational project "Innovative Human Resource Development for Local Intellectualization(Pai Chai University)".
COME7639 산학프로젝트2 (Industry-academic Cooperative Research Project 2) 3학점
본 교과목은 수강생들이 기업 수요에 맞추어 산업 지능화 기술을 개발하는 산학공동연구 프로젝트에 참여하여 한 학기 동안 연구를 수행하고 그 결과를 평가하여 P/F 학점을 부여한다. 본 교과목은 "지역지능화혁신인재양성사업"을 통해 운영되는 "스마트ICT융합전공(2023년 신설)" 석사과정을 이수할 학생들을 대상으로 한다.
This course lets the students to earn credits by participating in the industry-academic cooperative research project during a semester, which addresses innovative technologies for industry intellectulaiztion. After finishing a semester, the results will be given with P/F grades according to evaluation of the project performance. This course is only for M.S. students of "Smart ICT Convergence Major" managed by the educational project "Innovative Human Resource Development for Local Intellectualization(Pai Chai University)".
COME 6736 오토마타이론Ⅱ (Automata TheoryⅡ) 3학점
유한오토마타의 여러 가지 표현(정규문법, 정규표현)에 대해 학습하고, 정규집합에 성질, 문맥 자유문법에서 유도트리, 문법의 간단화, 촘스키 정규형, 그라이바흐 정규형에 관한 내용, 문맥자유언어의 인식 기인 Push down automata, 문맥자유언어의 성질 중 펌핑렘마, 닫힘성질 및 결정 알고리즘에 관한 내용, 튜링머신에서 튜링머신 모델, 계산가능언어 및 함수, 튜링머신구축기법, Church의 가정, enumerator로서의 튜링머신 및 기본 모델과 동 등한 제한된 튜링머신에 관한 내용 등을 학습한다.
· 권장선수과목 : COME6605 컴파일러 설계 특론Ⅰ, COME6609 형식언어 및 오토마타론Ⅰ
This course is intended to understand the current theories of deterministic parsings of context- free grammar. Two basic parsing schemes, LR(k) and LL(k) parsings, are considered and the practical SLR(1) and LALR(1) techniques are discussed. The syntactic error recovery in LR-based parsing is also discussed.
TOP