Matriz de classificação dos artigos sobre lógica


Wikimedia Toolforge – Ferramentas para projetos lusófonos

Esta ferramenta classifica os artigos sobre o tema escolhido em uma matriz, indicando quantas páginas têm certa qualidade e importância para o tema. Para utilizá-la, basta informar um dos temas existentes no campo a seguir:

Classificação dos artigos sobre lógica
Importância
Qualidade Total
6 5 7 7 68 93
5 6 13 11 76 111
0 0 0 2 4 6
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
Total 11 11 20 20 148 210

WikiEsforço: 927

Código-wiki para atualizar Wikipédia:Matriz de classificação/lógica:

<!-- ### início ### -->{{Matriz de classificação
| 6 | 5 | 0 | 0 | 0 | 0 | 0
| 5 | 6 | 0 | 0 | 0 | 0 | 0
| 7 | 13 | 0 | 0 | 0 | 0 | 0
| 7 | 11 | 2 | 0 | 0 | 0 | 0
| 68 | 76 | 4 | 0 | 0 | 0 | 0
|sobre=lógica
}}
'''última atualização''': ~~~~~ 
<!-- ### fim ### -->

Artigos de qualidade 2 e importância 0 sobre lógica
Método dedutivo (hist | disc)69438 bytes
Unificação (hist | disc)66333 bytes
Grafo lógico (hist | disc)55646 bytes
Lógica proposicional (hist | disc)47494 bytes
Lógica paraconsistente (hist | disc)36233 bytes
Prolog (hist | disc)33770 bytes
Diagrama de Venn (hist | disc)33012 bytes
Relação de recorrência (hist | disc)26545 bytes
Vicente Ferreira da Silva (hist | disc)26081 bytes
Axioma (hist | disc)25766 bytes
Quantificação (hist | disc)25257 bytes
Interpretação (lógica) (hist | disc)24542 bytes
Lista de regras de inferência (hist | disc)23885 bytes
Teoria ingênua dos conjuntos (hist | disc)23404 bytes
Teorema da completude de Gödel (hist | disc)21426 bytes
Relação binária (hist | disc)19986 bytes
Princípio da não-contradição (hist | disc)19454 bytes
Alfred Tarski (hist | disc)17613 bytes
Argumento (hist | disc)16919 bytes
Lógica de segunda ordem (hist | disc)15415 bytes
Problema de satisfatibilidade booliana (hist | disc)15414 bytes
Formalismo de Backus-Naur (hist | disc)15246 bytes
Recursividade (hist | disc)14917 bytes
Algoritmo Chaff (hist | disc)14677 bytes
Tautologia (lógica) (hist | disc)14039 bytes
Recursividade (ciência da computação) (hist | disc)13605 bytes
Princípio da resolução (hist | disc)13306 bytes
Anfibologia (hist | disc)13237 bytes
Programação lógica (hist | disc)13145 bytes
Lista de teorias de primeira ordem (hist | disc)13070 bytes
Estrutura de interpretação (lógica) (hist | disc)10954 bytes
Par ordenado (hist | disc)10926 bytes
Forma normal prenex (hist | disc)10663 bytes
Ou exclusivo (hist | disc)10641 bytes
Função de verdade (hist | disc)10503 bytes
Lógica epistêmica (hist | disc)10250 bytes
Relação bem-fundada (hist | disc)10168 bytes
Thoralf Skolem (hist | disc)10091 bytes
Teorema da compacidade (hist | disc)10083 bytes
Consequência lógica (hist | disc)10020 bytes
Cálculo proposicional implicacional (hist | disc)9724 bytes
Skolemização (hist | disc)9707 bytes
Dupla negação (hist | disc)9698 bytes
Tabela-verdade (hist | disc)9472 bytes
Quantificação universal (hist | disc)9024 bytes
Sistema formal (hist | disc)8481 bytes
Problema de decisão (hist | disc)8465 bytes
Porta NAND (hist | disc)8362 bytes
Indução estrutural (hist | disc)8346 bytes
Modus ponens (hist | disc)8093 bytes
Teoria semântica da verdade (hist | disc)7872 bytes
Valor de verdade (hist | disc)7495 bytes
Lei de Peirce (hist | disc)7222 bytes
Assinatura (lógica) (hist | disc)6956 bytes
Efeito borboleta (hist | disc)6693 bytes
Algoritmo DPLL (hist | disc)6379 bytes
Validade (hist | disc)6104 bytes
Equivalência lógica (hist | disc)6082 bytes
Entscheidungsproblem (hist | disc)6012 bytes
Jacques Herbrand (hist | disc)5989 bytes
Completude (lógica) (hist | disc)5928 bytes
Algoritmo de Davis-Putnam (hist | disc)5928 bytes
Peter Naur (hist | disc)5855 bytes
Falácia do escocês de verdade (hist | disc)4920 bytes
Forma normal clausal (hist | disc)4807 bytes
Reconhecimento de padrões (hist | disc)4446 bytes
Porta NOR (hist | disc)4437 bytes
Argumentum ad verecundiam (hist | disc)4171 bytes
Universo de Herbrand (hist | disc)4160 bytes
Operação binária (hist | disc)3948 bytes
Fórmula atômica (hist | disc)3832 bytes
Apelo ao preconceito (hist | disc)1106 bytes
Apelo à vaidade (hist | disc)1105 bytes
Divisão (falácia) (hist | disc)1089 bytes
Inversão do acidente (hist | disc)986 bytes
Composição (falácia) (hist | disc)957 bytes

Feito com Flask
O código-fonte desta página é disponibilizado sob a licença GNU General Public License 3.0 (GPL V3).