2026년도 2학기 특강: 연속계산의 기초 (CSED490V-01) 강의계획서

1. 수업정보

학수번호 CSED490V 분반 01 학점 3.00
이수구분 전공선택 강좌유형 강의실 강좌 선수과목
포스테키안 핵심역량
강의시간 화, 목 / 09:30 ~ 10:45 / 제2공학관 강의실 [109호] 성적취득 구분 G

2. 강의교수 정보

이원열 이름 이원열 학과(전공) 컴퓨터공학과
이메일 주소 leewy@postech.ac.kr Homepage https://www.pl-lab.org
연구실 프로그래밍언어 연구실 전화 054-279-2255
Office Hours By appointment via email

3. 강의목표

**Continuous computation**, which involves continuous data and operations, is fundamental to many areas of computer science such as machine learning and scientific computing. Common examples include evaluating mathematical functions (e.g., numpy.exp(x)) and computing derivatives of programs (e.g., jax.grad(f)).

This course introduces the **foundations** of continuous computation. It covers a broad range of topics, from basic computations (e.g., evaluating math functions) to advanced ones (e.g., computing derivatives). Students will learn how to perform these computations *correctly and efficiently on actual computers*.

In essence, this course serves as a **continuous** counterpart to an Algorithms course, a **computational** counterpart to a Calculus/Probability course, and a **foundational** counterpart to a Numerical Analysis course. Lectures will start from first principles and emphasize both *mathematical theory and computational methods*.

4. 강의선수/수강필수사항

Students should have a basic knowledge of Algorithms (CSED331), Calculus (MATH101), and Probability (MATH230). This course is **highly math-intensive**, so students should be comfortable with understanding and doing rigorous mathematical proofs.

The following courses are relevant but not required: Automata & Formal Languages (CSED341), Programming Languages (CSED321), Introduction to Numerical Analysis (MATH351), and Analysis I (MATH311). Students are welcome to audit this course.

5. 성적평가

중간고사 기말고사 출석 과제 프로젝트 발표/토론 실험/실습 퀴즈 기타
50 50 100
비고
- Attendance (0%): You may earn extra credit if you attend all classes.
- Homework (0%): You will have 4~5 homework assignments.
- Exam (100%): You will have a midterm (50%) and a final (50%).
- Note: The weights of the above items are subject to change.

6. 강의교재

도서명 저자명 출판사 출판년도 ISBN

7. 참고문헌 및 자료

- https://github.com/postech-pl/class-cc-26f
===================================
- Hand-written lecture notes will be provided.

8. 강의진도계획

- https://github.com/postech-pl/class-cc-26f
===================================
- Numbers (Reals) --- computable reals, computable functions
- Numbers (Floats) --- floating-point arithmetic, floating-point errors, error control
- Functions --- polynomial approximation, minmax polynomials, range reduction
- Derivatives --- classical differentiation, automatic differentiation
- Integrals & Distributions --- random numbers, sampling, integration

9. 수업운영

- Theoretical + whiteboard lectures (이론 + 칠판 강의)
- Theoretical + programming homework (이론 + 프로그래밍 숙제)
===================================
- All digital devices (laptops, tablets, smartphones, etc.) must not be visible on desks during class.
- Exceptions: tablets with styluses (only for note-taking); devices for emergencies or accessibility.

10. 학습법 소개 및 기타사항

11. 장애학생에 대한 학습지원 사항

- 수강 관련: 문자 통역(청각), 교과목 보조(발달), 노트필기(전 유형) 등

- 시험 관련: 시험시간 연장(필요시 전 유형), 시험지 확대 복사(시각) 등

- 기타 추가 요청사항 발생 시 장애학생지원센터(279-2434)로 요청