[Wikimedia Brasil] Fwd: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.2
-- Forwarded message - From: Ruy de Queiroz r...@cin.ufpe.br Date: seg, 2 de mar de 2015 19:19 Subject: Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2014.2 To: Seguem alguns verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2014.2: *Traduções**:* *Lógica* Contradomínio (matemática) https://pt.wikipedia.org/wiki/Contradom%C3%ADnio_(matemática) Completude funcional https://pt.wikipedia.org/wiki/Completude_funcional Regras de tradução lógica https://pt.wikipedia.org/wiki/Regras_de_tradução_lógica Completude funcional https://pt.wikipedia.org/wiki/Completude_funcional Herbrandização https://pt.wikipedia.org/wiki/Herbrandização Teoria dos Conjuntos http://pt.wikipedia.org/wiki/Teoria_dos_Conjuntos_Kripke-Platek Kripke-Platek http://pt.wikipedia.org/wiki/Teoria_dos_Conjuntos_Kripke-Platek Axioma de Martin https://pt.wikipedia.org/wiki/Axioma_de_Martin Propriedade da Normalização (reescrita abstrata) https://pt.wikipedia.org/wiki/Propriedade_da_Normalização_(reescrita_abstrata) Consistência https://pt.wikipedia.org/wiki/Consistência Lógica de segunda ordem monádica https://pt.wikipedia.org/wiki/Lógica_de_segunda_ordem_monádica Quantificação Plural http://pt.wikipedia.org/wiki/Quantificação_Plural Lógica de dependência http://pt.wikipedia.org/wiki/Lógica_de_dependência Teoria dos conjuntos de http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos_de_Tarski-Grothendieck Tarski-Grothendieck http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos_de_Tarski-Grothendieck Lógica de classe https://pt.wikipedia.org/wiki/Lógica_de_classe Coleção (matemática) https://pt.wikipedia.org/wiki/Coleção_(matemática) Propriedade do modelo finito https://pt.wikipedia.org/wiki/Propriedade_do_modelo_finito Eliminação de Quantificadores https://pt.wikipedia.org/wiki/Eliminação_de_Quantificadores Posto de quantificadores https://pt.wikipedia.org/wiki/Posto_de_quantificadores Valor de verdade https://pt.wikipedia.org/wiki/Valor_de_verdade Princípio da não contradição http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_não_contradição Indiscerníveis https://pt.wikipedia.org/wiki/Indiscern%C3%ADveis Princípio da instanciação https://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_instancia%C3%A7%C3%A3o Meia verdade https://pt.wikipedia.org/wiki/Meia_verdade Cálculo formal https://pt.wikipedia.org/wiki/Cálculo_formal Teorema da consistência conjunta de Robinson https://pt.wikipedia.org/wiki/Teorema_da_consistência_conjunta_de_Robinson Conjunto definível https://pt.wikipedia.org/wiki/Conjunto_defin%C3%ADvel *Teoria da Computação* Problema da altura da estrela http://pt.wikipedia.org/wiki/Problema_da_altura_da_estrela Protocolo de http://pt.wikipedia.org/wiki/Protocolo_de_Arthur-Merlin Arthur-Merlin http://pt.wikipedia.org/wiki/Protocolo_de_Arthur-Merlin Redução http://pt.wikipedia.org/wiki/Redução_PTASPTAS http://pt.wikipedia.org/wiki/Redução_PTAS Autômato Celular de von Neumann http://pt.wikipedia.org/wiki/Autômato_celular_de_von_Neumann Hierarquia analítica http://pt.wikipedia.org/wiki/Hierarquia_anal%C3%ADtica Operações de cadeias http://pt.wikipedia.org/wiki/Operações_de_cadeias Teorema de http://pt.wikipedia.org/wiki/Teorema_de_Krohn-Rhodes Krohn-Rhodes http://pt.wikipedia.org/wiki/Teorema_de_Krohn-Rhodes Lógica Sequencial http://pt.wikipedia.org/wiki/Lógica_sequencial Lógica de Árvore de Computação https://pt.wikipedia.org/wiki/L%C3%B3gica_de_%C3%81rvore_de_Computa%C3%A7%C3%A3o Gramática de árvore regular http://pt.wikipedia.org/wiki/Gramática_de_árvore_regular Máquina de registradores https://pt.wikipedia.org/wiki/Máquina_de_registradores Linguagem Indexada http://pt.wikipedia.org/wiki/Linguagem_indexada Árvore (teoria dos conjuntos) https://pt.wikipedia.org/wiki/Árvore_(teoria_dos_conjuntos) Lógica https://pt.wikipedia.org/wiki/Lógica_polissortidapolissortida https://pt.wikipedia.org/wiki/Lógica_polissortida Ciência da computação teórica http://pt.wikipedia.org/wiki/Ciência_da_computação_teórica Gramática http://pt.wikiversity.org/wiki/Gramática_linearLinear http://pt.wikiversity.org/wiki/Gramática_linear Teorema da http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Enumeracao http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger de Chomsky - http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Schützenberger http://pt.wikipedia.org/wiki/Teorema_da_enumeração_de_Chomsky_-_Schützenberger Forma normal de Kuroda http://pt.wikipedia.org/wiki/Forma_normal_de_Kuroda Redução por tabela verdade http://pt.wikipedia.org/wiki/Redução_por_tabela_verdade Teoria algorítmica da informação http://pt.wikipedia.org/wiki/Teoria_Algor%C3%ADtmica_da_Informação Máquina de Post http://pt.wikipedia.org/wiki/Máquina_de_Post David Hilbert Complexidade de circuitos http://pt.wikipedia.org/wiki/Complexidade_de_circuitos Vizinhança de Von Neumann http://pt.wikipedia.org/wiki/Vizinhança_de_von_Neumann Grade
Re: [Wikimedia Brasil] Editathon das minas 2.0
Ver também: http://expresso.sapo.pt/mulheres-para-editar-a-wikipedia-procuram-se=f912805 http://revistagalileu.globo.com/colunistas/luciana-galastri/noticia/2014/04/edit-thon-das-minas-mulheres-gerando-conhecimento-sobre-mulheres.html *Q: Why is this email five sentences or less?A: http://five.sentenc.es http://five.sentenc.es* Em 2 de março de 2015 22:23, Raylton P. Sousa raylton.so...@gmail.com escreveu: Quero fazer um evento focado na lacuna de gênero na wikipédia (e wikis irmãs), aqui em Salvador A ideia é começar a organizar agora e que o evento seja no dia 26 de abril. Precisamos de: [ ]Alguns notebooks funcionais emprestados, apenas no dia do evento (uns 5) [ ]Mais alguns puffs (uns 2). [ ]Precisamos também de coffeebreak [ ]Material panfletario impresso. [ ]Precisamos também de uma mulher que esteja disposta a assumir a responsabilidade junto comigo (pois um evento de emponderamento feminino precisa de uma mulher em posição de liderança) [ ]4 pessoas dispostas a serem facilitadoras. Não tem problema não saber mexer na wiki porque podemos fazer reuniões de capacitação previamente. A principio o evento será feito no Raul Hacker Club com 20-25 vagas (todos bem juntinhos com calor humano). Mas caso exista muita demanda podemos pensar em outro lugar. Como o Centro de Promoção e Defesa dos Direitos LGBT da Bahia que é ali pertinho também (na almirante barroso). A etapa de planejamento começa agora e tudo deve estar pronto entre os dias 14 e 21 de março para iniciarmos a divulgação. As voluntárias da Wikimedia podem pedir financiamento e vir nos ajudar por qui. Serão muito bem-vindas. Por favor se puderem ajudar de alguma forma me gritem. Carinho! ___ WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l
Re: [Wikimedia Brasil] Editathon das minas 2.0
Poderíamos também fazer novamente um em São Paulo, o primeiro foi uma boa experiência. E de repente, por que não, pensar em algo simultâneo em várias cidades brasileiras. Em 2 de março de 2015 22:25, Raylton P. Sousa raylton.so...@gmail.com escreveu: Ver também: http://expresso.sapo.pt/mulheres-para-editar-a-wikipedia-procuram-se=f912805 http://revistagalileu.globo.com/colunistas/luciana-galastri/noticia/2014/04/edit-thon-das-minas-mulheres-gerando-conhecimento-sobre-mulheres.html *Q: Why is this email five sentences or less?A: http://five.sentenc.es http://five.sentenc.es* Em 2 de março de 2015 22:23, Raylton P. Sousa raylton.so...@gmail.com escreveu: Quero fazer um evento focado na lacuna de gênero na wikipédia (e wikis irmãs), aqui em Salvador A ideia é começar a organizar agora e que o evento seja no dia 26 de abril. Precisamos de: [ ]Alguns notebooks funcionais emprestados, apenas no dia do evento (uns 5) [ ]Mais alguns puffs (uns 2). [ ]Precisamos também de coffeebreak [ ]Material panfletario impresso. [ ]Precisamos também de uma mulher que esteja disposta a assumir a responsabilidade junto comigo (pois um evento de emponderamento feminino precisa de uma mulher em posição de liderança) [ ]4 pessoas dispostas a serem facilitadoras. Não tem problema não saber mexer na wiki porque podemos fazer reuniões de capacitação previamente. A principio o evento será feito no Raul Hacker Club com 20-25 vagas (todos bem juntinhos com calor humano). Mas caso exista muita demanda podemos pensar em outro lugar. Como o Centro de Promoção e Defesa dos Direitos LGBT da Bahia que é ali pertinho também (na almirante barroso). A etapa de planejamento começa agora e tudo deve estar pronto entre os dias 14 e 21 de março para iniciarmos a divulgação. As voluntárias da Wikimedia podem pedir financiamento e vir nos ajudar por qui. Serão muito bem-vindas. Por favor se puderem ajudar de alguma forma me gritem. Carinho! ___ WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l -- Victor de Andrade Lopes Jornalista Membro do Grupo de Usuários Wikimedia no Brasil Twitter https://twitter.com/victordalopes | Blog http://sinfoniadeideias.wordpress.com | (11) 99646-6760 ___ WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l
[Wikimedia Brasil] Editathon das minas 2.0
Quero fazer um evento focado na lacuna de gênero na wikipédia (e wikis irmãs), aqui em Salvador A ideia é começar a organizar agora e que o evento seja no dia 26 de abril. Precisamos de: [ ]Alguns notebooks funcionais emprestados, apenas no dia do evento (uns 5) [ ]Mais alguns puffs (uns 2). [ ]Precisamos também de coffeebreak [ ]Material panfletario impresso. [ ]Precisamos também de uma mulher que esteja disposta a assumir a responsabilidade junto comigo (pois um evento de emponderamento feminino precisa de uma mulher em posição de liderança) [ ]4 pessoas dispostas a serem facilitadoras. Não tem problema não saber mexer na wiki porque podemos fazer reuniões de capacitação previamente. A principio o evento será feito no Raul Hacker Club com 20-25 vagas (todos bem juntinhos com calor humano). Mas caso exista muita demanda podemos pensar em outro lugar. Como o Centro de Promoção e Defesa dos Direitos LGBT da Bahia que é ali pertinho também (na almirante barroso). A etapa de planejamento começa agora e tudo deve estar pronto entre os dias 14 e 21 de março para iniciarmos a divulgação. As voluntárias da Wikimedia podem pedir financiamento e vir nos ajudar por qui. Serão muito bem-vindas. Por favor se puderem ajudar de alguma forma me gritem. Carinho! ___ WikimediaBR-l mailing list WikimediaBR-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikimediabr-l
