Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2013.2:
*Traduções:* *Lógica* <https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica> Lógica categórica <https://pt.wikipedia.org/wiki/Realizabilidade> Realizabilidade <https://pt.wikipedia.org/wiki/Realizabilidade> Teoremas da incompletude de Gödel<https://pt.wikipedia.org/wiki/Teoremas_da_incompletude_de_Gödel> Teorema da indefinibilidade de Tarski<https://pt.wikipedia.org/wiki/Teorema_da_indefinibilidade_de_Tarski> Lema da diagonal <https://pt.wikipedia.org/wiki/Lema_da_Diagonal> Jogo de Ehrenfeucht-Fraïssé<https://pt.wikipedia.org/wiki/Jogo_de_Ehrenfeucht-Fraïssé> Many-sorted logic <https://pt.wikipedia.org/wiki/Many-sorted_logic> Sentença aberta <https://pt.wikipedia.org/wiki/Sentença_aberta> Notação infixa <https://pt.wikipedia.org/wiki/Notação_infixa> Modus ponens <https://pt.wikipedia.org/wiki/Modus_ponens> Lógica autoepistêmica <https://pt.wikipedia.org/wiki/Lógica_autoepistêmica> Lógica Default <https://pt.wikipedia.org/wiki/Lógica_Default> Lógica probabilística<https://pt.wikipedia.org/wiki/Lógica_probabil%C3%ADstica> Contradição <https://pt.wikipedia.org/wiki/Contradição> Teoria das descrições <https://pt.wikipedia.org/wiki/Teoria_das_Descrições> Giuseppe Peano <https://pt.wikipedia.org/wiki/Giuseppe_Peano> Dialetheismo <https://pt.wikipedia.org/wiki/Dialetheismo> Absorção (lógica) <https://pt.wikipedia.org/wiki/Absorção_%28lógica%29> Dilema construtivo <https://pt.wikipedia.org/wiki/Dilema_construtivo> Semântica de modelo estável<https://pt.wikipedia.org/wiki/Semântica_de_modelo_estável> Inferência incerta <https://pt.wikipedia.org/wiki/Inferência_Incerta> Lógica intermediária <http://pt.wikipedia.org/wiki/Lógica_intermediária> Lógica Temporal <https://pt.wikipedia.org/wiki/Lógica_Temporal> Lógica subjetiva <https://pt.wikipedia.org/wiki/Lógica_subjetiva> Lógica temporal de ações<https://pt.wikipedia.org/wiki/Lógica_temporal_de_ações> Fundamentos da matemática<https://pt.wikipedia.org/wiki/Fundamentos_da_matemática> Falácia do apostador <https://pt.wikipedia.org/wiki/Falácia_do_apostador> Lógica Linear <https://pt.wikipedia.org/wiki/Lógica_Linear> Lógica dinâmica <https://pt.wikipedia.org/wiki/Lógica_Dinâmica> Teoria completa <https://pt.wikipedia.org/wiki/Teoria_Completa> Lógica em ciência da computação<https://pt.wikipedia.org/wiki/Lógica_em_ciência_da_computação> *Teoria da Computação* Computabilidade <http://pt.wikipedia.org/wiki/Computabilidade> *Inéditos:* *Internet, Empreendedorismo e o Vale do Silício* Silicon Fen <http://pt.wikipedia.org/wiki/Silicon_Fen> Produto viável mínimo<https://pt.wikipedia.org/wiki/Produto_vi%C3%A1vel_m%C3%ADnimo> Nerds 2.0.1: A Brief History of the Internet<https://pt.wikipedia.org/wiki/Nerds_2.0.1> Associação Nacional de Capital de Ventura<http://pt.wikipedia.org/wiki/Associa%C3%A7%C3%A3o_Nacional_de_Capital_de_Ventura_(NVCA)> <https://pt.wikipedia.org/wiki/Educa%C3%A7%C3%A3o_empreendedora> *Tecnologia e Convivência* Lei de acesso à informação<https://pt.wikipedia.org/wiki/Lei_de_acesso_%C3%A0_informa%C3%A7%C3%A3o> Code: Version 2.0 <https://pt.wikipedia.org/wiki/Code:_Version_2.0> _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
