[Logica-l] ACM A.M. TURING AWARD WEBCAST

[Joao Marcos]

ACM Turing Centenary Celebration to Be Webcast Live
http://turing100.acm.org/index.cfm?p=webcast

"On Friday, June 15 and Saturday, June 16, more than 30 Turing Award
recipients will gather to commemorate the 100th anniversary of Alan
Turing's birth with personal remembrances, talks, and panel
discussions.
The webcast will also be available on demand after the event.
All times are Pacific Daylight Time"
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] desafio

[Andrea Loparic]

Ois,

Recebi de um amigo e mando pra vocês. Garanto que
o valor à direita da igualdade é de fato uma função
calculável a partir do que aparece à esquerda do mesmo
sinal.

Por favor, só digam na lista que resolveram e em quanto
tempo, mas não divulguem nela a resposta pra não
estragar a brincadeira dos outros. Se quiserem conferir, me
escrevam em pvt.

Divirtam-se!
Andrea
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] qualis 2012

[Rodrigo Freire]

Caros colegas

Os qualis da matemática e computação foram atualizados.

Acho que nosso trabalho teve algum efeito. Na matemática temos agora o JSL
e APAL como A2. Na computação, o NDJFL é A2 e APAL é B1.

O resultado não é grande coisa, mas pelo menos algumas revistas específicas
de lógica romperam a barreira do A.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] qualis 2012

[hugomar]

Ola a todos,

Me parece um bom comeco...

Abs.
Hugo

 Quoting Rodrigo Freire :


Caros colegas

Os qualis da matemática e computação foram atualizados.

Acho que nosso trabalho teve algum efeito. Na matemática temos agora o JSL
e APAL como A2. Na computação, o NDJFL é A2 e APAL é B1.

O resultado não é grande coisa, mas pelo menos algumas revistas específicas
de lógica romperam a barreira do A.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





Hugo Luiz Mariano 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] qualis 2012

[Pedro H. Zambrano]

Que bom que o esforço de vocês deu alguns frutos!

Abraço,
Pedro.

2012/6/14 

> Ola a todos,
>
> Me parece um bom comeco...
>
> Abs.
> Hugo
>
>
>  Quoting Rodrigo Freire :
>
>  Caros colegas
>>
>> Os qualis da matemática e computação foram atualizados.
>>
>> Acho que nosso trabalho teve algum efeito. Na matemática temos agora o JSL
>> e APAL como A2. Na computação, o NDJFL é A2 e APAL é B1.
>>
>> O resultado não é grande coisa, mas pelo menos algumas revistas
>> específicas
>> de lógica romperam a barreira do A.
>>
>> Abraço
>> Rodrigo
>> __**_
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l
>>
>>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Andrea Loparic]

Oi, esqueci de mandar o problema... Agora vai pelo dropbox  do João.

https://dl.dropbox.com/u/9291912/misc/desafio1.jpg

Boa diversão,
Andrea
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[yuri lumer]

Uns 5 minutos, sempre desconfiei que era retardado...

SV,
Yuri

On 6/14/12, Andrea Loparic  wrote:
> Oi, esqueci de mandar o problema... Agora vai pelo dropbox  do João.
>
> https://dl.dropbox.com/u/9291912/misc/desafio1.jpg
>
> Boa diversão,
> Andrea
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[SÁ , Samy Soares]

1-2 minutos me bastaram. Acho que estou acostumado a esse tipo de puzzle.
Ao sugerir que crianças respondem mais rápido que programadores, deu-me uma
dica valiosa. : )
--
Samy Sá
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Andrea Loparic]

Estou encantada com vocês!!! Bem-aventurados

Comigo não foi assim, de prima, não. Nos primeiros 5 minutos,
achei que era pegadinha e desisti depois de tentar algumas
hipóteses - todas inacessíveis a crianças do jardim de infância.
Ai, a pessoa que me mandou o puzzle (meu computeiro rebento)
mandou um novo email me cobrando e dizendo: "não esqueça que
as criancinhas resolvem isso rapidamente..."
Voltei lá dessa vez bem lembrada da dica e consegui recuperar
minha mente infantil... e dessa vez saquei no tempo que disseram
que elas levam...
Aos que, como eu, não conseguiram na primeira tentativa,
coragem Nem tudo está perdido, vejam como eu me curei
e cheguei lá !!!

Bjs,
Andrea

Em 14 de junho de 2012 19:17, SÁ, Samy Soares escreveu:

> 1-2 minutos me bastaram. Acho que estou acostumado a esse tipo de puzzle.
> Ao sugerir que crianças respondem mais rápido que programadores, deu-me uma
> dica valiosa. : )
> --
> Samy Sá
>  ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Marcelo Finger]

Eu levei os 5 minutos que uma criança tem direito :-)

2012/6/14 Andrea Loparic 

