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, ...

Boole become a renowned mathematician, logician and philosopher (despite no formal schooling) and his work served as the basis for modern computer science. His lasting theory, Boolean logic, is a ...