박성우 2021 "CSE-433 Logic in Computer Science"
(박성우 2021) (박성우 n.d.)
정주희 강의 연결 자료 문서 참고
CSE-433 Logic in Computer Science - Schedule
[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park
• The schedule is subject to change throughout the semester. • CS = Course Notes. (The up-to-date version including all chapters [PDF])
9월 3일 Introduction [PPT] 9월 5일 Inductive definition CS Chapter 1 (Section 1.1, 1.2, 1.3) Lecture 1 [Youtube] Lecture 2 [Youtube]
9월 10일 Inductive proofs (I) CS Chapter 1 (Section 1.4) Lecture 1 [Youtube] Lecture 2 [Youtube] Lecture 3 [Youtube] 9월 12일 Inductive proofs (II) CS Chapter 2 (Section 1.5) Lecture 1 [Youtube] Lecture 2 [Youtube] Lecture 3 [Youtube] 9월 19일 Propositional logic (I) Video [Youtube] CS Chapter 2
9월 24일 Propositional logic (II) Coq programming Video [Youtube] 9월 26일 Hypothetical judgments Video [Youtube] 10월 1일 Local soundness and completeness Video [Youtube]
10월 8일 Proof terms (I) CS Chapter 3 Video [Youtube] 10월 10일 Proof terms (II) Video [Youtube]
10월 15일 First-order logic (I) CS Chapter 5 Video [Youtube] 10월 17일 First-order logic Video [Youtube] (II)
Midterm
10월 29일 First-order logic Video [Youtube] (III) 10월 31일 Inductive datatypes CS Chapter 6 Video [Youtube]
11월 5일 First-order logic Video [Youtube] with datatypes 11월 7일 Induction on terms Video [Youtube] and predicates
11월 12일 Definitional equality Video [Youtube] 11월 14일 Normal proofs CS Chapter 2 Video [Youtube]
11월 19일 Normalization (To be Video [Youtube] rescheduled) 11월 21일 Sequent calculus CS Chapter 4 Video [Youtube]
11월 26일 Cut elimination Video [Youtube] 11월 28일 Application of cut Video [Youtube] elimination
12월 3일 Classical logic CS Chapter 7 Video [Youtube] 12월 5일 Proof terms for Video [Youtube] classical logic
12월 10일 Sequent calculus for Video [Youtube] classical logic 12월 12일 Review
Related-Notes
References
박성우. 2021. “CSE-433 Logic in Computer Science.” 2021. http://pl.postech.ac.kr/~gla/cs433/schedule.html.
———. n.d. “Sungwoo Park.” Accessed November 5, 2024. http://pl.postech.ac.kr/~gla/.