Mais uma forma de melhorar as aulas
Esta mensagem postada pelo Ruy na lista da SBC mostra mais uma forma de estimularmos nossos alunos a terem uma ação mais participativa nas aulas e, além disto, contribuir socialmente. Um bom exemplo.
Aqui vão alguns verbetes da Wikipédia em português produzidos ou ampliados por alunos do Centro de Informática da UFPE em 2011.2.
Ruy Ruy de Queiroz
—-
Teoria da Computação:
http://pt.wikipedia.org/wiki/Problema_da_parada
http://pt.wikipedia.org/wiki/P-completo
http://pt.wikipedia.org/wiki/Lema_do_bombeamento_para_linguagens_de_livre-contexto
http://pt.wikipedia.org/wiki/NP-completo
http://pt.wikipedia.org/wiki/Aut%C3%B4mato_finito_alternado
http://pt.wikipedia.org/wiki/Linguagem_regular
http://pt.wikipedia.org/wiki/NP-f%C3%A1cil
http://pt.wikipedia.org/wiki/NP-equivalente
http://pt.wikipedia.org/wiki/Conjunto_de_v%C3%A9rtices_de_retroalimenta%C3%A7%C3%A3o
http://pt.wikipedia.org/wiki/Poli-%C3%81rvore
http://pt.wikipedia.org/wiki/Problema_da_soma_dos_subconjuntos
http://pt.wikipedia.org/wiki/Busca_por_for%C3%A7a_bruta
http://pt.wikipedia.org/wiki/BPP
http://pt.wikipedia.org/wiki/Gram%C3%A1tica_livre_de_contexto
http://pt.wikipedia.org/wiki/Problema_da_parada
http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Post-Turing#1936:_Modelo_de_Post
http://pt.wikipedia.org/wiki/P_(complexidade)
http://pt.wikipedia.org/wiki/M%C3%A1quina_de_estados_finitos
http://pt.wikipedia.org/wiki/Problema_da_parada
http://pt.wikipedia.org/wiki/Linguagem_recursivamente_enumer%C3%A1vel
http://pt.wikipedia.org/wiki/Minimiza%C3%A7%C3%A3o_de_AFD
http://pt.wikipedia.org/wiki/Teorema_de_Immerman%E2%80%93
http://pt.wikipedia.org/wiki/Hierarquia_de_crescimento_r%C3%A1pido
http://pt.wikipedia.org/wiki/Aut%C3%B3mato_de_%C3%A1rvore
http://pt.wikipedia.org/wiki/Algoritmo_Super-Recursivo
http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_%CE%BC-recursiva
http://pt.wikipedia.org/wiki/Teorema_PCP
http://pt.wikipedia.org/wiki/Problema_computacional
http://pt.wikipedia.org/wiki/Constru%C3%A7%C3%A3o_do_conjunto_das_partes
http://pt.wikipedia.org/wiki/Problema_do_clique
http://pt.wikipedia.org/wiki/M%C3%A1quina_Or%C3%A1culo
http://pt.wikipedia.org/wiki/Hist%C3%B3ria_de_computa%C3%A7%C3%A3o
http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_que_sempre_para
http://pt.wikipedia.org/wiki/Gram%C3%A1tica_formal
http://pt.wikipedia.org/wiki/Gram%C3%A1tica_sens%C3%ADvel_ao_contexto
http://pt.wikipedia.org/wiki/Teoria_da_Computabilidade
http://pt.wikipedia.org/wiki/Linguagem_formal
http://pt.wikipedia.org/wiki/Aut%C3%B4mato_linearmente_limitado
http://pt.wikipedia.org/wiki/Hist%C3%B3rico_de_computa%C3%A7%C3%A3o
http://pt.wikipedia.org/wiki/Problema_da_correspond%C3%AAncia_de_Post
http://pt.wikipedia.org/wiki/Linguagem_Omega
http://pt.wikipedia.org/wiki/Linguagem_Omega-regular
http://pt.wikipedia.org/wiki/Gram%C3%A1tica_livre_de_contexto_estoc%C3%A1stica
http://pt.wikipedia.org/wiki/Teoria_da_complexidade
http://pt.wikipedia.org/wiki/Co-NP
http://pt.wikipedia.org/wiki/Co-NP-completo
http://pt.wikipedia.org/wiki/A_quest%C3%A3o_P_versus_NP
http://pt.wikipedia.org/wiki/Conjunto_recursivo
http://pt.wikipedia.org/wiki/Problema_indecid%C3%ADvel
http://pt.wikipedia.org/wiki/Dtime
http://pt.wikipedia.org/wiki/Exptime
http://pt.wikipedia.org/wiki/Turing_Completude
http://pt.wikipedia.org/wiki/N%C3%BAmero_comput%C3%A1vel
http://pt.wikipedia.org/wiki/Conectividade_st
http://pt.wikipedia.org/wiki/Redu%C3%A7%C3%A3o_por_mapeamento
Lógica:
http://pt.wikipedia.org/wiki/Gottlob_Frege
Lambda-Cálculo:
http://pt.wikipedia.org/wiki/Forma_normal_beta
http://pt.wikipedia.org/wiki/C%C3%A1lculo_lambda_simplesmente_tipado
Segurança:
http://pt.wikipedia.org/wiki/Cross-site_request_forgery
http://pt.wikipedia.org/wiki/Computa%C3%A7%C3%A3o_Confi%C3%A1vel
http://pt.wikipedia.org/wiki/HTTPS
http://pt.wikipedia.org/wiki/MAC_times
http://pt.wikipedia.org/wiki/Buffer_overflow
http://pt.wikipedia.org/wiki/DNS_cache_poisoning

Seria mais bacana ainda se os alunos fossem incentivados (com notas, talvez) a incrementar ainda mais esses e outros verbetes (e mostrando um log e um diff pra atestar o que ele postou, ou algo do genero).
Ou ainda que o aluno mostre commits que faz/tem-feito/fez para projetos de Software Livre e ganhe o mesmo incentivo do professor (substituindo um trabalho final, talvez).
Gostaria de saber o que levou os alunos da UFPE a ter essa iniciativa (e como o(s) professor(es) de lá premiaram isso)