>Dessa forma, a criação da Comissão de Fundamentos e Lógica da Computação é urgente.
concordo plenamente com o Mauricio! abs Valeria On Mon, Jul 2, 2012 at 10:57 AM, Mauricio Ayala-Rincon <[email protected]> wrote: > Para ilustrar a distorsão, enumero algumas publicações da área teórica. > A verdade é não existe modelo matemático nem sistema dedutivo, > que permita computar/decidir o que é feito para generar o qualis > da computação. > > Journal of Automated Reasoning, QUALIS B1, JCR 0.714(2011). > Mathematics of Computation, QUALIS B2, JCR 1,313(2011). > Theoretical Computer Science, QUALIS A1, JCR 0.665(2011). > Formal Aspects of Coputing, QUALIS B2, JCR 0.463(2011). > Algorithmica, QUALIS B2, JCR 0,604(2011). > Discrete Math and TC sicence, QUALIS B2, JCR 0,465(2011). > ... > > Dessa forma, a criação da Comissão de Fundamentos e Lógica da Computação > é urgênte. > > Mauricio. > > > On 7/2/12 12:00 PM, [email protected] wrote: > >> Send Logica-l mailing list submissions to >> [email protected] >> >> To subscribe or unsubscribe via the World Wide Web, visit >> >> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> >> or, via email, send a message with subject or body 'help' to >> [email protected] >> >> You can reach the person managing the list at >> [email protected] >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Logica-l digest..." >> >> >> Today's Topics: >> >> 1. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Vitor Moura) >> 2. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Walter Carnielli) >> 3. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Carlos Gonzalez) >> 4. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Walter Carnielli) >> 5. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Rodrigo Freire) >> 6. Re: Fator de impacto 2011 dos peri?dicos com Logic no nome >> (Adolfo Neto) >> >> >> ______________________________**_________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> >> > > > -- > Mauricio Ayala-Rincón > Depts. Matemática e Computação > Universidade de Brasília > www.mat.unb.br/~ayala <http://www.mat.unb.br/%7Eayala> e-mail: > [email protected] > > ______________________________**_________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
