Théorie des lang, compil, logique formelle

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

en cours "papier" oui, en video non :aie:

Ben t'as qu'à prendre une imprimante, imprimer, puis faire semblant de tourner les pages tout en filmant le cours. Comme ça, tu auras un cours video interactif avec tourné de pages interactif en temps réel. Waaouuuh ! Oh Yeah ! C'est funkie baby !!!

Même Adobe fait pas ça.

Plus sérieusement, les seuls cours video que je connais sont ceux de Springer. Je sais qu'ils en ont même en mathématiques. Tu pourrais toujours aller voir si ils en ont dans la discipline qui t'intéresse. Le plus difficile, dans ce cas, c'est de mettre la main sur un catalogue complet Springer. En demandant à un libraire spécialisé, ou en allant sur leur site internet, tu trouveras peut-être.

Y a-t-il une raison sur le côté vidéo ?

Je sais pas, mais une fois, alors que j'avais beaucoup de réticences, j'ai regardé une vidéo du fameux cours d'algorithmique du MIT, et j'ai trouvé ça super facile à suivre, bien moins fatigant que de se taper de la lecture !

Parce qu'on épargne quelques détails, ça participe, etc.
Après c'est sûr que pour approfondir, le bouquin c'est bien.