Teaching
Spring 2010
CS400/CS500: Logic in computer science
Tell me and I forget. Show me and I remember. Involve me and I understand. (Chinese proverb.)