Projet:Informatique théorique

Portail

Projet

Discussions

Suivi

Présentation

modifier

Bienvenue sur le projet de l'informatique théorique. Ce projet gère le portail:informatique théorique.

Articles récents

modifier

1. Programming Computable Functions (17 novembre 2024)
2. Ruptures tête/queue (16 novembre 2024)
3. Tri par file de priorité (16 octobre 2024)
4. Méthodes à noyaux (15 octobre 2024)
5. Calculs en nombres réels (21 septembre 2024)
6. Preuve d'espace (9 septembre 2024)
7. Plongement de graphe (27 août 2024)
8. Prédicat T et fonction U de Kleene (13 août 2024)
9. Graphe des plus proches voisins (11 août 2024)
10. Algorithme en place (25 juillet 2024)
11. Eugene Lawler (21 juillet 2024)
12. Distance algorithmique (20 juin 2024)
13. Lambda-calcul simplement typé (18 juin 2024)
14. Bubacarr Bah (21 mai 2024)
15. Modèle de calcul (27 avril 2024)

Modèles

modifier

• {{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

modifier

• Pages populaires du projet informatique théorique (pour le mois écoulé)
• Les cent pages les plus lues, classées par thèmes
• Liste de suivi des articles liés au portail
• L'arbre des catégories du portail
• Wikiproject Computer Science (équivalent sur WP:en) (en particulier les Popular pages)

Évaluation

modifier

Informatique théorique

	Importance
Avancement	Maximum	Élevée	Moyenne	Faible	À évaluer	Total
AdQ			1		1	2
BA						0
A		1				1
B	2	4	5	1	8	20
Bon début		7	3	9	203	222
Ébauche	1	2	2	8	111	124
À évaluer						0
Total	3	14	11	18	323	46(?)
Dernière mise à jour : 29 novembre 2024.

Voir aussi

modifier

Logique

Cryptologie

Informatique

Mathématiques

Articles chauds

modifier

4 actions	Évaluation partielle (+869)
4 actions	Informatique quantique (0)
3 actions	Système T (+3 780)
3 actions	Fonction de hachage (+25)
2 actions	Algorithme de recherche de sous-chaîne (−2)
2 actions	John von Neumann (+190)
2 actions	Ruptures tête/queue (+170)
2 actions	Correspondance de Curry-Howard (0)

À faire

modifier

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

modifier

• Avril 2024 : le 2100^e article est Mamba (apprentissage profond)
• Mai 2020 : le 1800^e 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 1600^e 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 1350^e 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 1000^e 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 700^e article du portail.
• Le 12 juin 2013, Circuit booléen devient le 650^e 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.

Autres portails thématiques

Autres projets thématiques