Outils mathématiques pour l'informatique L3

Bonjour,
je suis à la recherche de cours théoriques concernant les outils mathématiques pour l'informatique.
J'aimerais avoir les polys de cours de l'ENS Cachan ou Lyon mais je ne sais pas s'ils sont disponibles.
Je pense que les facs de sciences à Paris doivent avoir des cours de bonnes qualités.

En gros je cherche des fichiers pdf du domaine public.

Les sujets qui m'intéressent sont :
logique : proposition, validité, satisfiabilité ...
des choses sur la construction d'un langage de programmation,
des notions en lien avec les piles, les structures de contrôle, files d'attentes, la structure de la mémoire ...
les systèmes de transition : états, traces, exécutions, étiquetage, propriétés de vivacité, propriétés de sûreté
processus stochastiques : des processus de naissance et de mort, des chaînes de Markov
des choses en modélisation aussi.

Voilà si vous avez des ressources de cours mais aussi d'exos, j'attends vos infos.
Merci.
Le Violoniste.