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 Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
