CompSci Lectures