CS-524-1: Theory Of Computing - Spring 2026