Формальные методы

Méthode formelle - Techniques de raisonnement mathématique sur des programmes ou du matériel informatique. L'article "Формальные методы" sur Wikipédia en russe a 14.9 points pour la qualité (au 1 novembre 2023). L'article contient 4 références et 7 sections.

Cet article a la meilleure qualité sur Wikipédia en hongrois. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

Depuis la création de l'article "Формальные методы", son contenu a été rédigé par 11 utilisateurs enregistrés de Wikipédia en russe et édité par 384 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 21 fois dans Wikipédia en russe et cité 2568 fois dans toutes les langues.

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

• Local (russe): n° 27224 en juin 2023
• Mondial: n° 12182 en décembre 2002

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

• Local (russe): n° 155921 en décembre 2014
• Mondial: n° 95257 en septembre 2014

Il existe 24 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 novembre 2023 (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	hongrois (hu) Formális módszerek		42.1769
2	anglais (en) Formal methods		40.6138
3	serbe (sr) Формалне методе		30.5669
4	allemand (de) Formale Methode		25.2367
5	turc (tr) Biçimsel yöntemler		22.9466
6	portugais (pt) Métodos formais		22.1454
7	chinois (zh) 形式化方法		20.9392
8	basque (eu) Metodo formalak		19.2881
9	arabe (ar) طريقة شكلية		19.2138
10	japonais (ja) 形式手法		18.0576

Plus...

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

Les versions linguistiques les plus populaires de l'article "Формальные методы" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal methods		1 203 779
2	français (fr) Méthode formelle (informatique)		217 674
3	japonais (ja) 形式手法		152 931
4	espagnol (es) Método formal		131 040
5	portugais (pt) Métodos formais		91 222
6	chinois (zh) 形式化方法		57 951
7	russe (ru) Формальные методы		54 596
8	allemand (de) Formale Methode		43 004
9	persan (fa) روش‌های صوری		33 122
10	polonais (pl) Metody formalne		29 479

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 "Формальные методы" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal methods		5 230
2	français (fr) Méthode formelle (informatique)		821
3	japonais (ja) 形式手法		295
4	chinois (zh) 形式化方法		264
5	espagnol (es) Método formal		195
6	russe (ru) Формальные методы		194
7	persan (fa) روش‌های صوری		186
8	allemand (de) Formale Methode		165
9	portugais (pt) Métodos formais		93
10	coréen (ko) 정형 기법		69

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 "Формальные методы" 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) Formal methods		120
2	français (fr) Méthode formelle (informatique)		62
3	allemand (de) Formale Methode		28
4	portugais (pt) Métodos formais		22
5	persan (fa) روش‌های صوری		20
6	japonais (ja) 形式手法		15
7	vietnamien (vi) Các phương pháp hình thức		15
8	russe (ru) Формальные методы		11
9	néerlandais (nl) Formele methoden		10
10	ukrainien (uk) Формальні методи		10

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 "Формальные методы" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal methods		2
2	italien (it) Metodi formali		1
3	arabe (ar) طريقة شكلية		0
4	allemand (de) Formale Methode		0
5	espagnol (es) Método formal		0
6	basque (eu) Metodo formalak		0
7	persan (fa) روش‌های صوری		0
8	français (fr) Méthode formelle (informatique)		0
9	hongrois (hu) Formális módszerek		0
10	indonésien (id) Metode formal		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 "Формальные методы" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal methods		577
2	persan (fa) روش‌های صوری		284
3	arabe (ar) طريقة شكلية		273
4	ukrainien (uk) Формальні методи		237
5	français (fr) Méthode formelle (informatique)		231
6	chinois (zh) 形式化方法		175
7	vietnamien (vi) Các phương pháp hình thức		158
8	coréen (ko) 정형 기법		141
9	turc (tr) Biçimsel yöntemler		132
10	japonais (ja) 形式手法		127

Plus...

#	Langue	Valeur
ar	arabe طريقة شكلية
de	allemand Formale Methode
en	anglais Formal methods
es	espagnol Método formal
eu	basque Metodo formalak
fa	persan روش‌های صوری
fr	français Méthode formelle (informatique)
hu	hongrois Formális módszerek
id	indonésien Metode formal
it	italien Metodi formali
ja	japonais 形式手法
ko	coréen 정형 기법
lt	lituanien Formalūs metodai
ms	malais Kaedah formal
nl	néerlandais Formele methoden
pl	polonais Metody formalne
pt	portugais Métodos formais
ru	russe Формальные методы
sr	serbe Формалне методе
sv	suédois Formella metoder
tr	turc Biçimsel yöntemler
uk	ukrainien Формальні методи
vi	vietnamien Các phương pháp hình thức
zh	chinois 形式化方法

Meilleur rang

russe: n° 155921 12.2014

Mondial: n° 95257 09.2014

Meilleur rang

russe: n° 27224 06.2023

Mondial: n° 12182 12.2002

Au 30 mai 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Fête-Dieu, YouTube, Vincent Kompany, Hansi Flick, Ligue Europa Conférence, décès en 2024, ChatGPT, Olympiakos, Furiosa, Championnat d'Europe de football 2024.

Sur Wikipédia en russe, les articles les plus populaires ce jour-là étaient: Заворотнюк, Анастасия Юрьевна, Яндекс, Чернышёв, Пётр Андреевич, Заворотнюк, Валентина Борисовна, Глиобластома, YouTube, Жигунов, Сергей Викторович, Моя прекрасная няня, Годовщины свадьбы, Фриске, Жанна Владимировна.

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 novembre 2023. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de octobre 2023 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