Um plot twist: Lógica no Verão do IMPA (???)

[Samuel Gomes da Silva]

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

[Clodomir Neto]

Boa noite!

Para maiores informações: https://impa.br/ensino/programas-de-formacao/mestrado-academico/disciplinas-mestrado-academico/computacao-logica-e-teoria-dos-conjuntos/

At.te,
--
Clodomir Silva Lima Neto
Professor EBTT Matemática
IFCE Campus Maranguape

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@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+u...@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.

[Walter Carnielli]

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 <logi...@dimap.ufrn.br> escreveu:

--

[Clodomir Neto]

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

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.

[Walter Carnielli]

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 

[Eduardo Ochs]

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

> 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.

[Samuel Gomes da Silva]

... vai estar disponível no YouTube!!!

----- Mensagem original -----
De: Eduardo Ochs <eduar...@gmail.com>
Para: Walter Carnielli <walt...@unicamp.br>
Cc: Clodomir Neto <clodom...@gmail.com>, Samuel Gomes da Silva <sam...@ufba.br>, LOGICA-L <logi...@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 (???)