Fondements de l'informatique Logique, modèles, et calculs

Ce cours est un cours sur les fondements de l'informatique : il se focalise sur trois domaines centraux en informatique : la logique, les modèles de calculs ...