Laboratoire d'Informatique de l'X (LIX) (@lix_lab) 's Twitter Profile
Laboratoire d'Informatique de l'X (LIX)

@lix_lab

Laboratoire d'Informatique de l'Ecole Polytechnique (LIX). Unité Mixte de Recherche X-CNRS 7161. lix.polytechnique.fr

ID: 1367852792526893064

linkhttps://www.lix.polytechnique.fr/ calendar_today05-03-2021 15:01:42

747 Tweet

521 Followers

114 Following

Centre Inria de Saclay (@inria_saclay) 's Twitter Profile Photo

Replay 🌞 | Sites internet 🔞: comment assurer un contrôle de l’âge tout en respectant la confidentialité des utilisateurs ? Explications avec Martin Bieri CNIL (@LINC) et Olivier Blazy @polytechnique Inria Laboratoire d'Informatique de l'X (LIX). 📰 inria.fr/fr/sites-adult…

Replay 🌞 | Sites internet 🔞: comment assurer un contrôle de l’âge tout en respectant la confidentialité des utilisateurs ? Explications avec Martin Bieri <a href="/CNIL/">CNIL</a> (@LINC) et Olivier Blazy @polytechnique <a href="/Inria/">Inria</a> <a href="/LIX_lab/">Laboratoire d'Informatique de l'X (LIX)</a>.

📰 inria.fr/fr/sites-adult…
Olivier Bournez (or @ bournez @ lipn.info \spaces) (@bournez) 's Twitter Profile Photo

Victor Hugo aurait déclaré: «Si seulement j’étais né 191 ans plus tard.J’aurais partagé la même maternité que l’auteur de ce cours et j’aurais pu suivre INF412. Mon avenir aurait été changé. J’aurais enfin su ce qu’est une machine de Turing et pourquoi la logique est incomplète »

Olivier Bournez (or @ bournez @ lipn.info \spaces) (@bournez) 's Twitter Profile Photo

Le niveau de la rentrée littéraire 2024 s’avère hyper élevé, avec la sortie de ce livre dans moins de deux semaines ! Et avec Professeur Karré et Mathieu Liedloff, rien que ça !! dunod.com/prepas-concour…

François CROSNIER (@fcrosnier2) 's Twitter Profile Photo

Olivier Bournez (or @ bournez @ lipn.info \spaces) Professeur Karré Mathieu Liedloff Récit bien structuré, objectif, intérêt soutenu, pas de nombrilisme, guère plus de barrières à l’entrée que pour un roman expérimental états-unien… un candidat sérieux pour les prix littéraires !

Olivier Bournez (or @ bournez @ lipn.info \spaces) (@bournez) 's Twitter Profile Photo

Pourquoi ces deux semaines entre les Jo et Jo paralympiques? La réponse vient d’être dévoilée: pour que la sortie de cet ouvrage avec Olivier Bournez (or @ bournez @ lipn.info \spaces), Professeur Karré et Mathieu Liedloff prévue le 21 août ne fasse pas de l’ombre à ces événements. dunod.com/prepas-concour…

Olivier🐿️ (@gloupin) 's Twitter Profile Photo

On va brasser des cables éthernet Déployer un web-crawler Et bon, il faut savoir travailler sous... DOS (il y a bien le BBN butterfly, mais j'avoue que je sèche pour la 4e nage)

Daniel Augot (@danielaugot) 's Twitter Profile Photo

C'est à celui qui affirme une existence d'en donner la preuve. Sinon, aucune raison de le croire, et aucune raison de se décarcasser à prouver l'inexistence. Il n'y a pas symétrie. Voir là théière du logicien Bertrand Russel fr.wikipedia.org/wiki/Th%C3%A9i…

Olivier Bournez (or @ bournez @ lipn.info \spaces) (@bournez) 's Twitter Profile Photo

J'ai le grand plaisir de vous annoncer la sortie de l'ouvrage "Informatique tout-en-un MP2I-MPI" 📖@Dunod, co-écrit avec Florent Becker, Jean-Loup Carré Professeur Karré , Mathieu Liedloff Mathieu Liedloff , Julien Reichert et Gérard Rozsavolgyi 😀. dunod.com/prepas-concour…

Centre Inria de Saclay (@inria_saclay) 's Twitter Profile Photo

I ❤️#math | La 38e finale internationale du championnat des jeux #mathématiques et logiques est accueillie par notre partenaire @polytechnique. Entre deux épreuves, ces passionnés venus de 15 pays différents viennent jouer, rire et apprendre sur le stand Inria 😉 #FFJM24

I ❤️#math | La 38e finale internationale du championnat des jeux #mathématiques et logiques est accueillie par notre partenaire @polytechnique. Entre deux épreuves, ces passionnés venus de 15 pays différents viennent jouer, rire et apprendre sur le stand <a href="/Inria/">Inria</a> 😉 #FFJM24
Olivier Bournez (or @ bournez @ lipn.info \spaces) (@bournez) 's Twitter Profile Photo

RePopulus🇬🇷 Oui, le livre contient plusieurs originalités. En particulier, effectivement, une preuve du théorème de Cook, différente de celle partout. Je la trouve perso très élégante. Surtout, dans l’esprit du programme, où les machines de Turing sont sensées être hors programme.