Some (old) Lecture Slides

New slides are available on Moodle.

CS101 Introduction to Programming - see https://firstyears.cs.may.ie/

CS603 Rigorous Software Process see MSc Lab J drive

CS613 Object-Oriented Programming and C++

Se202 Algorithms and Data Structures

 

Se202 Algorithms and Data Structures

 

SE119 Discrete Structures

 

SE304/CS407 Formal Methods (Z Specification & Program Verification)

 

SE424 Formal Methods (Program Language Semantics)