---------- 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
Teoria dos Conjuntos Kripke-Platek
Propriedade da Normalização (reescrita abstrata)
Lógica de segunda ordem monádica
Teoria dos conjuntos de Tarski-Grothendieck
Teorema da consistência conjunta de Robinson
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
Teoria Algorítmica da Informação
Criptografia
Segurança semântica
Segurança Informação-teórica
Inéditos:
Internet, Empreendedorismo e o Vale do Silício
Tecnologia e Convivência