... vai estar disponível no YouTube!!!
----- Mensagem original -----
De: Eduardo Ochs <eduardoo...@gmail.com>
Para: Walter Carnielli <walte...@unicamp.br>
Cc: Clodomir Neto <clodomirn...@gmail.com>, Samuel Gomes da Silva
<sam...@ufba.br>, LOGICA-L <logica-l@dimap.ufrn.br>
Enviadas: Tue, 20 Dec 2022 00:15:12 -0300 (BRT)
Assunto: Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)
Vou fazer uns comentários meio aleatórios...
1. Esse Felipe Gonçalves tem uma webpage BEM bacana. Vou me focar
nisso aqui:
https://w3.impa.br/~goncalves/teaching.html
2. Em 2022 ele deu um curso - em Bonn - sobre artigos do J.H. Conway,
em que cada aluno apresentava um seminário sobre um artigo:
https://w3.impa.br/~goncalves/conwayisgod.html
https://w3.impa.br/~goncalves/erikslides.pdf
https://w3.impa.br/~goncalves/marvinslides.pdf
3. Quando eu crescer eu quero trabalhar num lugar em que os alunos
a) tenham acesso a computadores, b) tenham colegas que saibam
Beamer e Tikz, c) consigam fazer slides como esses, qdz, sem
precisarem aprender tudo sozinhos.
4. Um amigo meu que eu não posso dizer quem é uma vez fez um curso
numa universidade que eu não posso dizer qual é e que tinha uma
ementa ambiciosíssima, mas no qual o professor - que eu não lembro
quem era - botava os alunos pra fazerem seminários sobre os tópicos
da ementa... "e só".
Bom, tou bem curioso sobre como esse curso do IMPA vai ser! =P
Abraços,
Eduardo Ochs
http://angg.twu.net/eepitch.html
On Tue, 20 Dec 2022 at 00:07, Walter Carnielli <walte...@unicamp.br> wrote:
>
> Olá Clodomir,
>
> Obrigado, vi o CV dele.
>
> Tem umas 20 boas publicações, mas nada no tema do curso. Sem duvida é
> competente, mas vai ter um trabalhão com esse curso..
>
>
> Abs
> Walter
>
>
> Em seg., 19 de dez. de 2022 23:44, Clodomir Neto <clodomirn...@gmail.com>
> escreveu:
>>
>> Boa noite!
>>
>> O professor será Felipe Gonçalves: será: https://w3.impa.br/~goncalves/
>>
>> At.te,
>> --
>> Clodomir Silva Lima Neto
>> Professor EBTT Matemática
>> IFCE Campus Maranguape
>>
>> Em seg., 19 de dez. de 2022 23:35, Walter Carnielli <walte...@unicamp.br>
>> escreveu:
>>>
>>> Oi Samuel, oi pessoal:
>>>
>>> Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo.
>>>
>>> E deveriam convidar um lógico, mas acharam um "number theorist" entre eles.
>>>
>>> Mas eu não sei quem é, vc conseguiu saber?
>>>
>>> Abs
>>> Walter
>>>
>>> Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L
>>> <logica-l@dimap.ufrn.br> escreveu:
>>>>
>>>> Caros,
>>>>
>>>> Acabou de aparecer no Twitter,
>>>>
>>>> Haverá no Verão do IMPA uma disciplina de Lógica (mais precisamente,
>>>> Computação, Lógica e Teoria dos Conjuntos (!!!),
>>>> com uma ementa deveras ambiciosa...),
>>>>
>>>> E as surpresas continuam, quem vai ministrar nem é de Lógica, é um
>>>> pesquisador que trabalha na interface entre Análise e Teoria
>>>> dos Números.
>>>>
>>>> Interessante.
>>>>
>>>> Abraços
>>>>
>>>> []s Samuel
>>>>
>>>> --
>>>> LOGICA-L
>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>>> Lógica <logica-l@dimap.ufrn.br>
>>>> ---
>>>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>>>> Para ver essa discussão na Web, acesse
>>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
>>> <logica-l@dimap.ufrn.br>
>>> ---
>>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfksKOj1YoX6bAtx3awjKO9xvgtvyNZaM-MEpxewde5Qw%40mail.gmail.com.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
> <logica-l@dimap.ufrn.br>
> ---
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdPN%3DAcKjej0ovaz8iNykhjuPaoB8bRsPPP3gCy2jmn2g%40mail.gmail.com.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/472844398.20870725.1671515815503.JavaMail.zimbra%40ufba.br.
