[Logica-l] Adicionando conteúdo relacionado à Lógica à Wikipédia lusófona

Joao Marcos

unread,

Feb 1, 2007, 4:53:35 PM2/1/07

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Saudações Lógicas!

Gostaria de relatar aqui brevemente uma experiência bem-sucedida de
ensino de Lógica que realizei no último semestre. Aqui na UFRN, assim
como em muitos outros sítios, o índice de aprovação dos alunos de
computação em matérias relacionadas a Lógica e disciplinas
relacionadas nunca foi muito generoso. Uma das dificuldades
renitentes está na dificuldade de envolver os alunos com o tema, que
não é necessariamente fácil de se digerir. (Outra dificuldade está na
deficiência de formação e maturidade matemática destes mesmos alunos,
mas não vou discutir isto aqui.) Tenho tentado reverter este quadro,
com maior ou menor sucesso, experimentando com diversas técnicas de
ensino e de avaliação, sem necessariamente facilitar a aprovação de
alunos que não tenham se empenhado razoavelmente em aprender o
conteúdo correspondente.

Uma idéia que me pareceu ter tido um resultado bastante satisfatório
foi a seguinte: solicitar aos alunos que apresentassem trabalhos
adicionais de fim de semestre (para além das avaliações presenciais de
costume), nos quais eles deveriam mostrar compreensão dos temas
estudados através da produção de verbetes para o enriquecimento da
Wikipédia lusófona. Na maior parte dos casos, claro, os alunos
partiram do conteúdo já existente em outras línguas (principalmente o
conteúdo da rica Wikipedia anglófona). É claro contudo que não
bastava produzir meramente uma tradução literal do conteúdo já
existente, até porque dificilmente se deve esperar de alunos de
computação brasileiros maturidade ou competência para uma produção
técnica deste gênero. A correção destes trabalhos, assim, levou em
consideração três pontos, avaliados em pé de igualdade:

1 - conteúdo (qualidade da tradução, quando foi o caso, e uso de
outras fontes bibliográficas on-line e off-line)

2 - wikificação (ligações internas e externas para conteúdos
adicionais, a partir da Wikipédia)

3 - compreensão teórica demonstrada dos tópicos lógicos em questão

Obviamente a correção inicial destes trabalhos me deu um trabalho
enorme, pois tive que ler tudo cuidadosamente, com a caneta vermelha
na mão, e solicitar que eles efetuassem as mudanças necessárias, antes
de dar a nota final. Como sói acontecer, alguns trabalhos resultaram
excelentes, melhores até do que os modelos anglófonos originais,
enquanto outros resultaram medíocres. Por mais que tenha me esforçado
em elevar o nível de qualidade final, a verdade é não posso me
responsabilizar inteiramente pelo resultado... Mas não faz mal, pois
o importante é que a coisa está on-line, logo ali onde qualquer um de
vocês pode mexer e melhorar!

Alguns dos bons frutos colhidos por este trabalho foram:

A - o entusiasmo com que os alunos se dedicaram a produzir conteúdo
aberto e acessível a todos, mostrando o que aprenderam de Lógica ao
longo do semestre, e tendo a chance de consolidar melhor alguns
tópicos de interesse

B - a produção de conteúdo livre e aberto que poderá ser aproveitado
por quaisquer alunos lusófonos do futuro, de todos os cantos

C - a formação de uma geração de wikipedistas, que comprovaram afinal
que a empreitada colaborativa, livre e aberta de geração de conteúdo
não é nenhum bicho de sete cabeças

Enviarei a seguir para todos uma lista dos verbetes principais criados
ou modificados pelos citados alunos entre outubro e dezembro de 2006.
Comentários sobre o conteúdo específico destes artigos não são
bem-vindos nesta lista: o fórum para tanto é a própria Wikipédia, onde
qualquer um de vocês pode abrir uma página de discussão com um simples
clique ou simplesmente avançar diretamente para a edição e a
modificação criteriosa do verbete em questão, para o proveito de
todos.

Passo a bola agora para os colegas da comunidade, e convido a todos a
colaborar nesta empreitada,
Joao Marcos

--
My homepages:
http://geocities.com/jm_logica/
http://www.dimap.ufrn.br/~jmarcos/
http://slc.math.ist.utl.pt/jmarcos.html

Joao Marcos

unread,

Feb 1, 2007, 4:54:14 PM2/1/07

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Francisco Antonio Doria

unread,

Feb 1, 2007, 5:54:34 PM2/1/07

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Primeiro, o que vocês fizeram é mais que elogiável. Não vejam como críticas contestatórias as observações abaixo.

Faltam várias coisas: máquinas de Turing, algoritmos de Markov, funções recursivas, etc. Teorema da Parada. Teorema de Rice. Teoremas de incompletude de Gödel. Prova da consistência de Gentzen. Teorema de Paris-Harrington. Complexidade computacional. Hipótese do continuum. Forcing. Teoria de Zermelo-Fraenkel. Aritmética de Peano. Etc. Hipercomputação.

(Basta, no caso, traduzir e adaptar da en.wikipedia.org na maior parte dos casos.)

_______________________________________________
Logica-l mailing list
Logi...@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Valeria...@parc.com

unread,

Feb 1, 2007, 6:37:15 PM2/1/07

to jma...@dimap.ufrn.br, logi...@dimap.ufrn.br

Muito legal o projeto! Parabens pela ideia (JM) e realizacao (todos).
Valeria