> Estou encantada com vocês!!! Bem-aventurados
>
> Comigo não foi assim, de prima, não. Nos primeiros 5 minutos,
> achei que era pegadinha e desisti depois de tentar algumas
> hipóteses - todas inacessíveis a crianças do jardim de infância.
> Ai, a pessoa que me mandou o puzzle (meu computeiro rebento)
> mandou um novo email me cobrando e dizendo: "não esqueça que
> as criancinhas resolvem isso rapidamente..."
> Voltei lá dessa vez bem lembrada da dica e consegui recuperar
> minha mente infantil... e dessa vez saquei no tempo que disseram
> que elas levam...
> Aos que, como eu, não conseguiram na primeira tentativa,
> coragem Nem tudo está perdido, vejam como eu me curei
> e cheguei lá !!!
>
> Bjs,
> Andrea
>
> Em 14 de junho de 2012 19:17, SÁ, Samy Soares  >escreveu:
>
> > 1-2 minutos me bastaram. Acho que estou acostumado a esse tipo de puzzle.
> > Ao sugerir que crianças respondem mais rápido que programadores, deu-me
> uma
> > dica valiosa. : )
> > --
> > Samy Sá
> >  ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica
 Universidade de Sao Paulo
 Rua do Matao, 1010
 05508-090Sao Paulo, SP Brazil
 Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
 http://www.ime.usp.br/~mfinger
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Joao Marcos]

um problema de topologia, andrea? :-)

jm

2012/6/14 Andrea Loparic :
> Oi, esqueci de mandar o problema... Agora vai pelo dropbox  do João.
>
> https://dl.dropbox.com/u/9291912/misc/desafio1.jpg
>
> Boa diversão,
> Andrea

-- 
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Qualis 2012 - MATEMÁTICA

[Joao Marcos]

> Os qualis da matemática e computação foram atualizados.
>
> Acho que nosso trabalho teve algum efeito. Na matemática temos agora o JSL
> e APAL como A2. Na computação, o NDJFL é A2 e APAL é B1.
>
> O resultado não é grande coisa, mas pelo menos algumas revistas específicas
> de lógica romperam a barreira do A.

Comento neste email exclusivamente sobre a situação NA MATEMÁTICA.

A única revista das 58 indicadas pela Matemática que estava no estrato
A1 foi rebaixada direto para B1.  Em compensação há agora 5 revistas
A2 na Matemática, desta lista, quando antes não havia nenhuma:

Annals of Pure and Applied Logic
Fuzzy Sets and Systems
Journal of Algorithms
Journal of Symbolic Computation
Journal of Symbolic Logic

As quatro primeiras eram B1 antes de serem promovidas.  A quinta não
estava classificada na lista de 2009.  Havia 8 revistas B1 em 2009,
agora há 6.

O *Journal of Logic and Computation* e o *Logic Journal of the IGPL*
foram ambos rebaixados para B2, e o *Studia Logica* foi rebaixado para
B3.  Não parece bom.

Por fim, havia um total de 25 classificadas, agora há 27.

Não penso que seja o caso de comemorar tanto assim.  Mas na Computação
foi pior.  Quando eu me sentir um pouco mais animado escrevo a
respeito.

JM


PS: A situação do *Notre Dame Journal of Formal Logic*, que não valia
nada e de repente foi para A2 em Computação é curiosa.  Conheço de
todo modo um único pesquisador nacional (da UFBA) que publicou lá (um
artigo interessante!) no último triênio.

-- 
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis 2012 - MATEMÁTICA

[Rodrigo Freire]

> Não penso que seja o caso de comemorar tanto assim.
>


Concordo, e certamente não estou comemorando o resultado. Continuo achando
que o qualis nem deveria existir. O único ponto positivo que vi nisso tudo
é que nosso trabalho teve algum efeito, pois minha expectativa era que nem
isso seria alcançado. (Não acredito que colocariam qualquer revista de
lógica no A espontaneamente).

Estou sem entender a queda da Theoretical Computer Science para B1, e a
ascensão do NDJFL para A2 na computação. Quando divulgarem os documentos de
área do triênio poderemos encontrar alguma pista.

Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Décio Krause]

Sacanagemeu sou mesmo um idiota. Fiquei NOVE minutos olhando essa coisa ate 
que me deu o estalo. Tão vendo como a gente raciocina sem lógica? 
Mas pelo menos estou entre as crianças...parabéns aos que foram mais infantis 
ainda. 
Abraços,
Décio



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
"We cannot define anything precisely! If we attempt to, we get into that 
paralysis of thought that comes to philosophers, who sit opposite each other, 
one saying to the other, 'You don't know what you are talking about!' The 
second one says 'What do you mean by know? What do you mean by talking? What do 
you mean by you?', and so on." (Richard Feynman)


Em 14/06/2012, às 20:17, Joao Marcos  escreveu:

> um problema de topologia, andrea? :-)
> 
> jm
> 
> 2012/6/14 Andrea Loparic :
>> Oi, esqueci de mandar o problema... Agora vai pelo dropbox  do João.
>> 
>> https://dl.dropbox.com/u/9291912/misc/desafio1.jpg
>> 
>> Boa diversão,
>> Andrea
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] desafio (agora vai)

[Décio Krause]

Uma aluna minha de mestrado demorou 2 minutos. Ela tá ganhando? 
D



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
"We cannot define anything precisely! If we attempt to, we get into that 
paralysis of thought that comes to philosophers, who sit opposite each other, 
one saying to the other, 'You don't know what you are talking about!' The 
second one says 'What do you mean by know? What do you mean by talking? What do 
you mean by you?', and so on." (Richard Feynman)


Em 14/06/2012, às 20:17, Joao Marcos  escreveu:

> um problema de topologia, andrea? :-)
> 
> jm
> 
> 2012/6/14 Andrea Loparic :
>> Oi, esqueci de mandar o problema... Agora vai pelo dropbox  do João.
>> 
>> https://dl.dropbox.com/u/9291912/misc/desafio1.jpg
>> 
>> Boa diversão,
>> Andrea
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l