---------- 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) https://pt.wikipedia.org/wiki/Contradom%C3%ADnio_(matemática)

Completude funcional https://pt.wikipedia.org/wiki/Completude_funcional

Regras de tradução lógica https://pt.wikipedia.org/wiki/Regras_de_tradução_lógica

Completude funcional https://pt.wikipedia.org/wiki/Completude_funcional

Herbrandização https://pt.wikipedia.org/wiki/Herbrandização

Teoria dos Conjuntos http://pt.wikipedia.org/wiki/Teoria_dos_Conjuntos_Kripke-Platek Kripke-Platek http://pt.wikipedia.org/wiki/Teoria_dos_Conjuntos_Kripke-Platek

Axioma de Martin https://pt.wikipedia.org/wiki/Axioma_de_Martin

Propriedade da Normalização (reescrita abstrata) https://pt.wikipedia.org/wiki/Propriedade_da_Normalização_(reescrita_abstrata)

Consistência https://pt.wikipedia.org/wiki/Consistência

Lógica de segunda ordem monádica https://pt.wikipedia.org/wiki/Lógica_de_segunda_ordem_monádica

Quantificação Plural http://pt.wikipedia.org/wiki/Quantificação_Plural

Lógica de dependência http://pt.wikipedia.org/wiki/Lógica_de_dependência

Teoria dos conjuntos de http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos_de_Tarski-Grothendieck Tarski-Grothendieck http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos_de_Tarski-Grothendieck

Lógica de classe https://pt.wikipedia.org/wiki/Lógica_de_classe

Coleção (matemática) https://pt.wikipedia.org/wiki/Coleção_(matemática)

Propriedade do modelo finito https://pt.wikipedia.org/wiki/Propriedade_do_modelo_finito

Eliminação de Quantificadores https://pt.wikipedia.org/wiki/Eliminação_de_Quantificadores

Posto de quantificadores https://pt.wikipedia.org/wiki/Posto_de_quantificadores

Valor de verdade https://pt.wikipedia.org/wiki/Valor_de_verdade

Princípio da não contradição http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_não_contradição

Indiscerníveis https://pt.wikipedia.org/wiki/Indiscern%C3%ADveis

Princípio da instanciação https://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_instancia%C3%A7%C3%A3o

Meia verdade https://pt.wikipedia.org/wiki/Meia_verdade

Cálculo formal https://pt.wikipedia.org/wiki/Cálculo_formal

Teorema da consistência conjunta de Robinson https://pt.wikipedia.org/wiki/Teorema_da_consistência_conjunta_de_Robinson

Conjunto definível https://pt.wikipedia.org/wiki/Conjunto_defin%C3%ADvel

*Teoria da Computação*

Problema da altura da estrela http://pt.wikipedia.org/wiki/Problema_da_altura_da_estrela Protocolo de http://pt.wikipedia.org/wiki/Protocolo_de_Arthur-Merlin Arthur-Merlin http://pt.wikipedia.org/wiki/Protocolo_de_Arthur-Merlin Redução http://pt.wikipedia.org/wiki/Redução_PTASPTAS http://pt.wikipedia.org/wiki/Redução_PTAS Autômato Celular de von Neumann http://pt.wikipedia.org/wiki/Autômato_celular_de_von_Neumann Hierarquia analítica http://pt.wikipedia.org/wiki/Hierarquia_anal%C3%ADtica Operações de cadeias http://pt.wikipedia.org/wiki/Operações_de_cadeias Teorema de http://pt.wikipedia.org/wiki/Teorema_de_Krohn-Rhodes Krohn-Rhodes http://pt.wikipedia.org/wiki/Teorema_de_Krohn-Rhodes Lógica Sequencial http://pt.wikipedia.org/wiki/Lógica_sequencial Lógica de Árvore de Computação https://pt.wikipedia.org/wiki/L%C3%B3gica_de_%C3%81rvore_de_Computa%C3%A7%C3%A3o Gramática de árvore regular http://pt.wikipedia.org/wiki/Gramática_de_árvore_regular Máquina de registradores https://pt.wikipedia.org/wiki/Máquina_de_registradores Linguagem Indexada http://pt.wikipedia.org/wiki/Linguagem_indexada Árvore (teoria dos conjuntos) https://pt.wikipedia.org/wiki/Árvore_(teoria_dos_conjuntos) Lógica https://pt.wikipedia.org/wiki/Lógica_polissortidapolissortida https://pt.wikipedia.org/wiki/Lógica_polissortida Ciência da computação teórica http://pt.wikipedia.org/wiki/Ciência_da_computação_teórica Gramática http://pt.wikiversity.org/wiki/Gramática_linearLinear http://pt.wikiversity.org/wiki/Gramática_linear Teorema da http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Enumeracao http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger de Chomsky - http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Schützenberger http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Forma normal de Kuroda http://pt.wikipedia.org/wiki/Forma_normal_de_Kuroda Redução por tabela verdade http://pt.wikipedia.org/wiki/Redução_por_tabela_verdade Teoria algorítmica da informação http://pt.wikipedia.org/wiki/Teoria_Algor%C3%ADtmica_da_Informação

