수업시간 및 강의실
- Class A (1218): 월요일 678 (14:00-17:00), 종합512
- Class B (1219): 화요일 123 (09:00-12:00), 2공203
- Class C (1258): 수요일 123 (09:00-12:00), 종합207
평가
- 출석: 20%
- 중간고사: 30%
- 기말고사: 30%
- 과제물, 참여도 및 기타: 20%
교재
- [MS] Introduction to Theory of Computation, Anil Maheshwari and Michiel Smid, Carleton University, 2024
Download free ebook
- [L] Introduction to Formal Languages and Automata, 6th ed., Peter Linz
- [Sip] Introduction to the theory of computation, M. Sipser, PWS Publishing Company, 1997
담당교수
- 배상원
- 연구실: 8309
- 전화: 9677
- 홈페이지: 링크
- 이메일:
- 상담 환영
공지사항
- (8/24) 공지사항은 LMS를 참고하세요.
- (8/24) 중간고사 및 기말고사 날짜를 꼭 기억하세요.
- (8/24) 오토마타와계산이론(DD851)과 계산이론(DD771)은 완전히 같은 내용을 다룹니다.
- (8/24) 오토마타와계산이론(DD851) 및 계산이론(DD771) 홈페이지가 개설되었습니다.
공지사항은 수시로 확인해주세요.
과제물
제출시 주의사항
- 표지 없어도 됩니다. 첫 장에 분반(월, 화, 수, 목), 학번, 이름 명시
- 손으로 쓰거나 워드프로세스하거나 알아볼 수 있게
- PDF파일 하나로 작성, 편집 후 LMS에 제출
- 표절 절대 금지
강의자료
- 주교재: [MS] Introduction to Theory of Computation, Anil Maheshwari and Michiel Smid, Carleton University, 2024
그 밖에 도움이 될 만한 자료
일정
| |
강의 |
관련자료 |
과제 |
| 1주 (9/1-9/5) |
과목소개 |
--- |
--- |
| 2주 (9/8-9/12) |
기본 수학 지식 |
[MS] Chap. 1, [Sip] Chap. 0 |
HW#1 게시 |
| 3주 (9/15-9/19) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#1 제출 |
| 4주 (9/22-9/26) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#2 게시 |
| 5주 (9/23-10/3) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#2 제출
HW#3 게시 |
| 6주 (10/6-10/10) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
|
| 7주 (10/13-10/17) |
Context-Free Languages |
[MS] Chap. 3, [Sip] Chap. 2 |
HW#3 제출 |
| 8주 (10/20-10/24) |
중간고사(10/17(금) 17시) 및 중간고사 리뷰 |
|
|
| 9주 (10/27-10/31) |
Context-Free Languages |
[MS] Chap. 3, [Sip] Chap. 2 |
HW#4 게시 |
| 10주 (11/3-11/7) |
Context-Free Languages
Formal Grammars and Chomsky Hierarchy |
[MS] Chap. 3, [Sip] Chap. 2 |
|
| 11주 (11/10-11/14) |
Turing Machines |
[MS] Chap. 4, [Sip] Chap. 3 |
HW#4 제출
HW#5 게시 |
| 12주 (11/17-11/21) |
Turing Machines |
[MS] Chap. 4, [Sip] Chap. 3 |
HW#5 제출 |
| 13주 (11/24-11/28) |
Decidability and Enumerability |
[MS] Chap. 5, [Sip] Chap. 4 |
|
| 14주 (12/1-12/5) |
Decidability and Enumerability |
[MS] Chap. 5, [Sip] Chap. 4 |
|
| 15주 (12/9-12/13) |
기말고사(12/5(금) 17시) 및 기말고사 리뷰 |
|
|
일정은 변동될 수 있으며 변동될 경우 사전에 공지합니다.
|