Beleza mesmo! On 28 September 2013 21:25, Décio Krause <[email protected]> wrote: > Puxa, Ruy, que beleza. Parabéns. > D > > ________________________________ > > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > www.cfh.ufsc.br/~dkrause > ________________________________ > > > > > > Em 28/09/2013, às 21:14, Ruy de Queiroz <[email protected]> escreveu: > >> Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os >> alunos do CIn-UFPE em 2013.1: >> * >> * >> *Lógica* >> https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica >> http://pt.wikipedia.org/wiki/Isomorfismo >> https://pt.wikipedia.org/wiki/Paradoxos_da_Implica%C3%A7%C3%A3o_Material >> https://pt.wikipedia.org/wiki/Teorema_do_ideal_primo_booleano >> https://pt.wikipedia.org/wiki/Anatoly_Maltsev >> https://pt.wikipedia.org/wiki/M%C3%A9todo_Efetivo >> https://pt.wikipedia.org/wiki/Teoria_da_argumenta%C3%A7%C3%A3o >> https://pt.wikipedia.org/wiki/Atomismo_l%C3%B3gico >> https://pt.wikipedia.org/wiki/Teorema_de_compacidade_de_Barwise >> https://pt.wikipedia.org/wiki/Morfismo_(teoria_das_categorias) >> https://pt.wikipedia.org/wiki/%C3%81lgebra_Booleana_(estrutura) >> http://pt.wikipedia.org/wiki/Ernst_Mally >> https://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_do_Bicondicional >> https://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_disjun%C3%A7%C3%A3o >> https://pt.wikipedia.org/wiki/Jon_Barwise >> https://pt.wikipedia.org/wiki/Peter_Geach >> https://pt.wikipedia.org/wiki/L%C3%B3gica_filos%C3%B3fica >> https://pt.wikipedia.org/wiki/Sem%C3%A2ntica_formal(l%C3%B3gica) >> https://pt.wikipedia.org/wiki/Teorema_de_L%C3%B6b >> https://pt.wikipedia.org/wiki/Martin_Hugo_L%C3%B6b >> https://pt.wikipedia.org/wiki/Operador_Modal >> https://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Tradu%C3%A7%C3%A3o/L%C3%B3gica_din%C3%A2mica(l%C3%B3gica_modal) >> https://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica >> https://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_(l%C3%B3gica) >> https://pt.wikipedia.org/wiki/Teoria_da_Infer%C3%AAncia_Indutiva_de_Solomonoff >> http://pt.wikipedia.org/wiki/Aritm%C3%A9tica_de_Robinson >> https://pt.wikipedia.org/wiki/Augustus_De_Morgan >> https://pt.wikipedia.org/wiki/Helena_Rasiowa >> https://pt.wikipedia.org/wiki/Dov_Gabbay<https://en.wikipedia.org/wiki/Dov_Gabbay> >> https://pt.wikipedia.org/wiki/Hartley_Rogers,_Jr.<https://en.wikipedia.org/wiki/Hartley_Rogers,_Jr.> >> https://pt.wikipedia.org/wiki/Prova_autom%C3%A1tica_de_teoremas >> https://pt.wikipedia.org/wiki/Paradoxo_da_loteria >> https://pt.wikipedia.org/wiki/Vari%C3%A1vel_proposicional_(matem%C3%A1tica) >> http://pt.wikipedia.org/w/index.php?<http://pt.wikipedia.org/w/index.php?title=Paradoxo_de_Skolem&oldid=36982523> >> title=Paradoxo_de_Skolem&oldid=36982523<http://pt.wikipedia.org/w/index.php?title=Paradoxo_de_Skolem&oldid=36982523> >> https://pt.wikipedia.org/wiki/Logica_temporal >> http://pt.wikipedia.org/wiki/Paradoxo_do_elevador >> http://pt.wikipedia.org/wiki/Geometria_de_zariski >> https://pt.wikipedia.org/wiki/Calculus_Ratiocinator >> https://pt.wikipedia.org/wiki/As_Leis_do_Pensamento >> https://pt.wikipedia.org/wiki/Problema_de_Fun%C3%A7%C3%A3o >> https://pt.wikipedia.org/wiki/Introdu%C3%A7%C3%A3o_Bicondicional >> https://pt.wikipedia.org/wiki/Impredicatividade >> https://pt.wikipedia.org/wiki/Teoria_das_Descri%C3%A7%C3%B5es >> http://pt.wikipedia.org/wiki/Estrutura_de_Herbrand >> http://pt.wikipedia.org/wiki/John_Etchemendy >> http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_de_herbrand >> https://pt.wikipedia.org/wiki/Lotfi_Asker_Zadeh >> https://pt.wikipedia.org/wiki/Mozi >> http://en.wikipedia.org/wiki/Kripke_semantics >> https://pt.wikipedia.org/wiki/Sem%C3%A2nticas_de_Kripke >> https://pt.wikipedia.org/wiki/Teorema_de_Goodstein >> https://pt.wikipedia.org/wiki/Objeto_formal >> >> >> *Teoria da Computação* >> https://pt.wikipedia.org/wiki/Quinto_problema_de_Hilbert >> http://pt.wikipedia.org/wiki/Formalismo_de_Backus-Naur_Extendido >> http://pt.wikipedia.org/wiki/Linguagem_formal >> https://pt.wikipedia.org/wiki/Semi_aut%C3%B4mato >> https://pt.wikipedia.org/wiki/Simbolo_%28Formal%29 >> https://pt.wikipedia.org/wiki/Produ%C3%A7%C3%A3o_%28ci%C3%AAncia_da_computa%C3%A7%C3%A3o%29 >> https://pt.wikipedia.org/wiki/Turing_Switch >> https://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_alternada >> https://pt.wikipedia.org/wiki/O_de_Kleene >> https://pt.wikipedia.org/wiki/Grandes_ordinais_cont%C3%A1veis >> https://pt.wikipedia.org/wiki/Espa%C3%A7o_compacto >> http://pt.wikipedia.org/wiki/Aut%C3%B4matos_finitos_determin%C3%ADsticos >> https://pt.wikipedia.org/wiki/Aut%C3%B4mato_Probabil%C3%ADstico >> https://pt.wikipedia.org/wiki/Prova_assistida_por_Computador >> https://pt.wikipedia.org/wiki/O_Problema_do_Final_Feliz >> https://pt.wikipedia.org/wiki/Jogo_da_vida >> https://pt.wikipedia.org/wiki/John_Conway >> https://pt.wikipedia.org/wiki/Teoria_combinat%C3%B3ria_dos_jogos >> https://pt.wikipedia.org/wiki/Teste_de_Turing >> https://pt.wikipedia.org/wiki/Computadores_e_Intelig%C3%AAncia >> http://pt.wikipedia.org/wiki/Equa%C3%A7%C3%A3o_diofantina >> http://pt.wikipedia.org/wiki/Aut%C3%B4mato >> https://pt.wikipedia.org/wiki/Hierarquia_aritm%C3%A9tica >> https://pt.wikipedia.org/wiki/NC_%28complexidade%29 >> https://pt.wikipedia.org/wiki/Diofanto >> https://pt.wikipedia.org/wiki/Redutibilidade >> https://pt.wikipedia.org/wiki/Hierarquia_Analítica >> https://pt.wikipedia.org/wiki/Teorema_de_McNaughton >> https://pt.wikipedia.org/wiki/D%C3%A9nes_K%C3%B6nig >> >> >> *Internet, Empreendedorismo e o Vale do Silício* >> https://pt.wikipedia.org/wiki/Y_Combinator_(companhia) >> https://pt.wikipedia.org/wiki/VeloCity >> https://pt.wikipedia.org/wiki/Lean_Canvas >> https://pt.wikipedia.org/wiki/O_Triunfo_dos_Nerds >> https://pt.wikipedia.org/wiki/Empreendedorismo_para_o_Desenvolvimento_Sustent%C3%A1vel_no_Brasil_e_o_Papel_do_Governo >> http://pt.wikipedia.org/wiki/Teste_A/B >> https://pt.wikipedia.org/wiki/AARRR >> https://pt.wikipedia.org/wiki/CollegeHumor >> https://pt.wikipedia.org/wiki/Educa%C3%A7%C3%A3o_empreendedora >> >> *Tecnologia e Convivência* >> http://pt.wikipedia.org/wiki/Big_data_na_educação >> https://pt.wikipedia.org/wiki/Wikip%C3%A9dia:CONCEITUA%C3%87%C3%83O_DOS_MODELOS_DE_NEG%C3%93CIO_OCEANO_AZUL,_GR%C3%81TIS_E_CALDA_LONGA >> https://pt.wikipedia.org/wiki/Games_For_Learning_Institute >> https://pt.wikipedia.org/wiki/Quest_to_Learn >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
-- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
