Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2012.1: * * *Lógica* http://pt.wikipedia.org/wiki/Endomorfismo http://pt.wikipedia.org/wiki/Axiomas_de_Peano http://pt.wikipedia.org/wiki/Programa_de_Hilbert http://pt.wikipedia.org/wiki/Problema_da_generalidade_m%C3%BAltipla http://pt.wikipedia.org/wiki/Regra_geral_de_Leibniz http://pt.wikipedia.org/wiki/Conectivos_l%C3%B3gicos http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_Ackermann http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%B5es_recursivas_primitivas http://pt.wikipedia.org/wiki/L%C3%B3gica_de_Hoare http://pt.wikipedia.org/wiki/Sistema_formal http://pt.wikipedia.org/wiki/Propaga%C3%A7%C3%A3o_de_unidade http://pt.wikipedia.org/wiki/Charadas_de_Smullyan http://pt.wikipedia.org/wiki/Senten%C3%A7a_at%C3%B4mica http://pt.wikipedia.org/wiki/Conjuntos_Livremente_Gerados http://pt.wikipedia.org/wiki/Language,_proof_and_logic http://pt.wikipedia.org/wiki/Prenex http://pt.wikipedia.org/wiki/Homomorfismo http://pt.wikipedia.org/wiki/Defini%C3%A7%C3%B5es_da_L%C3%B3gica http://pt.wikipedia.org/wiki/Grupo_livre http://pt.wikipedia.org/wiki/Teorema_da_compacidade http://pt.wikipedia.org/wiki/Subestrutura http://pt.wikipedia.org/wiki/Conjunto_gerador_de_um_grupo http://pt.wikipedia.org/wiki/Consist%C3%AAncia_l%C3%B3gica http://pt.wikipedia.org/wiki/L%C3%B3gica_de_predicados http://pt.wikipedia.org/wiki/Infer%C3%AAncia http://pt.wikipedia.org/wiki/Teorema_L%C3%B6wenheim%E2%80%93Skolem
*Teoria da Computação* http://pt.wikipedia.org/wiki/Máquinas_de_Turing_equivalentes http://pt.wikipedia.org/wiki/Redução_em_espaço_logar%C3%ADtmico<http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_em_espa%C3%A7o_logar%C3%ADtmico> http://pt.wikipedia.org/wiki/Ci%C3%AAncia_da_computa%C3%A7%C3%A3o_te%C3%B3rica http://pt.wikipedia.org/wiki/Cadeia_vazia http://pt.wikipedia.org/wiki/Reconhecedores http://pt.wikipedia.org/wiki/Problema_transcomputacional http://pt.wikipedia.org/wiki/Turing_tarpit http://pt.wikipedia.org/wiki/Gregory_Chaitin http://pt.wikipedia.org/wiki/Julia_Robinson http://pt.wikipedia.org/wiki/Problema_do_caminho_hamiltoniano http://pt.wikipedia.org/wiki/Lista_de_problemas_indecidíveis http://pt.wikipedia.org/wiki/Máquina_de_Turing_de_Várias_Faixas http://pt.wikipedia.org/wiki/Predicado_T_de_Kleene http://pt.wikipedia.org/wiki/Hierarquia_de_Crescimento_Lento http://pt.wikipedia.org/wiki/Teoria_dos_aut%C3%B4matos http://pt.wikipedia.org/wiki/Salto_de_Turing http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_recursiva_primitiva http://pt.wikipedia.org/wiki/Description_number http://pt.wikipedia.org/wiki/Teorema_de_hierarquia_de_espaço http://pt.wikipedia.org/wiki/Teorema_de_hierarquia_de_tempo http://pt.wikipedia.org/wiki/Teorema_de_craig http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_muitos_pra_um http://pt.wikipedia.org/wiki/Computa%C3%A7%C3%A3o_no_limite http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_Alternante http://pt.wikipedia.org/wiki/Maquinas_de_Turing_somente_de_leitura_e_movimentos_%C3%A0_direita http://pt.wikipedia.org/wiki/Sistema_de_produção_(ciência_da_computação) http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_Qu%C3%A2ntica http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_probabil%C3%ADstica http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_somente_de_leitura http://pt.wikipedia.org/wiki/Aut%C3%B4mato_com_fila http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_em_espa%C3%A7o_logar%C3%ADtmico http://pt.wikipedia.org/wiki/Sharp-SAT http://pt.wikipedia.org/wiki/Geografia_Generalizada http://pt.wikipedia.org/wiki/D%C3%A9cimo_problema_de_Hilbert http://pt.wikipedia.org/wiki/M%C3%A1quinas_de_Turing_Sim%C3%A9tricas http://pt.wikipedia.org/wiki/Configura%C3%A7%C3%A3o_de_Grafos http://pt.wikipedia.org/wiki/Aut%C3%B4matos_%CF%89 http://pt.wikipedia.org/wiki/Grau_de_Turing http://pt.wikipedia.org/wiki/S%C3%ADmbolos_terminais_e_n%C3%A3o-terminais http://pt.wikipedia.org/wiki/Transdutor_de_espaço_logarítmico_(LST) http://pt.wikipedia.org/wiki/Algoritmos_de_Aproximação http://pt.wikipedia.org/wiki/Máquina_Wang-b http://pt.wikipedia.org/wiki/Galeria_das_M%C3%A1quinas_de_Turing http://pt.wikipedia.org/wiki/Turmite http://pt.wikipedia.org/wiki/Ficheiro:M%C3%A1quina_de_Turing_Mec%C3%A2nica.jpg http://pt.wikipedia.org/wiki/Ficheiro:M%C3%A1quina_de_Turing_por_Stone.jpg http://pt.wikipedia.org/wiki/Teorema_da_dicotomia_de_Schaefer http://pt.wikipedia.org/wiki/3SAT_um_em_tr%C3%AAs http://pt.wikipedia.org/wiki/Conjuntos_criativos_e_produtivos http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_universal. http://pt.wikipedia.org/wiki/Teorema_da_recursividade_de_Kleene http://pt.wikipedia.org/wiki/Algoritmo_de_Markov http://pt.wikipedia.org/wiki/Gram%C3%A1tica_irrestrita *Teoria dos Conjuntos* http://pt.wikipedia.org/wiki/Aleph_(matem%C3%A1tica) http://pt.wikipedia.org/wiki/Conjunto_cont%C3%A1vel http://pt.wikipedia.org/wiki/Axioma_da_escolha http://pt.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel http://pt.wikipedia.org/wiki/Ernst_Zermelo http://pt.wikipedia.org/wiki/Adolf_Abraham_Halevi_Fraenkel http://pt.wikipedia.org/wiki/N%C3%BAmero_ordinal *Criptografia Moderna* http://pt.wikipedia.org/wiki/HMAC http://pt.wikipedia.org/wiki/Cifra_Feistel http://pt.wikipedia.org/wiki/CBC-MAC http://pt.wikipedia.org/wiki/Claude_Shannon *Internet, Empreendedorismo e o Vale do Silício* http://pt.wikipedia.org/wiki/%C3%89tica_hacker http://pt.wikipedia.org/wiki/Companhia_start-up http://pt.wikipedia.org/wiki/Capital_semente http://pt.wikipedia.org/wiki/Dropbox http://pt.wikipedia.org/wiki/Robert_Noyce http://pt.wikipedia.org/wiki/Capital_de_Ventura_no_Brasil http://pt.wikipedia.org/wiki/Lean_startup http://pt.wikipedia.org/wiki/Yahoo! http://pt.wikipedia.org/wiki/Steve_Jobs http://pt.wikipedia.org/wiki/Hist%C3%B3ria_do_Facebook http://pt.wikipedia.org/wiki/John_Sculley http://pt.wikipedia.org/wiki/Y_Combinator_%28companhia%29 http://pt.wikipedia.org/wiki/Google_Search http://pt.wikipedia.org/wiki/PageRank#Determinar_o_PageRank.E2.84.A2 http://pt.wikipedia.org/wiki/Incubadoras_de_Empresas http://pt.wikipedia.org/wiki/P%C3%A1gina_de_resultados_do_mecanismo_de_pesquisa http://pt.wikipedia.org/wiki/Google_Search#Dados_n.C3.A3o-indexados http://pt.wikipedia.org/wiki/Capital_de_Crescimento http://pt.wikipedia.org/wiki/Web_Social *Tecnologia e Convivência* http://pt.wikipedia.org/wiki/Neutralidade_da_rede http://pt.wikipedia.org/wiki/Pirataria_moderna http://pt.wikipedia.org/wiki/Privacidade_digital http://pt.wikipedia.org/wiki/Drones http://pt.wikipedia.org/wiki/Economia_da_informa%C3%A7%C3%A3o_em_rede http://pt.wikipedia.org/wiki/A_Cauda_Longa http://pt.wikipedia.org/wiki/Colabora%C3%A7%C3%A3o_Online http://pt.wikipedia.org/wiki/Identidade_Online http://pt.wikipedia.org/wiki/Aprendizagem_por_pares http://pt.wikipedia.org/wiki/Intercepta%C3%A7%C3%A3o_telem%C3%A1tica http://pt.wikipedia.org/wiki/Tecnologia_na_educa%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Dados_abertos http://pt.wikipedia.org/wiki/Curadoria_digital http://pt.wikipedia.org/wiki/Tecnologia_educacional http://pt.wikipedia.org/wiki/Jornalismo_cidad%C3%A3o http://pt.wikipedia.org/wiki/ReCAPTCHA _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
