Acho que estão todos acima concordando, então não vou acrescentar muito, exceto dar um exemplo concreto: se eu ensino em sala de aula dedução natural pelo livro do Marcelo, peço na questão dedução natural, e o estudante prefere fazer pelo método de Fitch, tudo bem pra mim. Mas se a pessoa resolver usando tabela verdade, é zero
Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br On Wed, Jul 9, 2025, 03:09 Julio Stern <[email protected]> wrote: > Car(o/a)s: > Seguem meus 2 centavos: > > Como aluno, eu Nao assistia as aulas de todos os professores, > so de alguns que, na minha opiniao, realmente valiam a pena. > > Eu tambem tinha o habito procurar um livro que me agrade > para estudar, independente do livro recomendado. > > Sempre digo para meus alunos que "Livro eh como namorada" > a que funciona comigo, pode nao funcionar com vove, e vice-versa. > > Disto se conclui que, no meu entender, Ha limites as especificidades. > > Integre "por partes" f(x) , onde f(x)=... - OK > Interprete os operadores Divergente e Rotacional no contexto do > Eletromagnetismo. - OK > Use o criterio tal para provar a convergencia da serie seguinte... - > OK > > Faca o calculo tal usando o metodo "bonitinho" que eu expliquei na aula de > 01/04 - Not OK! > > Tudo de bom, ---Julio Stern > > ------------------------------ > *From:* [email protected] <[email protected]> on behalf of > Marcelo Finger <[email protected]> > *Sent:* Monday, July 7, 2025 2:24 PM > *To:* Walter Carnielli <[email protected]> > *Cc:* Eduardo Ochs <[email protected]>; Lista acadêmica brasileira > dos profissionais e estudantes da área de LOGICA <[email protected]> > *Subject:* Re: [Logica-l] Uma pergunta sobre didática ("métodos > específicos") > > Oi Eduardo. > > Eu nunca dei aula de cálculo, mas nas minhas provas de Lógica muitas vezes > eu falo para demonstrar esse teorema pelo método da dedução natural, ou > pelo método dos tablôs analíticos. Nesses casos eu quero medir exatamente > se eles entenderam o método em questão, pois é muito difícil debater os > méritos e problemas de cada um desses métodos se eles não entendem o que > eles fazem. > > Eventualmente, eu também tenho questões do tipo: prove ou refute a > seguinte sentença lógica pelo método que achar mais conveniente. Neste > outro caso, o que está sendo medido é se ele consegue justificar de alguma > forma rigorosa a argumentação. Não há nenhum problema, pois os diferentes > métodos são parte da matéria. > > Já tive meu quinhão de reclamações esdrúxulas, mas o que é matéria eu > posso cobrar, apesar dos alunos dizerem que preferem um método A ou B. > > Imagino que em Cálculo seja parecido; se faz parte da matéria fazer uma > integração numérica pelo método de > Runge-Kutta, ou pelo método dos trapézios, cada um desses métodos pode ser > questionado explicitamente. > > []s > > > On Mon, Jul 7, 2025 at 11:05 AM Walter Carnielli <[email protected]> > wrote: > > Olá Eduardo e todas e todos, > eu dei muitas aulas de Cálculo ,1, 2, 3 topologia ,teoria de números, > algebra linear, geometra analítica e todas essas coisas. > > Há basicamente duas categorias de questões: Na primeira você quer saber > se ele(a)s sabem resolver o problema , na segunda você quer saber se > ele(a)s entendem ou sabem usar um certo método específico. > > Basta esclarecer na pergunta o que você quer, não vejo nenhuma dificuldade > muito grande nisso... > > Abs > > Walter > > ======================== > Walter Carnielli > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > > AI2- Advanced Institute for Artificial Intelligence > Blog https://waltercarnielli.com/ > > *https://www.name-coach.com/walter-carnielli > <https://www.name-coach.com/walter-carnielli>* > > Em seg., 7 de jul. de 2025 01:55, Eduardo Ochs <[email protected]> > escreveu: > > Oláááá, > > eu tenho uma pergunta séria sobre didática - mas é impossível fazer > ela sem contar algumas maluquices do meu departamento primeiro... > então deixa eu começar pelas maluquices. > > Eu dou aula de Cálculo 2 e Cálculo 3 num campus muito lixo da UFF, e > há uns dois ou três semestres atrás os alunos descobriram que quando > eles tiram notas baixas nas minhas provas eles podem fazer > "requerimentos de revisão de prova", e aí o meu departamento tem que > montar uma banca de três professores pra recorrigir as provas deles. E > aí eu vi que essas bancas ignoram todos os indícios de cola, e que > elas são formadas por colegas meus que não sabem perguntar, e quando > eles não entendem alguma questão minha ou o gabarito dela ao invés > deles me perguntarem eles inventam um jeito lá deles de corrigir ela. > > De uns tempos pra cá eu comecei a incentivar os alunos a fazerem > requerimentos de revisão de provas - as explicações estão aqui: > > http://anggtwu.net/2024-rev.html#isso-me-atrapalha > http://anggtwu.net/2025-a-banca-maluca.html > > ...e agora os meus coleguinhas estão PUUUUUTOOOOS porque na P1 de > Cálculo 2 onze alunos fizeram requerimentos de revisão de prova, e > eles tiveram que corrigir. > > Agora a pergunta séria. > > Uma das reclamações dos meus coleguinhas é essa daqui: > > http://anggtwu.net/2025-metodos-especificos.html > > Vou copiar a parte importante do e-mail: > > Eu tava relendo a transcrição da última reunião e vi as reclamações > de vocês de que na minha P1 de Cálculo 2 eu exigi que certas > questões fossem resolvidas usando certos métodos específicos. > > Todas as pessoas com as quais eu converso sobre ensino de Matemática > concordam que em certos casos é aceitável pedir que os alunos usem > métodos específicos. A nossa posição é mais ou menos essa aqui, > > (Quora) Why do math teachers and professors often force students... > <https://www.quora.com/Why-do-math-teachers-and-professors-often-force-students-use-a-particular-method-to-solve-problems-on-a-test-Shouldnt-teachers-and-professors-encourage-freedom-of-thought-i-e-let-students-use-whatever-method-makes> > > e eu achava que ela era tão óbvia que eu não tenho nem bibliografia > a respeito. > > Vou dizer que nós somos do "mundo 1". > > Na última reunião eu fiquei sabendo da existência de um "mundo 2", > de pessoas que acham que a posição das pessoas do mundo 1 está > errada, e que a gente tem sempre que deixar os alunos resolverem os > problemas das provas usando os métodos que eles preferirem. > > Bel, Fábio e Rômulo, vocês fizeram falas mostrando que vocês são do > "mundo 2". Como vários de vocês fizeram Licenciatura imagino que > vocês saibam onde encontrar as críticas do "mundo 2" ao "mundo 1". > Vocês podem me mandar algumas referências, por favor? > > Os meus coleguinhas não responderam. > > Alguém aqui sabe ALGUMA COISA sobre lógicos e matemáticos que acham > que você NUNCA pode pedir pros alunos resolverem questões por métodos > específicos, e que você SEMPRE tem que permitir que eles usem os > métodos que quiserem e escrevam do modo que quiserem? > > O ideal seria pointers precisos - tipo "tem o Fulano, ele publicou o > artigo tal" - mas quaisquer vagas lembranças já servem e me ajudam > muito... > > Gradeço, =) ❤️🐶😐 > Eduardo Ochs > -- > 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%2B6gdzswD2y2fVVCwahMoKgZnCxjsUBB7giFpnZprz4fHdA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6gdzswD2y2fVVCwahMoKgZnCxjsUBB7giFpnZprz4fHdA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > -- > 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/CAOrCsLcQjzuoO29CtS93WFDzBDuPnyhT17PffYfd_x_wHiHH%2Bg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcQjzuoO29CtS93WFDzBDuPnyhT17PffYfd_x_wHiHH%2Bg%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 > <https://www.google.com/maps/search/Rua+do+Mat%C3%A3o,+1010+-+CEP+05508-090+-+S%C3%A3o+Paulo,+SP?entry=gmail&source=g> > -- > 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/CAGG7Aw2mo96WD7bgbKOkj_m5QegUHUxUTmLq4BUeNqCARtyPTA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2mo96WD7bgbKOkj_m5QegUHUxUTmLq4BUeNqCARtyPTA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > -- > 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/CPUP152MB7177B27B6C6C74A35E508F6EB649A%40CPUP152MB7177.LAMP152.PROD.OUTLOOK.COM > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPUP152MB7177B27B6C6C74A35E508F6EB649A%40CPUP152MB7177.LAMP152.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer> > . > -- 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/CANspyYWm8r0QChtDj_3%2BpW8MmvH6%3DMviFwU6PPjjqm75ck%3DxMg%40mail.gmail.com.
