[Logica-l] computabilidade e análise: o legado de Alan Turing

2012-06-18 Por tôpico Joao Marcos
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 --

Re: [Logica-l] "Saldo" positivo no Qualis (?)

2012-06-18 Por tôpico Rodrigo Freire
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

Re: [Logica-l] "Saldo" positivo no Qualis (?)

2012-06-18 Por tôpico Joao Marcos
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

Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-18 Por tôpico Joao Marcos
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

Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-18 Por tôpico Adolfo Neto
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

[Logica-l] "Saldo" positivo no Qualis (?)

2012-06-18 Por tôpico samuel
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

[Logica-l] School in Proof Theory: Paraty 2012

2012-06-18 Por tôpico Elaine Pimentel
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