Ricardo Tassinari Pereira

unread,

Feb 1, 2007, 10:41:37 PM2/1/07

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Jõao.
Parabéns!
Além de tudo, fico feliz porque alguém do meio está se preocupando com o
conteúdo em Português da Wikipédia sobre os tópico de Lógica.
Mais uma vez, Parabéns!
Ricardo.

* Joao Marcos escreveu:

> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>

==================================================================
Dr. Ricardo Pereira Tassinari - Dpto de Filosofia - UNESP/Marília
e-mail: ricardo at cle.unicamp.br
Centro de Lógica, Epistemologia e História da Ciência (CLE)
Universidade Estadual de Campinas (UNICAMP)
Homepage: http://www.marilia.unesp.br/ricardotassinari
==================================================================

Adolfo G. S. S. Neto

unread,

Feb 2, 2007, 4:52:44 AM2/2/07

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Muito boa idéia, João Marcos.

Parabéns a você e aos seus alunos.

E quanto aos verbetes que restaram, ficam para as próximas turmas (sua e de outros)...

[]s,

Adolfo Neto

Antônio Carlos da Rocha Costa

unread,

Feb 6, 2007, 9:05:05 AM2/6/07

to Francisco Antonio Doria, logi...@dimap.ufrn.br

Alô!

Primeiro, congratulações ao João Marcos pela iniciativa. Pode dar bom
resultado, mesmo.

Depois, uma observação que me parece interessante:

Francisco Antonio Doria wrote:

> Primeiro, o que vocês fizeram é mais que elogiável. Não vejam como críticas
> contestatórias as observações abaixo.
>
> Faltam várias coisas: máquinas de Turing, algoritmos de Markov, funções
> recursivas, etc. Teorema da Parada. Teorema de Rice. Teoremas de
> incompletude de Gödel. Prova da consistência de Gentzen. Teorema de
> Paris-Harrington. Complexidade computacional. Hipótese do continuum.
> Forcing. Teoria de Zermelo-Fraenkel. Aritmética de Peano. Etc.
> Hipercomputação.

Num curso da área de Computação, esses assuntos não são incluídos
usualmente em disciplinas de "Lógica". Nesta disciplina, os conteúdos
normalmente se resumem à Lógica Proposicional e de Primeira Ordem (com
semântica, sistemas de dedução e muitas vezes fundamentos de prova
automatizada).

Os conteúdos mencionados aparecem, sim, mas em disciplinas de "Teoria
da Computação", sendo que os assuntos "Hipótese do continuum. Forcing.
Teoria de Zermelo-Fraenkel. Aritmética de Peano. Etc. Hipercomputação.",
me parece, não são considerados para inclusão em nenhuma disciplina de
cursos de Computação.

Por outro lado, nos cursos da área da Computação há normalmente uma
ênfase forte em Matemática Discreta, incluindo algumas vezes o estudo de
estruturas algébricas (que desemboca no estudo dos tipos abstratos de
dados) e Teoria dos Autômatos e Linguagens Formais.

Acho que isso indica uma diferença significativa entre o que se
espera da formação em Lógica e Álgebra de um estudante de um curso de
Computação, de Filosofia ou de Matemática.

Seria bem ilustrativo, talvez, a gente mapear aqui nesta lista as
diferenças entre os conteúdos de Lógica e Álgebra tratados nesses
diferentes cursos.

Abraços,

Rocha

>> http://www.dimap.ufrn.br/~jmarcos/ <http://www.dimap.ufrn.br/%7Ejmarcos/>

>> http://slc.math.ist.utl.pt/jmarcos.html
>> _______________________________________________
>> Logica-l mailing list
>> Logi...@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>
>

> ------------------------------------------------------------------------

>
> _______________________________________________
> Logica-l mailing list
> Logi...@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

--
Antônio Carlos da Rocha Costa
Escola de Informática
Coord. Mestrado em Ciência da Computação
Programa de Pós-graduação em Informática
Universidade Católica de Pelotas
http://ppginf.ucpel.tche.br

Francisco Antonio Doria

unread,

Feb 6, 2007, 11:29:50 AM2/6/07

to Antônio Carlos da Rocha Costa, logi...@dimap.ufrn.br

Bom, não sabia disso. Propus ontem, a pedido, um curso introdutório - bird's
eye view - de lógica, ago tipo Tópicos em Lógica Matemática, para dar no
curso de filosofia da ciência do Saul Fuchs na COPPE. Abaixo o programa:

1. Lógica matemática: uma visão geral, I. (1 semestre.)

— Computabilidade: máquinas de Turing e funções recursivas. Conjuntos
recursivos e recursivamente enumeráveis. Problema da Parada. Noções breves
sobre graus e hierarquia aritmética. A teoria T para a aritmética.

— Linguagens de primeira ordem: cálculo proposicional e cálculo de
predicados, clássicos. Aritmética de Peano. Teoria dos conjuntos de
Zermelo-Fraenkel. Teoremas de incompletude de Gödel (versão de Post para o
primeiro teorema). Teorema de Rice.

— Tópicos avançados: noções de forcing através de modelos booleanos.
Teoremas gerais de incompletude. Noções de complexidade computacional; o
problema P vs NP.

2. Lógica matemática, uma visão geral, II. (1 semestre.)

— Independência da hipótese do continuum, via construção de Scott

Reply all

Reply to author

Forward