Fondements de l'Informatique: Logique, Modèles, Calculs

Olivier Bournez (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Cours sur les fondements de l'informatique : il se focalise sur trois domaines centraux en informatique : la logique, les modèles de calculs et la complexité. Tous ces domaines sont reliés par la question suivante : quelles sont les capacités et les limites des ordinateurs ?

Domains: Computer Science [cs]; Computational Complexity [cs.CC]

Olivier Bournez. Fondements de l'Informatique: Logique, Modèles, Calculs. Ecole Polytechnique, 2011. ⟨hal-00760775⟩