Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L 
... vai estar disponível no YouTube!!!

- Mensagem original -
De: Eduardo Ochs 
Para: Walter Carnielli 
Cc: Clodomir Neto , Samuel Gomes da Silva 
, LOGICA-L 
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  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  
> 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  
>> 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 
>>>  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 
>>>> ---
>>>> 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 
>>> 
>>> ---
>>> 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 
> 
> ---
> 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 

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

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 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

On Tue, 20 Dec 2022 at 00:07, Walter Carnielli  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  
> 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  
>> 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 
>>>  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 
 ---
 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 
>>> 
>>> ---
>>> 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 
> 
> ---
> 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 

--- 
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/CADs%2B%2B6iA-FYH9z%3DxaskFrxq4J7M2L-GVgmbbAA938WxKusfE6g%40mail.gmail.com.

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 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


Em seg., 19 de dez. de 2022 23:44, Clodomir Neto 
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 
> 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 
>>> ---
>>> 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 
>> ---
>> 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 

--- 
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/CAOrCsLdPN%3DAcKjej0ovaz8iNykhjuPaoB8bRsPPP3gCy2jmn2g%40mail.gmail.com.

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 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

Em seg., 19 de dez. de 2022 23:35, Walter Carnielli 
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 
>> ---
>> 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 
> ---
> 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 

--- 
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/CAM4L5TXGjMoB9yaaNO7nUK11Fg4hOAJ1DcMUD4dc36d5SRs4pg%40mail.gmail.com.

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 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 <
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 
> ---
> 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 

--- 
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/CAOrCsLfksKOj1YoX6bAtx3awjKO9xvgtvyNZaM-MEpxewde5Qw%40mail.gmail.com.

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 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

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

--- 
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/CAM4L5TXvWD8jn3Jqwa_w_mZv3ZJyNkfY3S5h%2B4qCXaVEGYEAqA%40mail.gmail.com.

[Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

2022-12-19 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L 
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 

--- 
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/1175938501.20821532.1671491403083.JavaMail.zimbra%40ufba.br.