---------- Forwarded message ---------
From: Ruy de Queiroz <ruy@cin.ufpe.br>
Date: seg, 2 de mar de 2015 19:19
Subject: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.2
To:



Seguem alguns verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2014.2:

Traduções:

Lógica

Contradomínio (matemática)

Completude funcional

Regras de tradução lógica

Completude funcional

Herbrandização

Teoria dos Conjuntos Kripke-Platek

Axioma de Martin

Propriedade da Normalização (reescrita abstrata)

Consistência

Lógica de segunda ordem monádica

Quantificação Plural

Lógica de dependência

Teoria dos conjuntos de Tarski-Grothendieck

Lógica de classe 

Coleção (matemática)

Propriedade do modelo finito

Eliminação de Quantificadores

Posto de quantificadores

Valor de verdade

Princípio da não contradição

Indiscerníveis

Princípio da instanciação

Meia verdade

Cálculo formal

Teorema da consistência conjunta de Robinson

Conjunto definível

Teoria da Computação

Problema da altura da estrela
Protocolo de Arthur-Merlin
Redução PTAS
Autômato Celular de von Neumann
Hierarquia analítica
Operações de cadeias
Teorema de Krohn-Rhodes
Lógica Sequencial
Lógica de Árvore de Computação
Gramática de árvore regular
Máquina de registradores
Linguagem Indexada
Árvore (teoria dos conjuntos)
Lógica polissortida
Ciência da computação teórica
Gramática Linear
Teorema da Enumeracao de Chomsky - Schützenberger
Forma normal de Kuroda
Redução por tabela verdade
Teoria algorítmica da informação

Máquina de Post
David Hilbert
Complexidade de circuitos
Vizinhança de Von Neumann
Grade Cartesiana
Vizinhança de Moore
Teoria da aprendizagem computacional
Dimensão VC
Infinidade digital
Argumento de diagonalização de Cantor
Problemas de Hilbert
Gramática de concatenação de intervalo
Gramática Moderadamente Sensível ao Contexto
Sequência algoritmicamente aleatória
Gramática de estrutura frasal
Complexidade computacional de operações matemáticas
Teste X-Máquina
Bissimulação
Teorema Finito de Ramsey
Complexidade de Comunicação
Máquina X
Interpretação de Brouwer–Heyting–Kolmogorov
Arend Heyting
Gramática categorial combinatória
Conectividade de Pixel
Grafo de Moore
Operador µ
Complexidade de pior caso
Complexidade de caso médio

Função semicomputável

Teoria Algorítmica da Informação

Cálculo de processos

Criptografia

Segurança semântica
Segurança Informação-teórica

Inéditos:

Internet, Empreendedorismo e o Vale do Silício

Paul Graham

Start-up Brasil

Porto Digital

Homebrew Computer Club

Investimento de Impacto

Tecnologia e Convivência

O Direito à Privacidade

SecureDrop

The Rise and Rise of Bitcoin

Fundação SHARE

Limitação de Largura de Banda

Open Library

Inside the Dark Web

Discriminação de Dados

Ecologia da informação