NOUS AVONS LU Fondements de l'Informatique : Logique, modèles, calculs Communiqué par Olivier Bournez. Version 2023 du polycopié du cours « Fondement de l'informatique » de l'École Polytechnique (INF412) en ligne. (Index corrigé, quelques corrections) Tous retours bienvenus ! https://www.enseignement.polytechnique.fr/informatique/INF412/i.php?n=Main.Poly ___________________ |