AAA528-26S - SAL@KU

Computational Logic, 2026 Spring

Course Information

Instructor: Hakjoo Oh
Lecture: 15:00-17:45 on Tuesdays and Thursdays (8 weeks)

Slides

Course Overview: lec0.pdf
Propositional Logic: lec1.pdf, lec2.pdf
SAT Applications: lec3.pdf
First-Order Logic: lec4.pdf
First-Order Theories: lec5.pdf
Program Verification: lec6.pdf lec7.pdf lec8.pdf lec9.pdf
Invariant Generation: lec10.pdf lec11.pdf

Programming Assignments

Exercise (1): sat-app1.pdf
Exercise (2): sat-app2.pdf
Program verifier: repo

Software Analysis Lab. @ Korea University