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
