---------- Forwarded message ---------
From: Ruy de Queiroz <ruy(a)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_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>
Show replies by date