Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

This course is compulsory on the BSc in Data Science. This course is available on the BSc in Actuarial Science, BSc in Actuarial Science (with a Placement Year), BSc in Mathematics, Statistics and ...

Last June 23 marked the 25th anniversary of the electrifying announcement by Andrew Wiles that he had proved Fermat’s Last Theorem, solving a 350-year-old problem, the most famous in mathematics. The ...

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...