Luận lý Hoare

Logique de Hoare - formalisme logique permettant de raisonner sur la correction des programmes informatiques.. L'article "Luận lý Hoare" sur Wikipédia en vietnamien a 17.2 points pour la qualité (au 1 août 2024). L'article contient 1 références et 14 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Luận lý Hoare", son contenu a été rédigé par 9 utilisateurs enregistrés de Wikipédia en vietnamien et édité par 358 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 5 fois dans Wikipédia en vietnamien et cité 246 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (vietnamien): n° 10919 en mars 2019
• Mondial: n° 12455 en février 2003

Le classement de popularité le plus élevé depuis 2008:

• Local (vietnamien): n° 17938 en juin 2008
• Mondial: n° 166952 en juillet 2015

Il existe 15 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Hoare logic		37.705
2	allemand (de) Hoare-Kalkül		34.9948
3	coréen (ko) 호어 논리		25.3565
4	chinois (zh) 霍尔逻辑		24.3216
5	ukrainien (uk) Логіка Гоара		22.6963
6	japonais (ja) ホーア論理		20.8089
7	portugais (pt) Lógica de Hoare		20.0307
8	français (fr) Logique de Hoare		19.256
9	russe (ru) Логика Хоара		18.501
10	vietnamien (vi) Luận lý Hoare		17.16

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Luận lý Hoare" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Hoare logic		749 773
2	allemand (de) Hoare-Kalkül		168 753
3	russe (ru) Логика Хоара		68 371
4	français (fr) Logique de Hoare		63 825
5	japonais (ja) ホーア論理		52 902
6	chinois (zh) 霍尔逻辑		39 539
7	espagnol (es) Lógica de Hoare		29 502
8	polonais (pl) Logika Hoare’a		22 976
9	italien (it) Logica di Hoare		22 668
10	portugais (pt) Lógica de Hoare		11 574

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Luận lý Hoare" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Hoare logic		2 874
2	allemand (de) Hoare-Kalkül		395
3	japonais (ja) ホーア論理		246
4	russe (ru) Логика Хоара		188
5	chinois (zh) 霍尔逻辑		131
6	français (fr) Logique de Hoare		122
7	espagnol (es) Lógica de Hoare		70
8	italien (it) Logica di Hoare		61
9	portugais (pt) Lógica de Hoare		32
10	coréen (ko) 호어 논리		25

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Luận lý Hoare" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Hoare logic		94
2	allemand (de) Hoare-Kalkül		60
3	français (fr) Logique de Hoare		42
4	italien (it) Logica di Hoare		28
5	néerlandais (nl) Hoarelogica		25
6	chinois (zh) 霍尔逻辑		18
7	ukrainien (uk) Логіка Гоара		17
8	polonais (pl) Logika Hoare’a		16
9	japonais (ja) ホーア論理		15
10	russe (ru) Логика Хоара		15

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Luận lý Hoare" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	français (fr) Logique de Hoare		2
2	russe (ru) Логика Хоара		1
3	allemand (de) Hoare-Kalkül		0
4	anglais (en) Hoare logic		0
5	espagnol (es) Lógica de Hoare		0
6	italien (it) Logica di Hoare		0
7	japonais (ja) ホーア論理		0
8	coréen (ko) 호어 논리		0
9	néerlandais (nl) Hoarelogica		0
10	polonais (pl) Logika Hoare’a		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Luận lý Hoare" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Hoare logic		75
2	japonais (ja) ホーア論理		20
3	allemand (de) Hoare-Kalkül		19
4	français (fr) Logique de Hoare		19
5	chinois (zh) 霍尔逻辑		19
6	espagnol (es) Lógica de Hoare		18
7	ukrainien (uk) Логіка Гоара		15
8	russe (ru) Логика Хоара		14
9	néerlandais (nl) Hoarelogica		12
10	italien (it) Logica di Hoare		11

Plus...

#	Langue	Valeur
de	allemand Hoare-Kalkül
en	anglais Hoare logic
es	espagnol Lógica de Hoare
fr	français Logique de Hoare
it	italien Logica di Hoare
ja	japonais ホーア論理
ko	coréen 호어 논리
nl	néerlandais Hoarelogica
pl	polonais Logika Hoare’a
pt	portugais Lógica de Hoare
ru	russe Логика Хоара
sk	slovaque Hoareova logika
uk	ukrainien Логіка Гоара
vi	vietnamien Luận lý Hoare
zh	chinois 霍尔逻辑

Meilleur rang

vietnamien: n° 17938 06.2008

Mondial: n° 166952 07.2015

Meilleur rang

vietnamien: n° 10919 03.2019

Mondial: n° 12455 02.2003

Au 6 septembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Linkin Park, Chester Bennington, Rob Bourdon, Emily Armstrong, Cristiano Ronaldo, Ligue des nations de l'UEFA, Beetlejuice, Jessica Pegula, Mike Shinoda, Rebecca Cheptegei.

Sur Wikipédia en vietnamien, les articles les plus populaires ce jour-là étaient: Đài Truyền hình Kỹ thuật số VTC, Thang sức gió Beaufort, Bão Haiyan (2013), VNG, Nguyễn Huy Dũng, Bão, Mắt bão, Hải Nam, Việt Nam, Bão nhiệt đới Linda (1997).

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information