Máquina de Post http://pt.wikipedia.org/wiki/Máquina_de_Post David Hilbert Complexidade de circuitos http://pt.wikipedia.org/wiki/Complexidade_de_circuitos Vizinhança de Von Neumann http://pt.wikipedia.org/wiki/Vizinhança_de_von_Neumann Grade Cartesiana http://pt.wikipedia.org/wiki/Grade_cartesiana Vizinhança de Moore http://pt.wikipedia.org/wiki/Vizinhança_de_Moore Teoria da aprendizagem computacional http://pt.wikipedia.org/wiki/Teoria_da_aprendizagem_computacional Dimensão VC http://pt.wikipedia.org/wiki/Dimensão_VC Infinidade digital http://pt.wikipedia.org/wiki/Infinidade_digital Argumento de diagonalização de Cantor http://pt.wikipedia.org/wiki/Argumento_de_diagonalização_de_Cantor Problemas de Hilbert http://pt.wikipedia.org/wiki/Problemas_de_Hilbert Gramática de concatenação de intervalo http://pt.wikipedia.org/wiki/Gramática_de_concatenação_de_intervalo Gramática Moderadamente Sensível ao Contexto http://pt.wikipedia.org/wiki/Gramática_moderadamente_sens%C3%ADvel_ao_contexto Sequência http://pt.wikipedia.org/wiki/Sequência_algoritmicamente_aleatória algoritmicamente http://pt.wikipedia.org/wiki/Sequência_algoritmicamente_aleatória aleatória http://pt.wikipedia.org/wiki/Sequência_algoritmicamente_aleatória Gramática de estrutura frasal http://pt.wikipedia.org/wiki/Gramática_de_estrutura_frasal Complexidade computacional de operações matemáticas https://pt.wikipedia.org/wiki/Complexidade_computacional_de_operações_matemáticas Teste http://pt.wikipedia.org/wiki/Teste_X-MáquinaX-Máquina http://pt.wikipedia.org/wiki/Teste_X-Máquina Bissimulação http://pt.wikipedia.org/wiki/Bissimulação Teorema Finito de http://pt.wikipedia.org/wiki/Teorema_Finito_de_Ramsey Ramsey http://pt.wikipedia.org/wiki/Teorema_Finito_de_Ramsey Complexidade de Comunicação http://pt.wikipedia.org/wiki/Complexidade_de_comunicação Máquina X http://pt.wikipedia.org/wiki/Máquina_X Interpretação de http://pt.wikipedia.org/wiki/Interpretação_de_Brouwer–Heyting–Kolmogorov Brouwer–Heyting–Kolmogorov http://pt.wikipedia.org/wiki/Interpretação_de_Brouwer–Heyting–Kolmogorov Arend http://pt.wikipedia.org/wiki/Arend_Heyting http://pt.wikipedia.org/wiki/Arend_HeytingHeyting http://pt.wikipedia.org/wiki/Arend_Heyting Gramática categorial combinatória http://pt.wikipedia.org/wiki/Gramática_categorial_combinatória Conectividade de Pixel https://pt.wikipedia.org/wiki/Conectividade_de_Pixel Grafo de Moore http://pt.wikipedia.org/wiki/Grafo_de_Moore Operador µ https://pt.wikipedia.org/wiki/Operador_µ Complexidade de pior caso https://pt.wikipedia.org/wiki/Complexidade_de_pior_caso Complexidade de caso médio https://pt.wikipedia.org/wiki/Complexidade_de_caso_médio

Função https://pt.wikipedia.org/wiki/Função_semicomputávelsemicomputável https://pt.wikipedia.org/wiki/Função_semicomputável

Teoria Algorítmica da Informação https://pt.wikipedia.org/wiki/Teoria_Algor%C3%ADtmica_da_Informação

Cálculo de processos https://pt.wikipedia.org/wiki/Cálculo_de_processos

*Criptografia*

Segurança semântica http://pt.wikipedia.org/wiki/Segurança_semântica Segurança https://pt.wikipedia.org/wiki/Segurança_Informação-teórica Informação-teórica https://pt.wikipedia.org/wiki/Segurança_Informação-teórica

*Inéditos**:*

*Internet, Empreendedorismo e o Vale do Silício*

Paul Graham https://pt.wikipedia.org/wiki/Paul_Graham

Start-up https://pt.wikipedia.org/wiki/Start-up_Brasil Brasil https://pt.wikipedia.org/wiki/Start-up_Brasil

Porto Digital https://en.wikipedia.org/wiki/Porto_Digital

Homebrew https://pt.wikipedia.org/wiki/Homebrew_Computer_Club Computer Club https://pt.wikipedia.org/wiki/Homebrew_Computer_Club

Investimento de Impacto https://pt.wikipedia.org/wiki/Investimento_de_Impacto

*Tecnologia e Convivência*

O Direito à Privacidade https://pt.wikipedia.org/wiki/O_Direito_%C3%A0_Privacidade

SecureDrop https://pt.wikipedia.org/wiki/SecureDrop

The https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_BitcoinRise https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin and https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_BitcoinRise https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin of https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_BitcoinBitcoin https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin

Fundação https://pt.wikipedia.org/wiki/Funda%C3%A7%C3%A3o_SHARESHARE https://pt.wikipedia.org/wiki/Funda%C3%A7%C3%A3o_SHARE

Limitação de Largura de Banda https://pt.wikipedia.org/wiki/Limita%C3%A7%C3%A3o_de_Largura_de_Banda

Open https://pt.wikipedia.org/wiki/Open_LibraryLibrary https://pt.wikipedia.org/wiki/Open_Library

Inside https://pt.wikipedia.org/wiki/Inside_the_Dark_Web the https://pt.wikipedia.org/wiki/Inside_the_Dark_WebDark https://pt.wikipedia.org/wiki/Inside_the_Dark_Web Web https://pt.wikipedia.org/wiki/Inside_the_Dark_Web

Discriminação de Dados https://pt.wikipedia.org/wiki/Discrimina%C3%A7%C3%A3o_de_Dados

Ecologia da informação https://pt.wikipedia.org/wiki/Ecologia_da_informa%C3%A7%C3%A3o