Bonjour,

je cherche des cours vidéos sur:
-la théorie des langages et compilation
-la logique formelle

Connaissez vous des liens pouvant m'intérresser? Merci