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
