The entry requirement to the programmes is normally a good honours degree in mathematics or a mathematically-related discipline or an equivalent overseas qualification in a mathematical subject. As ...

Mathematical Thinking for Coding is a foundational course designed to bridge the gap between mathematical concepts and practical programming skills. This course serves as the essential prerequisite ...

Due to high demand for this course, we operate a staged admissions process with multiple selection deadlines throughout the year, to maintain a fair and transparent approach. Explore our campus, meet ...

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...