New subject: [Wikimedia Brasil] Fwd: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.1

28 Aug 2014

Esse professor do Recife é arretado!

Não sei o o que ocorreu com a versão em português sobre ele no blog da
Wikimedia <http://blog.wikimedia.org/2013/03/26/ruy-de-queiroz-profile/>.

---------- Mensagem encaminhada ----------
De: Ruy de Queiroz &lt;ruy(a)cin.ufpe.br&gt;
Data: 28 de agosto de 2014 13:20
Assunto: Contribuições de alunos do CIn-UFPE à Wikipédia (em português),
2014.1
Para: staff &lt;staff(a)cin.ufpe.br&gt;br>, posgrad &lt;posgrad(a)cin.ufpe.br&gt;br>, grad-l <
grad-l(a)cin.ufpe.br&gt;gt;, clylton.galamba(a)gmail.com, Paulo Gileno Cysneiros <
pgcysneiros(a)gmail.com&gt;gt;, Selim Neto &lt;sneto(a)etiweb.com.br&gt;br>, demo <
demo(a)ibdi.org.br&gt;gt;, Gustavo Ferreira Santos &lt;gustavosantos(a)uol.com.br&gt;br>,
Ivanildo Figueiredo &lt;ivanildo(a)tabelionatofigueiredo.com.br&gt;br>, Maria Amália
Arruda Camara &lt;arrudacamara(a)gmail.com&gt;om>, Marcelo José Vieira de Melo Vieira
de Melo &lt;mvieira1a2m(a)gmail.com&gt;om>, Jaziel Filho &lt;jaziel_filho(a)yahoo.com&gt;om>,
LiAnna Davis &lt;ldavis(a)wikimedia.org&gt;rg>, Everton Zanella Alvarenga <
everton.alvarenga(a)okfn.org&gt;gt;, Alexandre Freire Pimentel <
alexandrefreirepimentel(a)gmail.com&gt;gt;, José Carlos Cavalcanti <
cavalcanti.jc(a)gmail.com&gt;gt;, patricia.peck(a)pppadvogados.com.br,
rodrigopadula(a)wikimedia.org

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

*Traduções:*

*Lógica*
 <https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica>
Teoria de modelos finitos
<https://pt.wikipedia.org/wiki/Teoria_de_modelos_finitos>
Teorema de Hilbert-Burch
<http://pt.wikipedia.org/wiki/Teorema_de_Hilbert-Burch>
Emparelhamento de Langford
<http://pt.wikipedia.org/wiki/Emparelhamento_de_Langford>
Teorema de Paris-Harrington
<http://pt.wikipedia.org/wiki/Teorema_de_Paris-Harrington>
Lógica de descrição <https://pt.wikipedia.org/wiki/Lógica_de_descrição>
Teorema Extensão de Szpilrajn
<https://pt.wikipedia.org/wiki/Teorema_Extensão_de_Szpilrajn>
Aritmética de segunda ordem
<https://pt.wikipedia.org/wiki/Aritmética_de_segunda_ordem>
Metalógica <http://pt.wikipedia.org/wiki/Metalógica>
Quantificação de unicidade
<https://pt.wikipedia.org/wiki/Quantificação_de_unicidade>
Lógica Vetorial <https://pt.wikipedia.org/wiki/Lógica_Vetorial>
Questionamento Socrático
<https://pt.wikipedia.org/wiki/Questionamento_Socrático>
Paradoxo de Berry <https://pt.wikipedia.org/wiki/Paradoxo_de_Berry>
Paradoxo Predestinação
<https://pt.wikipedia.org/wiki/Paradoxo_Predestinação>
Lógica algébrica abstrata
<https://pt.wikipedia.org/wiki/Lógica_algébrica_abstrata>
Lógica de relevância <https://pt.wikipedia.org/wiki/Lógica_de_Relevância>
Método dedutivo <https://pt.wikipedia.org/wiki/Racioc%C3%ADnio_dedutivo>
Teorema de Löwenheim–Skolem
<https://pt.wikipedia.org/wiki/Teorema_de_Löwenheim–Skolem>
Referência circular <https://pt.wikipedia.org/wiki/Referência_circular>
Esquema T <https://pt.wikipedia.org/wiki/Esquema_T>
 Lei do terceiro excluído
<https://pt.wikipedia.org/w/index.php?title=Lei_do_terceiro_exclu%C3%ADdo>
Negação por falha <https://pt.wikipedia.org/wiki/Negação_por_falha>
Paradoxo de bootstrap <http://pt.wikipedia.org/wiki/Paradoxo_de_bootstrap>

