This is a introduction lecture to mathematical models related to reliability of IT systems. The idea behind this talk is to promote the use of formal models for reliability and to teach about common (mis)conceptions around reliability.
This repository contains both the lecture slides (index.html - using reveal.js. click here to view) and a companion Jupyter notebook.
If you want to learn more about usefull mathematics for software engineering, checkout Heinrich Hartmann's excellent Statistics for Engineers workshop. Heinrich Hartamann's repo also contains a list of books you may want to follow up on.