Eduardo. ;-) Eu acho um horror você denegrir a culinária e a cultura nacional, chamando de aipim o que mereceria ser chamado de biguimequi.
Att On Fri, Apr 11, 2025 at 12:38 PM Eduardo Ochs <[email protected]> wrote: > Eu costumava achar que os meus alunos de Cálculo 2 - que são do curso > de Engenharia de Produção - eram infinitamente piores do que os de > vocês... > > <rambling mode on> > > Eu comecei esse semestre dizendo que um dos nossos objetivos é > aprender a fazer contas sem aipins, onde "o" aipim é essa fórmula > daqui, > > [Aipim] = (sqrt(a^2+b^2) = a+b) > > e "aipins" vai ser o termo genérico pra fórmulas que não são sempre > verdadeiras... e eu vou usar o termo "mangas" pra me referir a > palavras que têm vários sentidos totalmente diferentes. As duas mangas > mais óbvias são o "=" e o "->", mas "justificativa" também é uma > manga... eu digo que eles têm que ser capazes de justificar cada passo > das contas deles, mas eles interpretam "justificativa" como > "justificativa no sentido do Antônio", e eles ficam tentando me > convencer de que nas matérias do Antônio eles podem fazer qualquer > besteira na prova e se eles explicarem na vista de prova o que > pensaram o Antônio dá um monte de pontos pra eles... e aí nas vistas > de prova das minhas provas eles tentam justificar uns passos deles - > tipo uns aipins - de jeitos como esse aqui: > > - Pôxa, eu aprendi isso num vídeo! > - Qual vídeo? Me manda o link? > - Eu não lembro! > > Será que o Antônio aceita esse tipo de justificativa? Será? Será? > Eu não sei! Eu não sei! > > Aí agora eu tou dizendo que "justificativa" tem vários sentidos > diferentes, e no meu curso "justificar um passo de uma conta" vai ser > no sentido "calc sem rw", não no sentido "Antônio". E eu mostro esse > exemplo aqui, adaptado de um dos manuais do Lean - screenshot > colorido: <http://anggtwu.net/IMAGES/2025-lean-marco.png> - em que o > primeiro uso do "calc" não usa o "rw" mas os outros "calc"s usam cada > vez mais features do "rw"... > > variable (a b c d e : Nat) > variable (h1 : a = b) > variable (h2 : b = c + 1) > variable (h3 : c = d) > variable (h4 : e = 1 + d) > > #check (h1 : a = b) > #check (h2 : b = c + 1) > #check (Eq.trans h1 h2 : a = c + 1) > #check (h3 : c = d) > #check (congrArg (·+1) h3 : c + 1 = d + 1) > #check (h4 : e = 1 + d) > #check (Eq.symm h4 : 1 + d = e) > > include h1 h2 h3 h4 in > theorem T1 : > a = e := calc > a = b := h1 > _ = c + 1 := h2 > _ = d + 1 := congrArg Nat.succ h3 > _ = 1 + d := Nat.add_comm d 1 > _ = e := Eq.symm h4 > > include h1 h2 h3 h4 in > theorem T2 : > a = e := calc > a = b := by rw [h1] > _ = c + 1 := by rw [h2] > _ = d + 1 := by rw [h3] > _ = 1 + d := by rw [Nat.add_comm] > _ = e := by rw [h4] > > include h1 h2 h3 h4 in > theorem T3 : > a = e := calc > a = d + 1 := by rw [h1, h2, h3] > _ = 1 + d := by rw [Nat.add_comm] > _ = e := by rw [h4] > > include h1 h2 h3 h4 in > theorem T4 : a = e := > by rw [h1, h2, h3, Nat.add_comm, h4] > > include h1 h2 h3 h4 in > theorem T5 : a = e := > by simp [h1, h2, h3, Nat.add_comm, h4] > > Eu tou usando a beça esse material aqui, > > http://anggtwu.net/LATEX/2025-1-C2-intro.pdf > > e às vezes eu descubro umas coisas fascinantes. Tipo, acabei de > descobrir que há 9 meses atrás os alunos fizeram umas reclamações > contra mim e que um mês depois essas reclamações viraram um ofício... > e eu só soube da existência desse ofício há um mês atrás e só consegui > ter acesso a ele na semana passada, e um dos itens dele diz isso aqui: > > 4) Metodologia de ensino baseada em repetição ("Integre como um > macaco") e tentativa e erro, sem desenvolvimento de pensamento > crítico. Essa abordagem vai de encontro ao perfil profissional do > egresso em Engenharia de Produção da UFF, que tem como principais > características: > > I - ter visão holística e humanista, ser crítico, reflexivo, > criativo, cooperativo e ético e com forte formação técnica; > > II - estar apto a pesquisar, desenvolver, adaptar e utilizar > novas tecnologias, com atuação inovadora e empreendedora; > > III - ser capaz de reconhecer as necessidades dos usuários, > formular, analisar e resolver, de forma criativa, os problemas de > Engenharia; > > IV - adotar perspectivas multidisciplinares e transdisciplinares > em sua prática; > > V - considerar os aspectos globais, políticos, econômicos, > sociais, ambientais, culturais e de segurança e saúde no > trabalho; > > Acho que quando os alunos fizeram essa reclamação a coordenação > resolveu se livrar do problema simplesmente passando a reclamação > adiante e botando ela no ofício... mas pega meio mal, né, porque agora > eu arranjei teorias novas sobre porque é que tantos alunos acham que > fazer contas é desnecessário e humilhante... > > Btw, o macaco é uma referência a isso aqui, > > http://anggtwu.net/mathologer-calculus-easy.html#15:12 > http://anggtwu.net/mathologer-calculus-easy.html#18:18 > > e tem mais historinhas aqui: > > http://anggtwu.net/2025.1-C2.html#o-puro-e-um-lixo > > <rambling mode off> > > Compartilhem mais coisas de vocês, por favor! > [[]], > Eduardo > > > On Fri, 11 Apr 2025 at 07:57, Joao Marcos <[email protected]> wrote: > >> >> Em um tópico tristemente relacionado, neste semestre me dei conta de >> que há hoje em dia alunos que simplesmente já não são mais capazes de >> fazer qualquer coisa diferente de papagaiar qualquer coisa que o >> ChatGPT lhes tenha soprado ao ouvido, em uma alucinação qualquer. Num >> curso de Lógica o resultado disto é simplesmente assustador. >> >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hrof-T2Kc%2BUod6NM_UMCdWTvMOPVBG%3Dv-041rT8%2BfRCA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hrof-T2Kc%2BUod6NM_UMCdWTvMOPVBG%3Dv-041rT8%2BfRCA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME-USP http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1z7PuBSAWr2xAws%3DVn2u2xt00fX-UjB%2B0cbi8cV2bN0Q%40mail.gmail.com.