*Teoria da Computação*
Linguagem sensível ao contexto
<https://pt.wikipedia.org/wiki/Linguagem_sens%C3%ADvel_ao_contexto>
Gramática de afixos estendida
<https://pt.wikipedia.org/wiki/Gramática_de_afixos_estendida>
Fecho transitivo <http://pt.wikipedia.org/wiki/Fecho_transitivo>
Hierarquia polinomial <https://pt.wikipedia.org/wiki/Hierarquia_polinomial>
RP (complexidade computacional)
<https://pt.wikipedia.org/wiki/RP_(complexidade_computacional)>
Autômato Finito Determinístico Acíclico
<https://pt.wikipedia.org/wiki/Autômato_Finito_Determin%C3%ADstico_Ac%C3%ADclico>
Autômato finito determinístico de dois sentidos
<https://pt.wikipedia.org/wiki/Autômato_finito_determin%C3%ADstico_de_dois_sentidos>
Máquina de Ponteiros <https://pt.wikipedia.org/wiki/Máquina_de_Ponteiros>
Método de fatoração de Fermat
<https://pt.wikipedia.org/wiki/Método_de_fatoração_de_Fermat>
Hierarquia de Grzegorczyk
<https://pt.wikipedia.org/wiki/Hierarquia_de_Grzegorczyk>
Hierarquia exponencial
<https://pt.wikipedia.org/wiki/Hierarquia_exponencial>
Elementar <https://pt.wikipedia.org/wiki/Elementar>
Coloração harmônica <https://pt.wikipedia.org/wiki/Coloração_harmônica>
Problema da divisão de conjuntos
<https://pt.wikipedia.org/wiki/Problema_da_divisão_de_conjuntos>
Apx completude <https://pt.wikipedia.org/wiki/Apx_completude>
 Sistema de prova interativa
<http://pt.wikipedia.org/wiki/Sistema_de_prova_interativa>
Grafos sem triangulos <https://pt.wikipedia.org/wiki/Grafos_sem_triangulos>
Grafo k-aresta-conexo <https://pt.wikipedia.org/wiki/Grafo_k-aresta-conexo>
Grafo k-vertice-conexo
<https://pt.wikipedia.org/wiki/Grafo_k-vertice-conexo>
Problema das 3 Partições
<https://pt.wikipedia.org/wiki/Problema_das_3_Partições>
Clique <https://pt.wikipedia.org/wiki/Clique>
Partição de Grafos <https://pt.wikipedia.org/wiki/Partição_de_Grafos>
Gramática de análise sintática de expressão
<https://pt.wikipedia.org/wiki/Gramática_de_análise_sintática_de_expressão>
Provas verificáveis probabilisticamente
<https://pt.wikipedia.org/wiki/Provas_verificáveis_probabilisticamente>
Certificado(Complexidade)
<https://pt.wikipedia.org/wiki/Certificado(Complexidade)>
Problema do caminho mais longo
<https://pt.wikipedia.org/wiki/Problema_do_caminho_mais_longo>

*Criptografia*
SHA-2 <https://pt.wikipedia.org/wiki/SHA-2>
Função esponja <https://pt.wikipedia.org/wiki/Função_esponja>
Criptografia Baseada na Identidade
<https://pt.wikipedia.org/wiki/Criptografia_Baseada_na_Identidade>

*Inéditos:*

*Internet, Empreendedorismo e o Vale do Silício*
Clayton M. Christensen
<https://pt.wikipedia.org/wiki/Clayton_M._Christensen>
BrainPort <https://pt.wikipedia.org/wiki/BrainPort>
The Startup Kids <https://pt.wikipedia.org/wiki/The_Startup_Kids>
Ipredia OS <http://pt.wikipedia.org/wiki/Ipredia_OS>
Uber (empresa) <https://pt.wikipedia.org/wiki/Uber_(empresa)>
Cyclades <https://pt.wikipedia.org/wiki/Cyclades>
Fred wilson <https://pt.wikipedia.org/wiki/Fred_wilson>
Eugene Goostman <https://pt.wikipedia.org/wiki/Eugene_Goostman>
Radix.com
Distrito de inovação
<http://pt.wikipedia.org/wiki/Distrito_de_inova%C3%A7%C3%A3o>
Vale do Silício Chinês
<http://pt.wikipedia.org/wiki/Vale_do_Sil%C3%ADcio_Chin%C3%AAs>
Mark Weiser <https://pt.wikipedia.org/wiki/Mark_Weiser>

*Tecnologia e Convivência*
Cidadania digital <https://pt.wikipedia.org/wiki/Cidadania_digital>
Tim Wu <https://pt.wikipedia.org/wiki/Tim_Wu>
Lei de Aaron <https://pt.wikipedia.org/wiki/Lei_de_Aaron>
Natália Viana <http://pt.wikipedia.org/wiki/Nat%C3%A1lia_Viana>
Ponte (site de jornalismo) <http://pt.wikipedia.org/wiki/Site_Ponte>
Demand Progress <https://pt.wikipedia.org/wiki/Demand_Progress>
Conteúdo para download
<https://pt.wikipedia.org/wiki/Conte%C3%BAdo_para_download>
Pague-quanto-quiser <https://pt.wikipedia.org/wiki/Pague-quanto-quiser>
Cadeia de custódia <https://pt.wikipedia.org/wiki/Cadeia_de_cust%C3%B3dia>
Droit d'auteur <https://pt.wikipedia.org/wiki/Droit_d%27auteur>
Truenorth <http://pt.wikipedia.org/wiki/Truenorth>
Computer Fraud and Abuse Act
<https://pt.wikipedia.org/wiki/Computer_Fraud_and_Abuse_Act>
Cibersoldado <https://pt.wikipedia.org/wiki/Cibersoldado>
Direito ao esquecimento
<https://pt.wikipedia.org/wiki/Right_to_be_forgotten>

-- 
Everton Zanella Alvarenga (also Tom)
Open Knowledge Brasil - Rede pelo Conhecimento Livre
http://br.okfn.org