AAA528-25S - SAL@KU

Computational Logic, 2025 Spring

Course Information

Instructor: Hakjoo Oh
Lecture: 13:30-15:45 on Wednesdays

Slides

Course Overview: lec0.pdf
Propositional Logic: lec1.pdf, lec2.pdf

Hands-On Sessions

SAT solver sat.pdf (due 3/30)

Software Analysis Lab. @ Korea University