Mathematical logic provides a rigorous framework to analyse proofs and extract computational content, while nonexpansive mappings, which are mappings that do not increase distances between points ...

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