initial commit of USC algebra and logic seminar slides