Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2012.2: * * *Lógica* http://pt.wikipedia.org/wiki/Verdade_l%C3%B3gica http://pt.wikipedia.org/wiki/Begriffsschrift http://pt.wikipedia.org/wiki/Modelo_de_aritm%C3%A9tica_n%C3%A3o-padr%C3%A3o http://pt.wikipedia.org/wiki/Equival%C3%AAncia_elementar http://pt.wikipedia.org/wiki/Segundo_problema_de_Hilbert http://pt.wikipedia.org/wiki/Corretude_%28l%C3%B3gica%29 http://pt.wikipedia.org/wiki/Defini%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/L%C3%B3gica_subestrutural http://pt.wikipedia.org/wiki/Igualdade_l%C3%B3gica http://pt.wikipedia.org/wiki/Satisfatibilidade_de_Horn http://pt.wikipedia.org/wiki/Contraposi%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Teorema_da_elimina%C3%A7%C3%A3o_do_corte http://pt.wikipedia.org/wiki/Sequente http://pt.wikipedia.org/wiki/Tarski%27s_World http://pt.wikipedia.org/wiki/Paradoxo_de_Quine http://pt.wikipedia.org/wiki/F%C3%B3rmula_bem_formada http://pt.wikipedia.org/wiki/Propriedades_de_Normaliza%C3%A7%C3%A3o_(reescrita_abstrata)<http://pt.wikipedia.org/wiki/Propriedades_de_Normaliza%C3%A7%C3%A3o_%28reescrita_abstrata%29> http://pt.wikipedia.org/wiki/C%C3%A1lculo_de_sequentes http://pt.wikipedia.org/wiki/Sistema_axiom%C3%A1tico http://pt.wikipedia.org/wiki/Axiomas_de_Hilbert http://pt.wikipedia.org/wiki/L%C3%B3gica_de_ordem_superior http://pt.wikipedia.org/wiki/Aritm%C3%A9tica_primitiva_recursiva http://pt.wikipedia.org/wiki/L%C3%B3gica_do_Di%C3%A1logo http://pt.wikipedia.org/wiki/Minimiza%C3%A7%C3%A3o_de_Circuitos http://pt.wikipedia.org/wiki/Algoritmo_de_Quine-McCluskey http://pt.wikipedia.org/wiki/Equissatisfatibilidade http://pt.wikipedia.org/wiki/Equiconsistência http://pt.wikipedia.org/wiki/Sistema_de_Hilbert http://pt.wikipedia.org/wiki/Predicado_(l%C3%B3gica)<http://pt.wikipedia.org/wiki/Predicado_%28l%C3%B3gica%29> http://pt.wikipedia.org/wiki/Senten%C3%A7a_(l%C3%B3gica_matem%C3%A1tica)<http://pt.wikipedia.org/wiki/Senten%C3%A7a_%28l%C3%B3gica_matem%C3%A1tica%29> http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_(l%C3%B3gica)<http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29> http://pt.wikipedia.org/wiki/Teoria_dos_tipos_intuicionista http://pt.wikipedia.org/wiki/An%C3%A1lise_construtiva https://pt.wikipedia.org/wiki/Isomorfismo_de_Curry-Howard
*Teoria da Computação* http://pt.wikipedia.org/wiki/Problema_de_otimiza%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Comutatividade_da_conjun%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Idempot%C3%AAncia_de_implica%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Gram%C3%A1tica_livre_do_contexto_generalizada http://pt.wikipedia.org/wiki/Gram%C3%A1tica_de_Cabe%C3%A7a http://pt.wikipedia.org/wiki/Sequencias_autom%C3%A1ticas http://pt.wikipedia.org/wiki/FO_%28complexidade%29 http://pt.wikipedia.org/wiki/P/polinomial http://pt.wikipedia.org/wiki/Linguagem_livre_de_contexto_determin%C3%ADstica http://pt.wikipedia .org/wiki/Gram%C3%A1tica_livre_de_contexto_determin%C3%ADstica http://pt.wikipedia .org/wiki/Lema_do_bombeamento_para_linguagens_livre_de_contexto http://pt.wikipedia.org/wiki/Polimorfismo_param%C3%A9trico http://pt.wikipedia.org/wiki/Aut%C3%B4mato_de_B%C3%BCchi http://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_orientada_%C3%A0_automatos http://pt.wikipedia.org/wiki/RE_(complexidade) http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_Linear http://pt.wikipedia.org/wiki/L%C3%B3gica_de_Computabilidade http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_apenas_de_leitura#Teoria http://pt.wikipedia .org/wiki/M%C3%A1quinas_de_Turing_apenas_de_leitura_que_se_movem_apenas_para_direita http://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_de_Conjunto_de_resposta http://pt.wikipedia.org/wiki/Gram%C3%A1tica_Indexada http://pt.wikipedia.org/wiki/Indistinguibilidade_de_Textos_Cifrados http://pt.wikipedia .org/wiki/Tabela_de_transi%C3%A7%C3%A3o_de_estados_para_aut%C3%B4matos_finitos http://pt.wikipedia .org/wiki/Aut%C3%B4mato_finito_n%C3%A3o-determin%C3%ADstico_com_transi%C3%A7%C3%B5es_%CE%B5 http://pt.wikipedia.org/wiki/Richard_M._Karp http://pt.wikipedia.org/wiki/Vaughan_Pratt http://pt.wikipedia.org/wiki/Conectividade_%28teoria_dos_grafos%29 http://pt.wikipedia.org/wiki/Teorema_de_Menger http://pt.wikipedia.org/wiki/Computa%C3%A7%C3%A3o_Real http://pt.wikipedia.org/wiki/Teorema_de_Post http://pt.wikipedia.org/wiki/Conjunto_simples http://pt.wikipedia .org/wiki/O_Problema_da_Satisfa%C3%A7%C3%A3o_de_Restri%C3%A7%C3%B5es http://pt.wikipedia.org/wiki/Satisfa%C3%A7%C3%A3o_de_restri%C3%A7%C3%B5es http://pt.wikipedia.org/wiki/Estados_(Ci%C3%AAncia_da_Computa%C3%A7%C3%A3o) http://pt.wikipedia.org/wiki/Lógica_não_classica http://pt.wikipedia.org/wiki/Lógica_classica http://pt.wikipedia.org/wiki/Aut%C3%B4mato_Celular_de_Codd http://pt.wikipedia.org/wiki/Circuitos_Booleanos http://pt.wikipedia.org/wiki/Certificado_de_Primalidade http://pt.wikipedia.org/wiki/Turing_switch http://pt.wikipedia.org/wiki/M%C3%A1quinas_desorganizadas http://pt.wikipedia.org/wiki/Estimativa_de_Frequ%C3%AAncia_de_Good-Turing http://pt.wikipedia.org/wiki/Aut%C3%B4mato_com_pilha_determin%C3%ADstico http://pt.wikipedia.org/wiki/Aut%C3%B4mato_com_pilha_embutido http://pt.wikipedia.org/wiki/Palavra_Aninhada *Internet, Empreendedorismo e o Vale do Silício* http://pt.wikipedia.org/wiki/Shockley_Semiconductor_Laboratory http://pt.wikipedia.org/wiki/Arthur_Rock http://pt.wikipedia.org/wiki/Steve_Blank http://pt.wikipedia.org/wiki/Universidade_Stanford#Stanford_Startups http://pt.wikipedia.org/wiki/Comunidade_de_Startups http://pt.wikipedia.org/wiki/Customer_Development http://pt.wikipedia.org/wiki/Kozmo.com http://pt.wikipedia.org/wiki/Leapfrogging http://pt.wikipedia.org/wiki/Cultura_hacker http://pt.wikipedia.org/wiki/Neurotech http://pt.wikipedia.org/wiki/Desenvolvimento_de_Cliente http://pt.wikipedia.org/wiki/Starting-Up_in_America *Tecnologia e Convivência* http://pt.wikipedia.org/wiki/Privacidade_em_sistema_de_recomenda%C3%A7%C3%A3o http://pt.wikipedia.org/wiki/Bitcoin http://pt.wikipedia.org/wiki/Clickjacking http://pt.wikipedia.org/wiki/Freemium http://pt.wikipedia.org/wiki/Escola_de_Bricolagem http://pt.wikipedia.org/wiki/Open_innovation http://pt.wikipedia.org/wiki/Software_livre_e_de_c%C3%B3digo_aberto http://pt.wikipedia.org/wiki/Biblioteca_P%C3%BAblica_Digital_da_America http://pt.wikipedia.org/wiki/MOOC http://pt.wikipedia.org/wiki/The_pirate_bay http://pt.wikipedia.org/wiki/Cyberstalking _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
