Prezados colegas,
Escrevo para fazer propaganda da School in Proof Theory que vai
ocorrer no final de agosto em Paraty. Vai ser um evento super legal,
com a presença de pesquisadores famosos da área, incluindo o Prof.
Jean-Yves Girard.
A fase de pré-inscrição está aberta em:
http://www.tecmf.inf
Olás,
Pensando no Qualis de *Matemática*, no qual algumas revistas subiram e
outras caíram (conforme já comentado em mensagens anteriores), na
minha visão o *saldo* foi positivo.
Não é agradável que a Studia Logica e o Logic Journal IGPL tenham
descido, nem que o TCS tenha caído tanto, cl
Joao,
Se for o livro que estou pensando, houve segunda edição e continuou cheio
de erros.
Quanto ao outro livro do Flavio, Marcelo e Ana Cristina, que foi discutido
nesta lista (está nos arquivos em algum lugar), até onde sei não houve
segunda edição.
Adolfo
2012/6/16 Joao Marcos
> > Depois
Bem, Adolfo, eh dificil saber no que vc estah pensando, ou mesmo a
qual resenha critica vc estaria se referindo...
Quanto ao livro de Marcelo & cia, parece que estah sendo mantido um
site com errata.
Abraccos, JM
On 6/18/12, Adolfo Neto wrote:
> Joao,
>
> Se for o livro que estou pensando, hou
Posso entender que você não esteja totalmente insatisfeito com o
resultado, Samuel. Mas daí a concluir que o documento enviado por nós
teve qualquer efeito, é um salto considerável... Não consegui inferir
isto com certeza a partir da tabela disponível em http://goo.gl/DNFwA
Parece-me ser este ju
O qualis da matemática é uma lista bizarra: como o Hugo bem lembrou, tem
umas vinte revistas de medicina qualis A, muitas A1. Os artigos nessas
revistas certamente são fruto de colaborações de estatísticos com grupos da
medicina.
Nessa última lista a lógica melhorou um pouco e agora está mais ou m
Pode ser de interesse para alguns colegas desta lista.
De interesse especial, de qualquer forma, para os que já se esqueceram
um dia de que o trabalho inaugural do jovem Turing em Teoria da
Computação tratava justamente da definição da classe de "números reais
computáveis".
JM
--
