---------- 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