Ever wondered what kind of mathematics do programmers need? How much do you know about modern-day cryptography? What is a search algorithm on a graph? How is the logic of true/false related to logical circuits? This camp presents topics of discrete mathematics, which is a branch of mathematics that modern computer science is largely built on. Some of the topics covered: Logic: from Knights and Liars to Digital Circuits. Networks and graphs in math and computer science. Cryptography: from ancient ciphers to modern-day encryption. Proofing techniques of discrete mathematics. The topics of this camp lay outside of the school curriculum. We welcome participants who want to broaden their horizons and get exposed to higher-level mathematics.