A quem interessar possa, aqui vai uma relação de verbetes da Wikipédia em português produzidos e/ou ampliados por nossos alunos aqui no Centro de Informática da UFPE. Trata-se, em sua grande maioria, de trabalho de tradução do verbete em inglês já existente para a língua portuguesa.
Ruy ------- *Teoria dos Conjuntos*: http://pt.wikipedia.org/wiki/N%C3%BAmero_de_Hartogs http://pt.wikipedia.org/wiki/Axioma_do_conjunto_vazio http://pt.wikipedia.org/wiki/Diagrama_de_Hasse http://pt.wikipedia.org/wiki/For%C3%A7amento http://pt.wikipedia.org/wiki/Cardinalidade http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos *Lógica*: http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem http://pt.wikipedia.org/wiki/Subestrutura *Teoria da Computação*: http://pt.wikipedia.org/wiki/O_Teorema_de_Cook%E2%80%93Levin http://pt.wikipedia.org/wiki/PSPACE http://pt.wikipedia.org/wiki/Classes_de_Complexidade http://pt.wikipedia.org/wiki/Problema_da_Correspond%C3%AAncia_de_Post http://pt.wikipedia.org/wiki/Teorema_de_Savitch http://pt.wikipedia.org/wiki/Decidibilidade *Criptografia*: http://pt.wikipedia.org/wiki/Ataque_de_temporiza%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Autenticador_de_mensagem http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_m%C3%A3o_%C3%BAnica http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_Arapuca http://pt.wikipedia.org/wiki/Logaritmo_discreto http://pt.wikipedia.org/wiki/Pseudo-aleatoriedade http://pt.wikipedia.org/wiki/Ataque_de_cifrotexto_escolhido http://pt.wikipedia.org/wiki/Ataque_de_cifrotexto-escolhido_adaptativo http://pt.wikipedia.org/wiki/Hist%C3%B3ria_da_criptografia http://pt.wikipedia.org/wiki/Alice_e_Bob http://pt.wikipedia.org/wiki/%C3%81rvores_de_Merkle http://pt.wikipedia.org/wiki/Provas_de_conhecimento-zero http://pt.wikipedia.org/wiki/Purotexto _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
