Re: [Logica-l] Digest Logica-l, volume 54, assunto 30
Olá a todos,
Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do
Brasil espera que vc mantenha atualizacoes dessa lista nos próximos
anos, conforme forem sendo mudadas as listas Qualis a cada triênio...
Arrumaste um trabalhinho para o resto da carreira !!! 8-)
E claro, vc tem razao, o meu comentário sobre "publicacoes top" é
*segundo a avaliacao da CAPES*... O dia que eu publicar algo na
Fundamenta Mathematicae, terei certeza de que é uma "publicacao top",
mesmo sendo B1 na lista...
Até,
[]s Samuel
Quoting logica-l-requ...@dimap.ufrn.br:
> Enviar submissões para a lista de discussão Logica-l para
> logica-l@dimap.ufrn.br
>
> Para se cadastrar ou descadastrar via WWW, visite o endereço
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
> corpo da mensagem para
> logica-l-requ...@dimap.ufrn.br
>
> Você poderá entrar em contato com a pessoa que gerencia a lista pelo
> endereço
> logica-l-ow...@dimap.ufrn.br
>
> Quando responder, por favor edite sua linha Assunto assim ela será
> mais específica que "Re: Contents of Logica-l digest..."
>
>
> Tópicos de Hoje:
>
>1. Seminarios do LOLITA nesta Segunda (Regivan Santiago)
>2. Qualis 2010: *conferências internacionais* na área de Lógica
> em Computação (Joao Marcos)
>3. Qualis 2010: *periódicos* que publicam artigos na área de
> Lógica (Joao Marcos)
>4. Re: Qualis 2010: *periódicos* que publicam artigos na área de
> Lógica (Valeria de Paiva)
>5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos)
>6. Pedido de artigos sobre revisão de crenças (Gärdenfors)
> (Diego Fernandes)
>7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos)
>
>
> --
>
> Message: 1
> Date: Fri, 27 Aug 2010 12:15:20 -0300
> From: Regivan Santiago
> Subject: [Logica-l] Seminarios do LOLITA nesta Segunda
> To: Regivan Santiago
> Cc: Alunos Doutorado DIMAp , Daniel
> Durante , ma...@cos.ufrj.br, Usuários LCC
> , STAFF ,"Soc Bras Mat.
> Aplic. e Comp- Regional 03" ,
> alu...@engcomp.ufrn.br, Maria da Paz , Alunos Mestrado
> Dimap , logica-l@dimap.ufrn.br
> Message-ID: <9b5f7a1e-bbd6-4972-beae-592c71ae2...@gmail.com>
> Content-Type: text/plain; charset=iso-8859-1
>
> Caríssimos,
>
> mais uma palestra no LoLITA, desta vez:
>
> Lógica Dinâmica e Álgebras de Processo
>
> Prof. Mario Benevides (COPPE-UFRJ)
>
> Local: Sala de Reuniões do DIMAp
> Data: Segunda 30/08/2010 às 10:00hs
>
> Resumo: CSS (Calculus of Communication Systems) é uma linguagem
> algébrica de especificação de comunicação e sincronização em
> sistemas concorrentes proposta por Robin Milner. Ela trata da
> interação entre processos através de ações de comunicação. Uma
> especificação em CCS é uma descrição do comportamento do sistema em
> função dos eventos de comunicação que ocorrem.
>
> Lógica Dinâmica Proposicional PDL tem um papel importante na
> especificação de propriedades de programas. Várias propostas têm
> sido feitas de se ter uma contrapartida lógica para CCS. As mais
> conhecidas são: Lógica de Hennessy-Milner, a Lógica Dinâmica
> Concorrente CPDL e channel-CPDL de David Peleg. A primeira é
> simplesmente uma lógica multi-modal com
> uma modalidade para cada porta (ação) de comunicação. A segunda e a
> terceira são lógicas dinâmicas proposicionais para programas
> regulares estendida com um operador de sincronização. CPDL e
> channel-CPDL são bem próxima da Lógica de Jogos e elas são bem
> apropriadas para representar propriedades de sistemas concorrentes e
> jogos. A semântica de channel-CPDL é baseada em super-estados
> (composição de estados) e super-processos e o problema de
> satisfabilidade nesta lógica é indecidível ($\Pi_{1}^{1}$-hard). Ela
> também não tem uma axiomatização completa.
>
> Neste trabalho nós gostaríamos de investigar uma lógica dinâmica
> cujas ações fossem programas CCS. Nossas fórmulas teriam a forma
> $[\pi] \varphi$, cujo significado seria: após a execução do programa
> $\pi$, é sempre o caso que $\varphi$ vale. Gostaríamos de ter nos
> programas CCS os operadores de prefixo, composição paralela, escolha
> não-determinística, restrição e renomeação. Com
> esta linguagem seríamos capazes raciocinar sobre especificações CCS
> tanto no nível das ações como no de comunicações e sincronizações.
> Por outro lado, devido ao mecanismo de comunicação simples de CCS
> temos fortes indícios de que a lógica seria decidível.
>
>
> $\pi$-Calculus é uma extensão do CCS para processos móveis
> \cite{milner99}. A idéia é permitir que nomes de portas de
> comunicação possam ser passados como dados e depois dinâmicamente
> serem usados para comunicação. Um extensão natural deste trabalho é
> desenvolver uma Lógica Dinâmica cujos os programas sã
Re: [Logica-l] Digest Logica-l, volume 54, assunto 30
Caros filolistas, uma tabela como esta, embora bem vinda, pois poupa o tempo de quem esta procurando a classificacao de um periodico eh, de uma certa forma, desnecessaria (o Qualis ja tem uma tabela com mecanismo de busca) e, o que talvez seja ainda pior, trai os proprios ideais do Qualis (Sim, eles existem, e nao sao tao ruins assim. O que e ruim e o uso que a propria academica faz do Qualis). O objetivo nao e, de forma nenhuma, que as pessoas so publiquem nos periodicos/congressos que estao listados. Pelas diretrizes, quando um brasileiro publica nos ultimos anos em um periodico/congresso que nao esta listado, ele passa a ser considerado para a confeccao da proxima tabela e os periodicos que nao aceitaram publicacoes de brasileiros saem da tabela. ] Pelo que me informaram, a tabela eh elaborada desta forma para ser usada no julgamento de instituicoes/programas e nao no julgamento individual de pesquisadores. Mas, como sempre, ninguem le (ou finge que nao le) as letrinhas miudas do contrato... abracos, P. -- Original Message --- From: sam...@ufba.br To: logica-l@dimap.ufrn.br Sent: Sat, 28 Aug 2010 13:15:33 -0300 Subject: Re: [Logica-l] Digest Logica-l, volume 54, assunto 30 > Olá a todos, > > Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do > Brasil espera que vc mantenha atualizacoes dessa lista nos próximos > anos, conforme forem sendo mudadas as listas Qualis a cada triênio... > Arrumaste um trabalhinho para o resto da carreira !!! 8-) > > E claro, vc tem razao, o meu comentário sobre "publicacoes top" é > *segundo a avaliacao da CAPES*... O dia que eu publicar algo na > Fundamenta Mathematicae, terei certeza de que é uma "publicacao top", > mesmo sendo B1 na lista... > > Até, > > []s Samuel > > Quoting logica-l-requ...@dimap.ufrn.br: > > > Enviar submissões para a lista de discussão Logica-l para > > logic...@dimap.ufrn.br > > > > Para se cadastrar ou descadastrar via WWW, visite o endereço > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou > > corpo da mensagem para > > logica-l-requ...@dimap.ufrn.br > > > > Você poderá entrar em contato com a pessoa que gerencia a lista pelo > > endereço > > logica-l-ow...@dimap.ufrn.br > > > > Quando responder, por favor edite sua linha Assunto assim ela será > > mais específica que "Re: Contents of Logica-l digest..." > > > > > > Tópicos de Hoje: > > > > 1. Seminarios do LOLITA nesta Segunda (Regivan Santiago) > > 2. Qualis 2010: *conferências internacionais* na área de Lógica > > em Computação (Joao Marcos) > > 3. Qualis 2010: *periódicos* que publicam artigos na área de > > Lógica (Joao Marcos) > > 4. Re: Qualis 2010: *periódicos* que publicam artigos na área de > > Lógica (Valeria de Paiva) > > 5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos) > > 6. Pedido de artigos sobre revisão de crenças (Gärdenfors) > > (Diego Fernandes) > > 7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos) > > > > > > -- > > > > Message: 1 > > Date: Fri, 27 Aug 2010 12:15:20 -0300 > > From: Regivan Santiago > > Subject: [Logica-l] Seminarios do LOLITA nesta Segunda > > To: Regivan Santiago > > Cc: Alunos Doutorado DIMAp , Daniel > > Durante , ma...@cos.ufrj.br, Usuários LCC > > , STAFF , "Soc Bras > > Mat. > > Aplic. e Comp- Regional 03" , > > alu...@engcomp.ufrn.br, Maria da Paz , Alunos > > Mestrado > > Dimap , logic...@dimap.ufrn.br > > Message-ID: <9b5f7a1e-bbd6-4972-beae-592c71ae2...@gmail.com> > > Content-Type: text/plain; charset=iso-8859-1 > > > > Caríssimos, > > > > mais uma palestra no LoLITA, desta vez: > > > > Lógica Dinâmica e Álgebras de Processo > > > > Prof. Mario Benevides (COPPE-UFRJ) > > > > Local: Sala de Reuniões do DIMAp > > Data: Segunda 30/08/2010 às 10:00hs > > > > Resumo: CSS (Calculus of Communication Systems) é uma linguagem > > algébrica de especificação de comunicação e sincronização em > > sistemas concorrentes proposta por Robin Milner. Ela trata da > > interação entre processos através de ações de comunicação. Uma > > especificação em CCS é uma descrição do comportamento do sistema em > > função dos eventos de comunicação que ocorrem. > > > > Lógica Dinâmica Proposicional PDL tem um papel importante na > > especificação de propriedades de programas. Várias propostas têm > > sido feitas de se ter uma contrapartida lógica para CCS. As mais > > conhecidas são: Lógica de Hennessy-Milner, a Lógica Dinâmica > > Concorrente CPDL e channel-CPDL de David Peleg. A primeira é > > simplesmente uma lógica multi-modal com > > uma modalidade para cada porta (ação) de comunicação. A segunda e a > > terceira são lógi
Re: [Logica-l] Digest Logica-l, volume 54, assunto 30
Olá Petrucio e demais, A situacao é mais complicada do que "fingir que nao se lê": ignora-se mesmo esse princípio de que o Qualis nao deve ser utilizado em avaliacoes individuais... Coordenadores do meu programa de mestrado, por exemplo, me pressionam aberta e diretamente para que só publique em revistas "qualisficadas" !!! E até a coordenacao de iniciacao científica da UFBA, órgao institucional da pró-reitoria e tudo, ao julgar pedidos de bolsa de iniciacao científica, pede para se avaliar se a publicacao do orientador é Qualis ou nao... Entao os pesquisadores estao, sim, pressionados a publicar em revistas que *já* estao na lista. E o discurso do "revistas que nao estao na lista podem entrar, desde que algum pesquisador brasileiro publique nelas" nao funciona bem assim: os coordenadores de programa que têm mais acesso ao pessoal da CAPES, de quando em quando, pedem aos seus pesquisadores sugestoes de revistas para entrar no Qualis, o que às vezes dá certo, sim. Agora, imaginar que eu vá, "quietinho quietinho", publicar algo por exemplo no Mathematical Logic Quarterly e, sem conversar com ninguém, sem fazer nenhuma política, a revista acaba entrando no Qualis... Infelizmente, nao é assim que funciona nao. Abracos a todos ! []s Samuel PS: Como existem listagens diferentes para Computacao, Filosofia, Matemática, etc., uma lista unificada dá uma ajuda, sim. Quoting Jorge Petrucio Viana : > Caros filolistas, > > uma tabela como esta, embora bem vinda, pois poupa o tempo de quem > esta procurando a classificacao de um periodico eh, de uma certa > forma, desnecessaria (o Qualis ja tem uma tabela com mecanismo de > busca) e, o que talvez seja ainda pior, trai os proprios ideais do > Qualis (Sim, eles existem, e nao sao tao ruins assim. O que e ruim e > o uso que a propria academica faz do Qualis). > > O objetivo nao e, de forma nenhuma, que as pessoas so publiquem nos > periodicos/congressos que estao listados. > Pelas diretrizes, quando um brasileiro publica nos ultimos anos em > um periodico/congresso que nao esta listado, ele passa a ser > considerado para a confeccao da proxima tabela e os periodicos que > nao aceitaram publicacoes de brasileiros saem da tabela. > ] > Pelo que me informaram, a tabela eh elaborada desta forma para ser > usada no julgamento de instituicoes/programas e nao no julgamento > individual de pesquisadores. > > Mas, como sempre, ninguem le (ou finge que nao le) as letrinhas > miudas do contrato... > > abracos, > P. > > -- Original Message --- > From: sam...@ufba.br > To: logica-l@dimap.ufrn.br > Sent: Sat, 28 Aug 2010 13:15:33 -0300 > Subject: Re: [Logica-l] Digest Logica-l, volume 54, assunto 30 > >> Olá a todos, >> >> Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do >> Brasil espera que vc mantenha atualizacoes dessa lista nos próximos >> anos, conforme forem sendo mudadas as listas Qualis a cada triênio... >> Arrumaste um trabalhinho para o resto da carreira !!! 8-) >> >> E claro, vc tem razao, o meu comentário sobre "publicacoes top" é >> *segundo a avaliacao da CAPES*... O dia que eu publicar algo na >> Fundamenta Mathematicae, terei certeza de que é uma "publicacao top", >> mesmo sendo B1 na lista... >> >> Até, >> >> []s Samuel >> >> Quoting logica-l-requ...@dimap.ufrn.br: >> >> > Enviar submissões para a lista de discussão Logica-l para >> > logic...@dimap.ufrn.br >> > >> > Para se cadastrar ou descadastrar via WWW, visite o endereço >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou >> > corpo da mensagem para >> > logica-l-requ...@dimap.ufrn.br >> > >> > Você poderá entrar em contato com a pessoa que gerencia a lista pelo >> > endereço >> > logica-l-ow...@dimap.ufrn.br >> > >> > Quando responder, por favor edite sua linha Assunto assim ela será >> > mais específica que "Re: Contents of Logica-l digest..." >> > >> > >> > Tópicos de Hoje: >> > >> > 1. Seminarios do LOLITA nesta Segunda (Regivan Santiago) >> > 2. Qualis 2010: *conferências internacionais* na área de Lógica >> > em Computação (Joao Marcos) >> > 3. Qualis 2010: *periódicos* que publicam artigos na área de >> > Lógica (Joao Marcos) >> > 4. Re: Qualis 2010: *periódicos* que publicam artigos na área de >> > Lógica (Valeria de Paiva) >> > 5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos) >> > 6. Pedido de artigos sobre revisão de crenças (Gärdenfors) >> > (Diego Fernandes) >> > 7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos) >> > >> > >> > -- >> > >> > Message: 1 >> > Date: Fri, 27 Aug 2010 12:15:20 -0300 >> > From: Regivan Santiago >> > Subject: [Logica-l] Seminarios do LOLITA nesta Segunda >> > To: Regivan Santiago >> > Cc: Alunos Doutorado DIMAp , Da
[Logica-l] construção dos ordinais de John von Neumann sem o axioma da regularidade ou da boa fun dação
Caros colegas: O axioma da regularidade ou da boa fundação é adotado geralmente em textos estândar de Teoria dos Conjuntos: em uma de suas versões, diz que todo conjunto possui um elemento disjunto com ele. Isto acarreta que todo objeto não pertence a si próprio, entre outras consequências. Tenho adotado, com algumas adaptações, em cursos de Teoria dos Conjuntos para alunos de pós-graduação em Computação, o livro Set Theory, logic, and their limitations, de Moshé Machover. Entre outras razões, porque, neste livro, o assunto é coberto de forma bem concisa, em apenas 100 páginas, e isto viabiliza um curso de curta duração, trimestral. Neste livro o axioma da regularidade não é adotado, mas o autor parece considerar, em algumas provas envolvendo a construção dos ordinais de John von Neumann, que todo objeto não pertence a si próprio, o que parece-me errado, pois isto não foi provado antes, tampouco o axioma da regularidade é suposto. Consegui contornar esta dificuldade nos Problemas 2.8 (i), (ii) e (iii), bem como nas provas dos Teoremas 2.9 e 2.15, mas ainda não na prova do Lema 2.16. Este conteúdo está nas páginas 56, 57 e 58 do referido livro. Contornei com o conceito de quase disjunção: dois objetos b e c são ditos quase disjuntos se não existe x diferente de b pertencendo a b e a c simultaneamente, mas isto não funcionou bem na prova do Lema 2.16. Eu possuo uma versão digital deste livro, que posso enviar a qualquer interessado, que queira examinar melhor o problema citado. Eu suma, preciso encontrar uma maneira de provar que todo ordinal não pertence a si próprio, sem usar indução fraca ou forte nos ordinais, tampouco o princípio da boa ordem, os quais ainda não estão disponíveis. a) Arthur Buchsbaum ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
