trabalhos de criação de conteúdo na Wikipédia
Joao Marcos
REFERÊNCIA.]
PessoALL:
Eis os verbetes Wikipédia pelos quais cada um de vocês está responsável:
Cléverton
* ASF+SDF Meta Environment - Wikipedia -
http://en.wikipedia.org/wiki/ASF%2BSDF_Meta_Environment
Referências:
http://www.meta-environment.org/
http://www.program-transformation.org/
* Syntax Definition Formalism - Wikipedia -
http://en.wikipedia.org/wiki/Syntax_Definition_Formalism
* Parse tree - Wikipedia - http://en.wikipedia.org/wiki/Parse_tree
* Scannerless parsing - Wikipedia -
http://en.wikipedia.org/wiki/Scannerless_parsing
* GLR parser - Wikipedia - http://en.wikipedia.org/wiki/GLR_parser
Plácido
* Evaluation strategy - Wikipedia -
http://en.wikipedia.org/wiki/Evaluation_strategy
* Reduction strategy - Wikipedia -
http://en.wikipedia.org/wiki/Reduction_strategy
* Reduction system - Wikipedia - http://en.wikipedia.org/wiki/Reduction_system
* Tom (pattern matching language) - Wikipedia -
http://en.wikipedia.org/wiki/Tom_%28pattern_matching_language%29
André
* Post canonical system - Wikipedia -
http://en.wikipedia.org/wiki/Post_canonical_system
* MU puzzle - Wikipedia - http://en.wikipedia.org/wiki/MU_puzzle
* Knuth-Bendix completion algorithm - Wikipedia -
http://en.wikipedia.org/wiki/Knuth-Bendix_completion_algorithm
Antonino
* Confluence (term rewriting) - Wikipedia -
http://en.wikipedia.org/wiki/Confluence_%28term_rewriting%29
* Newman's lemma - Wikipedia - http://en.wikipedia.org/wiki/Newman%27s_lemma
* Church-Rosser theorem - Wikipedia -
http://en.wikipedia.org/wiki/Church%E2%80%93Rosser_theorem
* Critical pair - Wikipedia - http://en.wikipedia.org/wiki/Critical_pair
* Normal form (term rewriting) - Wikipedia -
http://en.wikipedia.org/wiki/Normal_form_%28term_rewriting%29
Dalmo
* Rewriting - Wikipedia - http://en.wikipedia.org/wiki/Rewriting
* String rewriting - Wikipedia - http://en.wikipedia.org/wiki/String_rewriting
* Regulated rewriting - Wikipedia -
http://en.wikipedia.org/wiki/Regulated_rewriting
Haniel
* Graph rewriting - Wikipedia - http://en.wikipedia.org/wiki/Graph_rewriting
* Subgraph isomorphism problem -
http://en.wikipedia.org/wiki/Subgraph_isomorphism_problem
* Graph homomorphism - http://en.wikipedia.org/wiki/Graph_homomorphism
* Multigraph - http://en.wikipedia.org/wiki/Labeled_multigraph
Os trabalhos deverão ser enviados por e-mail para ambos os professores
da disciplina, acompanhados de breve relatório, em um arquivo zipado
que deverá conter:
(A) arquivos antigos da Wikipédia, antes da intervenção de vocês
(quando existirem)
(B) arquivos novos, que vocês colocaram no ar ao longo do presente trabalho
(C) listagem das fontes bibliográficas usadas na pesquisa,
explicitando o-que-foi-usado-onde
(D) descrição dos principais links adicionados para dentro da
Wikipédia a partir dos verbetes modificados ou criados, e dos
principais links internos redirigidos de outros verbetes já existentes
para este mesmo verbete recém modificado
(E) outros comentários que acreditarem oportunos
Este arquivo deverá ser enviado até o dia 31 de outubro de 2008.
Perderão pontos, de cara:
(01) traduções ou textos escritos em mau português
(02) verbetes cujo texto não demonstre boa compreensão teórica do seu conteúdo
(03) verbetes não "wikificados"
Premia-se:
(04) a originalidade e a correção dos trabalhos produzidos (sem comentários)
(05) a conexão dos verbetes trabalhados com outros já existentes ou
por existir (links internos do tipo [[aaa|bbb]]), e com as categorias
gerais da Wikipédia, tais como "Categoria:Lógica"
(http://pt.wikipedia.org/wiki/Categoria:L%C3%B3gica),
"Categoria:Teoria da Computação", "Categoria:Teoria dos Conjuntos",
"Categoria:Linguagens de Programação" etc, conforme o caso
(06) a ligação destes verbetes com links externos para outras fontes e
trabalhos da internet lusófona (seções do tipo "Ver também")
(07) a beleza geral dos verbetes produzidos, e principalmente das
fórmulas matemáticas digitadas (confiram por exemplo o belo verbete
http://pt.wikipedia.org/wiki/Tr%C3%A2ngulo)
(08) a busca de outras fontes para além da Wikipedia anglófona
(09) a conexão com verbetes em "outras línguas", no projeto mais geral
da Wikipédia (último quadrado na margem esquerda); na versão anglófona
também deve ser estabelecida a conexão com o novo/reformado verbete
lusófono
(10) a criação de diferentes páginas de "redirecionamento" para os
termos criados/modificados, levando em consideração sinônimos e
maiúsculas/minúsculas (exemplo:
http://pt.wikipedia.org/w/index.php?title=Forma_Normal_Conjuntiva&redirect=no)
Para além da Wikipedia anglófona, algumas fontes importantes de
material on-line são os sites:
WolframMathWorld - http://mathworld.wolfram.com/topics/Logic.html
PlanetMath - http://planetmath.org/
Free On-Line Dictionary of Computing - http://foldoc.org/
Sempre vale a pena fazer uma busca em todos estes sites pelos termos
de interesse. Exemplos:
http://en.wikipedia.org/wiki/First-order_logic
http://mathworld.wolfram.com/First-OrderLogic.html
http://planetmath.org/encyclopedia/FirstOrderLogic.html
Vocês notarão que os conteúdos destes sites costumam ser
complementares e não inteiramente coincidentes.
Um recurso interessante para todos é o seguinte Wikilivro de Lógica
que está presentemente sendo redigido por um estudante de lá de SP:
http://pt.wikibooks.org/wiki/L%C3%B3gica
Se forem usar algum material de algum livro, contudo, NÃO SE ESQUEÇAM
de citá-lo como uma das "Referências" bibliográficas. A política de
citação e utilização de referências de um verbete Wikipédia é a mesma
de qualquer trabalho científico: todos gostam de ver o seu trabalho
reconhecido, e plágios não são tolerados.
Vejam:
http://en.wikipedia.org/wiki/Wikipedia:Citing_sources
http://pt.wikipedia.org/wiki/Wikipedia:Cite_as_fontes
Para a digitação das fórmulas matemáticas, é importantíssimo visitar:
http://en.wikipedia.org/wiki/Help:Formula
Outros links úteis, na mesma direção:
LaTeX commands and HTML entities
http://w2.syronex.com/jmr/tex/latex-symbols
Selections from the "Comprehensive LATEX symbol list"
http://moscova.inria.fr/~maranget/hevea/examples/sym.html
Finalmente, reforço que os artigos devem ser *bem escritos*. Vejam:
http://pt.wikipedia.org/wiki/Ajuda:Como_escrever_um_bom_artigo
Há um bom tutorial para novatos wikipedistas em:
http://pt.wikipedia.org/wiki/Wikipedia:Tutorial
Sempre vale a pena lembrar que algumas "Normas de conduta" devem ser
observadas pelos wikipedistas:
http://pt.wikipedia.org/wiki/Wikipedia:Normas_de_conduta
Nos endereços abaixo vocês podem encontrar listas de verbetes criados
ou modificados por colegas de vocês em semestres anteriores.
http://www.dimap.ufrn.br/pipermail/logica-l/2007-February/001032.html
http://www.dimap.ufrn.br/pipermail/logica-l/2008-July/002454.html
É lógico que espero de vocês um resultado melhor!
Entre os objetivos mais imediatos e frutíferos dos trabalhos de
criação de conteúdo para a Wikipédia, vale a pena mencionar:
(i) a criação de conteúdo útil, livre, colaborativo e não-alienado,
que continuará disponível e vivo muito depois que esta disciplina
tiver se encerrado
(ii) a oportunidade de explorar em detalhe e aprender mais sobre
algum tópico estreitamente relacionado com o tema desta disciplina
(iii) a oportunidade de praticar a capacidade de síntese e exposição
cientificamente informada e matematicamente correta, uma das
habilidades fundamentais a serem desenvolvidas na educação superior
(iv) o estímulo à formação de uma nova geração de wikipedistas
É isso. Mãos à obra, e BOM TRABALHO!
Joao Marcos
PS1: Todos os membros de cada grupo serão considerados igualmente
responsáveis por todos os verbetes escritos/modificados, no momento da
avaliação.
PS2: Para melhor controle de alterações e contenção de vandalismo da
Wikipédia (que já tem ocorrido desde o servidor do DIMAp),
recomenda-se que todos se registrem na Wikipédia (leva um minutinho
só) e efetuem as modificações nos verbetes apenas a partir de suas
contas pessoais.
PS3: Não serão avaliados, quando chegar o momento, trabalhos que não
tenham sido disponibilizados diretamente na Wikipédia lusófona.
--
My homepage:
http://sequiturquodlibet.googlepages.com/