Projet:Informatique théorique

[modifier] 

Informatique théorique

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

[modifier] 

Articles récents

1. Modèle de calcul (27 avril 2024)
2. Mamba (apprentissage profond) (8 avril 2024)
3. Algorithme reverse-delete (5 avril 2024)
4. Congruence de Simon (30 mars 2024)
5. AlexNet (12 mars 2024)
6. Neil Calkin (15 février 2024)
7. Suite de Piatetski-Shapiro (12 février 2024)
8. Hartley (unité) (6 février 2024)
9. Pasqal (18 janvier 2024)
10. Alice & Bob (17 janvier 2024)
11. Melvin Fitting (17 janvier 2024)
12. Larry Wos (14 janvier 2024)
13. IA neuro-symbolique (13 janvier 2024)
14. Code de Steane (9 janvier 2024)
15. Code CSS (8 janvier 2024)

[modifier] 

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

[modifier] 

Liens utiles

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

[modifier] 

Évaluation

Informatique théorique

	Importance
Avancement	Maximum	Élevée	Moyenne	Faible	À évaluer	Total
AdQ			1		1	2
BA						0
A						0
B	2	3	2		6	13
Bon début		5	1	4	114	124
Ébauche			1	6	86	93
À évaluer						0
Total	2	8	5	10	207	25(?)
Dernière mise à jour : 26 avril 2024.

[modifier] 

Voir aussi

Logique

Cryptologie

Informatique

Mathématiques

[modifier] 

Articles chauds

21 actions	Téléportation quantique (−6)
7 actions	Falcon 180B (−247)
5 actions	Réseau de neurones artificiels (+2 425)
5 actions	Jeu de la vie (+17)
5 actions	Résolution de labyrinthe (0)
4 actions	Modèle de calcul (+1 298)
4 actions	Théorie de la calculabilité (+903)
4 actions	Google Gemini (+21)
4 actions	Exponentiation rapide (0)
4 actions	Algorithme de Dijkstra (0)

[modifier] 

À 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)

[modifier] 

Annonces

• 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