Maths

Block 1.2, 2026

Lecture slides for Maths, a major in Block 1.2 of Immersive Software Engineering at the University of Limerick.

Lectures

Welcome to Maths Why this maths matters, what we'll cover, and how the major works.

What Is a Proof? Propositions, predicates and the first proof method: why forty passing tests are not a proof, and what is.

Week 1 · 3 Nov PDF

Proof Methods The contrapositive, if and only if, proof by cases and proof by contradiction, and how to review a proof: from two directions of an argument to why no float squares to exactly 2.

Week 1 · 4 Nov PDF

Propositional Logic Connectives, truth tables, a cipher with perfect secrecy built from XOR, equivalence and validity, CNF, and SAT.

Week 1 · 6 Nov PDF

Labs

Each lab is a Jupyter notebook, and low-stakes coursework. Download it, open it in Google Colab (File → Upload notebook), Jupyter or VS Code, and submit it on Brightspace by 23:59 on the day of the lab. Model solutions appear beside it the Monday after.

Lab 01 Six claims about integers: break the false ones with a search, prove the true ones.

Week 1 · Tue 3 Nov
due 23:59 IPYNB

Lab 02 Five proofs, each with one flaw: name it, check it against the checklist, then repair it.

Week 1 · Fri 6 Nov
due 23:59 IPYNB

Key dates

Resources

Mathematics for Computer Science Lehman, Leighton & Meyer · Core text (PDF, 2015 revision)

MIT 6.042J on OpenCourseWare The course the text was written for