Explorer
Découvrir
Groupes
Classement
Carte
Accueil
Explorer
Culture
Sciences
Informatique théorique
💻
Informatique théorique
Explore tous les things de Informatique théorique sur Thingsto.
⭐
Things populaires
8
Informatique théorique
Quand Alice et Bob doivent se parler au minimum
+20
👥 0
Valider
Informatique théorique
La revue qui décortique le code
+20
👥 0
Valider
Informatique théorique
Les maths cachées derrière chaque ligne de code
+20
👥 0
Valider
Informatique théorique
Imre Simon et son ordre invisible sur les mots
+20
👥 0
Valider
Informatique théorique
Trouver le point commun entre deux idées différentes
+20
👥 0
Valider
Informatique théorique
Diophantien : quand les équations deviennent insolubles
+20
👥 0
Valider
Informatique théorique
La coinduction : penser à l'infini sans jamais finir
+20
👥 0
Valider
Informatique théorique
L'EATCS : 50 ans de rébellion théorique contre le pragmatisme
+20
👥 0
Valider
Things à faire
27
Informatique théorique
Les superhéros du calcul : les algorithmes quantiques
+20
👥 0
Valider
Informatique théorique
Quand des règles simples créent de l'intelligence
+20
👥 0
Valider
Informatique théorique
Le langage secret des systèmes qui se parlent
+20
👥 0
Valider
Informatique théorique
Pourquoi certains algorithmes sont plus rapides que d'autres
+20
👥 0
Valider
Informatique théorique
L'arité, ou pourquoi une addition n'a jamais besoin de trois nombres
+20
👥 0
Valider
Informatique théorique
Quand deux systèmes informatiques deviennent indiscernables
+20
👥 0
Valider
Informatique théorique
L'art de cartographier les structures invisibles
+20
👥 0
Valider
Informatique théorique
Le code, traducteur universel entre symboles et sens
+20
👥 0
Valider
Informatique théorique
Complexité : quand le chaos émerge sans maître
+20
👥 0
Valider
Informatique théorique
La règle secrète qui mesure la simplicité d'une idée
+20
👥 0
Valider
Informatique théorique
Comment la copie récursive révolutionne la compression
+20
👥 0
Valider
Informatique théorique
Le prix caché de la vérité mathématique
+20
👥 0
Valider
Informatique théorique
Oublier les cas pathologiques pour voir la vérité
+20
👥 0
Valider
Informatique théorique
La confluence : quand plusieurs chemins mènent au même résultat
+20
👥 0
Valider
Informatique théorique
Les algorithmes qui jouent sur la taille des nombres
+20
👥 0
Valider
Informatique théorique
La conjecture qui est devenue théorème : quand Ehrenfeucht avait raison
+20
👥 0
Valider
Informatique théorique
L'algorithme qui dompte le chaos des automates
+20
👥 0
Valider
Informatique théorique
La continuation : le futur caché de votre code
+20
👥 0
Valider
Informatique théorique
Corriger un algorithme : preuve qu'il fait ce qu'il promet
+20
👥 0
Valider
Informatique théorique
DEVS : le modélisateur qui parle tous les langages des systèmes
+20
👥 0
Valider
Informatique théorique
Le dixième problème de Hilbert : existe-t-il une formule pour tout ?
+20
👥 0
Valider
Informatique théorique
Le déployeur universel : la machine qui simule TOUTES les autres
+20
👥 0
Valider
Informatique théorique
Encodage one-hot : le secret pour apprendre aux machines à catégoriser
+20
👥 0
Valider
Informatique théorique
Feature Model : le plan secret pour fabriquer mille logiciels à partir d'un
+20
👥 0
Valider
Informatique théorique
La fonction qui ne ment jamais
+20
👥 0
Valider
Informatique théorique
L'imposteur aléatoire
+20
👥 0
Valider
Informatique théorique
Le cœur mathématique de Paris
+20
👥 0
Valider