Projet:Informatique théorique
De Wikipedia, l'encyclopédie encyclopedia
Présentation
Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.
Davantage d’informations Importance, Avancement ...
Importance | |||||||
---|---|---|---|---|---|---|---|
Avancement | Maximum | Élevée | Moyenne | Faible | À évaluer | Total | |
![]() |
1 | 1 | 2 | ||||
![]() |
0 | ||||||
A | 1 | 1 | |||||
B | 2 | 4 | 5 | 6 | 17 | ||
Bon début | 6 | 2 | 4 | 154 | 166 | ||
Ébauche | 1 | 1 | 6 | 99 | 107 | ||
À évaluer | 0 | ||||||
Total | 2 | 12 | 9 | 10 | 260 | 33(?) | |
Dernière mise à jour : 28 juillet 2024. |
Fermer
Articles récents
- 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)
- Suite de Piatetski-Shapiro (12 février 2024)
- Hartley (unité) (6 février 2024)
- Pasqal (18 janvier 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
18 actions | Lambda-calcul simplement typé (+9 487) |
15 actions | Système T (+3 351) |
5 actions | Algorithme en place (+740) |
4 actions | Eugene Lawler (+180) |
3 actions | Logique floue (+44) |
3 actions | PageRank (−350) |
2 actions | Jean-Yves Girard (0) |
2 actions | Système expert (+49) |
2 actions | Problèmes de passage de rivière (+139) |
2 actions | Fonction d'Ackermann (−254) |
À 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.