Bom, aqui no Rio quando nos reunimos eles ficaram de aparar arestas. E estou devendo uma ida a SP para conversar com eles.
Obrigado pelo retorno. Sent from my iPhone On 27/04/2013, at 19:00, Ruy de Queiroz <[email protected]> wrote: > Dória, > > > 2013/4/27 Francisco Antonio Doria <[email protected]> >> Houve algum problema, Ruy, com os editores da Wiki? > Alguns problemas menores, que já foram contornados. > > Ruy > >> >> >> On Sat, Apr 27, 2013 at 5:55 PM, Ruy de Queiroz <[email protected]> wrote: >>> 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 >> >> >> >> -- >> fad >> >> ahhata alati, awienta Wilushati > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
