Projet:Informatique théorique
Présentation
Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.
Articles récents
- Plongement de graphe (27 août 2024)
- Prédicat T et fonction U de Kleene (13 août 2024)
- Graphe des plus proches voisins (11 août 2024)
- Algorithme en place (25 juillet 2024)
- Eugene Lawler (21 juillet 2024)
- Distance algorithmique (20 juin 2024)
- Lambda-calcul simplement typé (18 juin 2024)
- Bubacarr Bah (21 mai 2024)
- Modèle de calcul (27 avril 2024)
- Évaluation partielle (25 avril 2024)
- Mamba (apprentissage profond) (8 avril 2024)
- Algorithme reverse-delete (5 avril 2024)
- Congruence de Simon (30 mars 2024)
- AlexNet (12 mars 2024)
- Neil Calkin (15 février 2024)
Modèles
- {{Portail|informatique théorique}}
- paramètre d'ébauche : informatique théorique
- Catégorie:Modèle de source pour l'informatique
- Catégorie:Modèle de source pour les mathématiques
- Modèle:Complexity Zoo
Liens utiles
Évaluation
Voir aussi
Articles chauds
3 actions | Fonction itérée (+575) |
3 actions | Problème du sac à dos (+216) |
2 actions | Claude Shannon (+204) |
2 actions | Google Gemini (+551) |
2 actions | Élimination de Gauss-Jordan (+934) |
2 actions | Algorithme (+38) |
2 actions | Ontologie (informatique) (0) |
2 actions | Système binaire (+59) |
2 actions | Arbre B (+69) |
2 actions | Induction structurelle (+22) |
À faire
Articles à écrire :
- Algorithme d'Atlantic City.
- Sparse-Coding.
- Réseau de neurones résiduel (ResNet).
- Réseau de neurones LSTM.
Articles à développer :
- Vérification formelle (1000 octets actuellement) ;
- Machine de Boltzmann (à compléter)
Annonces
- Avril 2024 : le 2100e article est Mamba (apprentissage profond)
- Mai 2020 : le 1800e article est Ellen Spertus.
- Juillet 2019 : 1750 articles.
- Décembre 2018 : 1700 articles.
- été 2018 : 1650 articles.
- 10 mars 2018 : Valérie Berthé est le 1600e articles.
- début janvier 2018 : 1550 articles, 1000 de plus qu'à la création du projet il y a six ans.
- mi-octobre 2017 : 1500 articles !
- fin juin 2017 : 1450 articles.
- fin février 2017 : 1400 articles.
- 29 novembre 2016 : Problème de la plus longue chaîne devient le 1350e article du portail, et chacun des 21 problèmes NP-complets de Karp a une page.
- fin août 2016 : 1300 articles.
- avril 2016 : fusion du portail algorithmique dans ce portail. Environ 200 articles rapatriés.
- février 2016 : tous les lauréats des prix EATCS et prix Gödel ont leur page.
- Le 21 février 2016 : 1050 articles.
- 18 novembre 2015 : le 1000e article est Machine de Krivine !
- 29 juin 2015 : 950 articles.
- Début 2015, 900 articles.
- Le 2 novembre 2014, 850 articles.
- Le 12 juin 2014, 800 articles.
- Le 27 janvier 2014, il y a 750 articles liés au portail soit 200 de plus qu'il y a un an.
- Le 7 octobre 2013, Coupe (théorie des graphes), devient le 700e article du portail.
- Le 12 juin 2013, Circuit booléen devient le 650e article du portail.
- Le 1 mars 2013, 600 articles sont liés au portail (Dont beaucoup passés de "informatique" à "informatique théorique")
- Le 30 janvier 2013, 550 articles sont liés au portail (Soit 20 fois moins que pour le portail:Hockey sur glace)
- Le 22 décembre 2012, création du projet.