Toot

Written by Olivier Bournez on 2024-07-15 at 21:44

Version 2024 du polycopié du cours 'Fondement de l’informatique' de l’Ecole @Polytechnique

en ligne:

Au menu: logique (propositionnel, 1ier ordre, Théorèmes de Gödel, etc...), calculabilité (machines de Turing, etc...), complexité (NP, réductions, autres classes de complexité)

En dehors du renommage (INF412 en CSC_41012_EP, super lisible, merci

@IP_Paris_

), des corrections vs 2024

Tous retours bienvenus !

https://tinyurl.com/3b8v3pty

=> More informations about this toot | View the thread | More toots from bournez@lipn.info

Mentions

Tags