A quem interessar possa Aqui vão alguns verbetes da Wikipédia em português produzidos ou ampliados por alunos do Centro de Informática da UFPE em 2011.2.
Ruy ---- *Teoria da Computação:* http://pt.wikipedia.org/wiki/Problema_da_parada http://pt.wikipedia.org/wiki/P-completo http://pt.wikipedia.org/wiki/Lema_do_bombeamento_para_linguagens_de_livre-contexto http://pt.wikipedia.org/wiki/NP-completo http://pt.wikipedia.org/wiki/Aut%C3%B4mato_finito_alternado http://pt.wikipedia.org/wiki/Linguagem_regular http://pt.wikipedia.org/wiki/NP-f%C3%A1cil http://pt.wikipedia.org/wiki/NP-equivalente http://pt.wikipedia.org/wiki/Conjunto_de_v%C3%A9rtices_de_retroalimenta%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Poli-%C3%81rvore http://pt.wikipedia.org/wiki/Problema_da_soma_dos_subconjuntos http://pt.wikipedia.org/wiki/Busca_por_for%C3%A7a_bruta http://pt.wikipedia.org/wiki/BPP http://pt.wikipedia.org/wiki/Gram%C3%A1tica_livre_de_contexto http://pt.wikipedia.org/wiki/Problema_da_parada http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Post-Turing#1936:_Modelo_de_Post http://pt.wikipedia.org/wiki/P_(complexidade) http://pt.wikipedia.org/wiki/M%C3%A1quina_de_estados_finitos http://pt.wikipedia.org/wiki/Problema_da_parada http://pt.wikipedia.org/wiki/Linguagem_recursivamente_enumer%C3%A1vel http://pt.wikipedia.org/wiki/Minimiza%C3%A7%C3%A3o_de_AFD http://pt.wikipedia.org/wiki/Teorema_de_Immerman%E2%80%93 http://pt.wikipedia.org/wiki/Hierarquia_de_crescimento_r%C3%A1pido http://pt.wikipedia.org/wiki/Aut%C3%B3mato_de_%C3%A1rvore http://pt.wikipedia.org/wiki/Algoritmo_Super-Recursivo http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_%CE%BC-recursiva http://pt.wikipedia.org/wiki/Teorema_PCP http://pt.wikipedia.org/wiki/Problema_computacional http://pt.wikipedia.org/wiki/Constru%C3%A7%C3%A3o_do_conjunto_das_partes http://pt.wikipedia.org/wiki/Problema_do_clique http://pt.wikipedia.org/wiki/M%C3%A1quina_Or%C3%A1culo http://pt.wikipedia.org/wiki/Hist%C3%B3ria_de_computa%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_que_sempre_para http://pt.wikipedia.org/wiki/Gram%C3%A1tica_formal http://pt.wikipedia.org/wiki/Gram%C3%A1tica_sens%C3%ADvel_ao_contexto http://pt.wikipedia.org/wiki/Teoria_da_Computabilidade http://pt.wikipedia.org/wiki/Linguagem_formal http://pt.wikipedia.org/wiki/Aut%C3%B4mato_linearmente_limitado http://pt.wikipedia.org/wiki/Hist%C3%B3rico_de_computa%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Problema_da_correspond%C3%AAncia_de_Post http://pt.wikipedia.org/wiki/Linguagem_Omega http://pt.wikipedia.org/wiki/Linguagem_Omega-regular http://pt.wikipedia.org/wiki/Gram%C3%A1tica_livre_de_contexto_estoc%C3%A1stica http://pt.wikipedia.org/wiki/Teoria_da_complexidade http://pt.wikipedia.org/wiki/Co-NP http://pt.wikipedia.org/wiki/Co-NP-completo http://pt.wikipedia.org/wiki/A_quest%C3%A3o_P_versus_NP http://pt.wikipedia.org/wiki/Conjunto_recursivo http://pt.wikipedia.org/wiki/Problema_indecid%C3%ADvel http://pt.wikipedia.org/wiki/Dtime http://pt.wikipedia.org/wiki/Exptime http://pt.wikipedia.org/wiki/Turing_Completude http://pt.wikipedia.org/wiki/N%C3%BAmero_comput%C3%A1vel http://pt.wikipedia.org/wiki/Conectividade_st http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_por_mapeamento *Lógica:* http://pt.wikipedia.org/wiki/Gottlob_Frege *Lambda-Cálculo:* http://pt.wikipedia.org/wiki/Forma_normal_beta http://pt.wikipedia.org/wiki/C%C3%A1lculo_lambda_simplesmente_tipado *Segurança:* http://pt.wikipedia.org/wiki/Cross-site_request_forgery http://pt.wikipedia.org/wiki/Computa%C3%A7%C3%A3o_Confi%C3%A1vel http://pt.wikipedia.org/wiki/HTTPS http://pt.wikipedia.org/wiki/MAC_times http://pt.wikipedia.org/wiki/Buffer_overflow http://pt.wikipedia.org/wiki/DNS_cache_poisoning _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
