This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...

The John Simon Guggenheim Memorial Foundation has named Swarat Chaudhuri, a professor of computer science at The University ...