Ancestors

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 | More toots from bournez@lipn.info

Toot

Written by Olivier Bournez on 2024-08-27 at 16:05

Et c'est reparti ! Le premier cours de CSC_41012_EP, ex INF412 @Polytechnique a eu lieu aujourd'hui cet après-midi.

Ca continue tous les mardi pour les cours, et le mercredi pour les TDs (petites-classes).

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

Descendants