--- title: "@박성우 #콕 #논리학" url: "https://notes.junghanacs.com/bib/20241111T145007" author: "Junghan Kim" date: "2024-11-11T14:50:00+09:00" lastmod: "2024-12-01T06:33:00+09:00" tags: ["bib","coq","logic"] description: "박성우는 콕과 논리학 교육을 통해 증명, 형식화, 계산가능성의 기초를 차분히 다루는 연구자다." --- > [!abstract] 이 노트에 대하여 > > 박성우는 콕과 논리학 교육을 통해 증명, 형식화, 계산가능성의 기초를 차분히 다루는 연구자다. 컴퓨터과학에서 논리가 어떻게 작동하는지 배우기에 좋다. ## 박성우 2021 "CSE-433 Logic in Computer Science" ([박성우 2021](https://notes.junghanacs.com/bib/20241111T145007#citeproc_bib_item_1)) ([박성우 n.d.](https://notes.junghanacs.com/bib/20241111T145007#citeproc_bib_item_2)) 정주희 강의 연결 자료 문서 참고 ### CSE-433 Logic in Computer Science - Schedule [ [Home](http://pl.postech.ac.kr/~gla/cs433/index.html) | Schedule | [Assignments](http://pl.postech.ac.kr/~gla/cs433/assignments.html) | [Software](http://pl.postech.ac.kr/~gla/cs433/software.html) | [Resources](http://pl.postech.ac.kr/~gla/cs433/resources.html) | [Students](http://pl.postech.ac.kr/~gla/cs433/students.html) ] gla@postech [Sungwoo Park](http://www.postech.ac.kr/~gla) --- • The schedule is subject to change throughout the semester. • CS = Course Notes. (The up-to-date version including all chapters [[PDF](http://pl.postech.ac.kr/~gla/cs433/notes/all.pdf)]) --- 9월 3일 Introduction [[PPT](http://pl.postech.ac.kr/~gla/cs433/433.intro.2024.ppt)] 9월 5일 Inductive definition CS Chapter 1 (Section 1.1, 1.2, 1.3) Lecture 1 [[Youtube](https://www.youtube.com/watch?v=svqH0y8W5lA)] Lecture 2 [[Youtube](https://youtu.be/W2l-52vi1xk)] --- 9월 10일 Inductive proofs (I) CS Chapter 1 (Section 1.4) Lecture 1 [[Youtube](https://youtu.be/IStOUKvkJLU)] Lecture 2 [[Youtube](https://youtu.be/JkNyOwppfz4)] Lecture 3 [[Youtube](https://youtu.be/HZqJRa6RxpU)] 9월 12일 Inductive proofs (II) CS Chapter 2 (Section 1.5) Lecture 1 [[Youtube](https://youtu.be/wLRukM0L83I)] Lecture 2 [[Youtube](https://youtu.be/DgLIZZ3RA40)] Lecture 3 [[Youtube](https://youtu.be/iU5ag1Sqvfk)] 9월 19일 Propositional logic (I) Video [[Youtube](https://youtu.be/DNjxJ0M3MPs)] CS Chapter 2 --- 9월 24일 Propositional logic (II) Coq programming Video [[Youtube](https://youtu.be/3DuIOOKRAbY)] 9월 26일 Hypothetical judgments Video [[Youtube](https://youtu.be/Krj7s9IMIvs)] 10월 1일 Local soundness and completeness Video [[Youtube](https://youtu.be/4N15G8O--L0)] --- --- 10월 8일 Proof terms (I) CS Chapter 3 Video [[Youtube](https://youtu.be/14UUdR8_hqU)] 10월 10일 Proof terms (II) Video [[Youtube](https://youtu.be/QEj0TolGsJw)] --- 10월 15일 First-order logic (I) CS Chapter 5 Video [[Youtube](https://youtu.be/uYLfgVCT-1U)] 10월 17일 First-order logic Video [[Youtube](https://youtu.be/3jnCipdq6jo)] (II) --- Midterm --- 10월 29일 First-order logic Video [[Youtube](https://youtu.be/KISXa7TIiEc)] (III) 10월 31일 Inductive datatypes CS Chapter 6 Video [[Youtube](https://youtu.be/Xr9flj8GHoI)] --- 11월 5일 First-order logic Video [[Youtube](https://youtu.be/PXwDhUZNdTc)] with datatypes 11월 7일 Induction on terms Video [[Youtube](https://youtu.be/tDd-93utZ6k)] and predicates --- 11월 12일 Definitional equality Video [[Youtube](https://youtu.be/7wxkIHOmfeA)] 11월 14일 Normal proofs CS Chapter 2 Video [[Youtube](https://youtu.be/KoexkFiTFPM)] --- 11월 19일 Normalization (To be Video [[Youtube](https://youtu.be/rVwoo5QkuyQ)] rescheduled) 11월 21일 Sequent calculus CS Chapter 4 Video [[Youtube](https://youtu.be/nRNsp-Jcl8k)] --- 11월 26일 Cut elimination Video [[Youtube](https://youtu.be/ISgjDbdJg1A)] 11월 28일 Application of cut Video [[Youtube](https://youtu.be/7Jtz-ZuZVhg)] elimination --- 12월 3일 Classical logic CS Chapter 7 Video [[Youtube](https://youtu.be/BBxySDCknCc)] 12월 5일 Proof terms for Video [[Youtube](https://youtu.be/L6tx-DOLheg)] classical logic --- 12월 10일 Sequent calculus for Video [[Youtube](https://youtu.be/dgXClaLRfks)] classical logic 12월 12일 Review ## 관련노트 - [#정주희: #수리논리 #집합론 #머신러닝 #수학](https://notes.junghanacs.com/bib/20240908T145849) ## BIBLIOGRAPHY - 박성우. 2021. “Cse-433 Logic in Computer Science.” 2021. . - ———. n.d. “Sungwoo Park.” Accessed November 5, 2024. .