Segue lista de contribuições do professor Ruy e seus alunos à Wikipédia!
Atenciosamente Rodrigo Padula ---------- Mensagem encaminhada ---------- De: Ruy de Queiroz <r...@cin.ufpe.br> Data: 28 de agosto de 2014 13:20 Assunto: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.1 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>
_______________________________________________ WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l