Houve algum problema, Ruy, com os editores da Wiki?
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
