MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...

The intersection of machine learning and mathematical logic — spanning computer science, pure mathematics, and statistics — has catalyzed recent advances in artificial intelligence and deep learning ...

All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in general, research mathematicians don’t need to think about it ...

This course will explore the state of the art in how to implement and prove facts about software. We will focus on small, functional programs and expressing properties of them via an (extremely) ...

The curriculum for the Bachelor of Arts degree in Computer Science is based on current recommendations of the Association for Computing Machinery (ACM) for liberal arts institutions. The program is ...