We will try to have the lecture notes available on-line before the lecture so you can bring them to the lecture to do notes and (in case of errors) corrections. However, we are in the process of changing the course to extend the contents based on the Erlang programming language, so it might not happen that you get them ready to read before the lecture. For impatient students, you could check last year's web page (do not read the contents related to the programming language JR).
All the Erlang's material for the lectures is here