---------- Forwarded message --------- From: Ruy de Queiroz &lt;ruy(a)cin.ufpe.br&gt; 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_PTAS>PTAS <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_polissortida>polissortida <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_linear>Linear <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áquina>X-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_Heyting>Heyting <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ável>semicomputá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_Bitcoin>Rise <https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin> and <https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin>Rise <https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin> of <https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin>Bitcoin <https://pt.wikipedia.org/wiki/The_Rise_and_Rise_of_Bitcoin> Fundação <https://pt.wikipedia.org/wiki/Funda%C3%A7%C3%A3o_SHARE>SHARE <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_Library>Library <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_Web>Dark <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>