Re: [Logica-l] EBL 2014 repetindo o local?

[SÁ , Samy]

Minha intenção não era defender a cidade como destino pro EBL, mas como
destino por si só. Como eu esperava, parece que você teve uma experiência
ruim anterior. Considero investigar isso, se também vão me dar as mesmas
dicas negativas em hotéis daqui.

A minha experiência frequente é de passear à vontade pelos calçadões da
praia de Iracema com alta frequência e nunca ter presenciado nenhum
assalto, nem outro problema parecido. Talvez eu tenha sorte demais, mas
acho mais fácil que as pessoas estivessem exagerando a situação em alguns
desses pontos.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] EBL 2014 repetindo o local?

[SÁ , Samy]

Caro Walter,

Devo defender Fortaleza.

É uma cidade um pouco perigosa, sim, mas não é tão ruim quanto você pintou.
Também não sei o que quer dizer com "as praias fecham às 5...", pois isso
não acontece. Talvez algumas barracas na praia do futuro durante a semana,
mas eu diria que a baixa clientela é um fator muito mais forte que esse. A
beira-mar e praia de Iracema têm barracas que funcionam 24h e a maioria só
fecha pelas 2h da manhã em cada dia. A praia de Iracema é bem central e,
até onde posso dizer, limpa.

Talvez você tenha tido alguma experiência particularmente ruim, mas peço
que não generalize.

Abraços,
--
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] [OFF] Mendeley sold to Elsevier

[SÁ , Samy]

Saudações a todos.

O que os colegas que mudaram de gerenciador de artigos têm a dizer sobre
sua nova experiência? Desejo saber o que os colegas estão usando e se estão
satisfeitos com a nova solução.

Att,
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Homepage <https://sites.google.com/site/samyspsa/home> |
Blog<http://tiqx.blogspot.com/>|
Twitter <http://twitter.com/#%21/samyspsa>


2013/4/16 SÁ, Samy 

> Em essência, são softwares para gerenciamento de artigos científicos e
> referências. Cada um tem suas funcionalidades particulares e são
> concorrentes. Sei o que o Mendeley permite inclusive "ler" um artigo em
> conjunto com outras pessoas, compartilhando notas e as referências que você
> lê em uma rede social, mas não chequei isso no Zotero. Uma vantagem boa do
> Zotero é uma extensão no browser para adicionar referências direto de
> páginas na internet.
>
> Um outro concorrente deles é o ReadCube (http://www.readcube.com/), mas
> pelo que vi as bases de artigo que aborda são bem concentradas pra medicina
> e só estava disponível para windows e mac. Não sei se já melhorou quanto às
> bases de dados de artigos... Tem também o RefWorks e o EndNote, que só
> conheço por nome.
>
> Aqui tem uma comparação do RefWorks, Zotero, Mendeley por lista de
> funcionalidades:
> http://blogs.ubc.ca/dean/2011/05/a-comparison-of-refworks-zotero-mendeley-2011/
>
> Aqui tem outra comparação e indicação de algumas funcionalidades que os
> diferenciam:
> http://guides.lib.washington.edu/content.php?pid=69943&sid=518591
>
> O Readcube não aparece em nenhuma dessas comparações, talvez porque seja
> realmente muito nova enquanto ferramenta.
>
> Att,
> --
> Samy Sá
>
>
> 2013/4/16 Arthur Buchsbaum 
>
>> O que é Mendely e o que é Zotero?
>> Desculpem, "peguei o bonde andando".
>> Att.,
>> Arthur Buchsbaum
>>
>>
>> Em 15 de abril de 2013 22:44, Joao Marcos  escreveu:
>>
>> > > Bom, já apaguei a minha conta na Mendely e já criei uma no Zotero.
>> >
>> > Acabei de fazer o mesmo.  Você salvou a pátria, Valeria!
>> >
>> > JM
>> >
>> > > 2013/4/15 Valeria de Paiva :
>> > >> Muito triste mesmo joao marcos! mas um dos caras, Hoyt, tem um novo
>> > projeto
>> > >> PeerJ
>> > >>
>> >
>> http://enjoythedisruption.com/post/47527556151/my-thoughts-on-mendeley-elsevier-why-i-left-to-start
>> > >>
>> > >> e a danah boyd tem uma sugestao pra voce Marcelo Zotero...
>> > >> https://forums.zotero.org/discussion/28786/mendeley-import/
>> >
>> > --
>> > 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
>>
>
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] [OFF] Mendeley sold to Elsevier

[SÁ , Samy]

Em essência, são softwares para gerenciamento de artigos científicos e
referências. Cada um tem suas funcionalidades particulares e são
concorrentes. Sei o que o Mendeley permite inclusive "ler" um artigo em
conjunto com outras pessoas, compartilhando notas e as referências que você
lê em uma rede social, mas não chequei isso no Zotero. Uma vantagem boa do
Zotero é uma extensão no browser para adicionar referências direto de
páginas na internet.

Um outro concorrente deles é o ReadCube (http://www.readcube.com/), mas
pelo que vi as bases de artigo que aborda são bem concentradas pra medicina
e só estava disponível para windows e mac. Não sei se já melhorou quanto às
bases de dados de artigos... Tem também o RefWorks e o EndNote, que só
conheço por nome.

Aqui tem uma comparação do RefWorks, Zotero, Mendeley por lista de
funcionalidades:
http://blogs.ubc.ca/dean/2011/05/a-comparison-of-refworks-zotero-mendeley-2011/

Aqui tem outra comparação e indicação de algumas funcionalidades que os
diferenciam:
http://guides.lib.washington.edu/content.php?pid=69943&sid=518591

O Readcube não aparece em nenhuma dessas comparações, talvez porque seja
realmente muito nova enquanto ferramenta.

Att,
--
Samy Sá


2013/4/16 Arthur Buchsbaum 

> O que é Mendely e o que é Zotero?
> Desculpem, "peguei o bonde andando".
> Att.,
> Arthur Buchsbaum
>
>
> Em 15 de abril de 2013 22:44, Joao Marcos  escreveu:
>
> > > Bom, já apaguei a minha conta na Mendely e já criei uma no Zotero.
> >
> > Acabei de fazer o mesmo.  Você salvou a pátria, Valeria!
> >
> > JM
> >
> > > 2013/4/15 Valeria de Paiva :
> > >> Muito triste mesmo joao marcos! mas um dos caras, Hoyt, tem um novo
> > projeto
> > >> PeerJ
> > >>
> >
> http://enjoythedisruption.com/post/47527556151/my-thoughts-on-mendeley-elsevier-why-i-left-to-start
> > >>
> > >> e a danah boyd tem uma sugestao pra voce Marcelo Zotero...
> > >> https://forums.zotero.org/discussion/28786/mendeley-import/
> >
> > --
> > 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
>
___
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] Beamer

[SÁ , Samy Soares]

Até então, eu uso qualquer ferramenta de desenho para montar as figuras e
só colo na LaTEX. Vou testar esse IPE, de acordo com a sugestão. Parece
promissor!
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Homepage  |
Blog|
Twitter 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] vale a pena ser legal?

[SÁ , Samy Soares]

Vou dar uma olhada, sim, nesta semana que está para começar. Assim que
tiver lido, evio-te um email sobre o mesmo. : )

Adiciono que esse trabalho publicado no IJCAI tem Martin Caminada como um
de seus autores e que eles utilizam o termo "bullshit" como um tipo de
ataque a argumentos. Creio que foi com você, Walter, que o Caminada já
publicou anteriormente, não foi? Lembro-me que um brasileiro já havia
mencionado seu nome nesta lista.
--
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] vale a pena ser legal?

[SÁ , Samy Soares]

Esse tipo de discussão é de meu maior interesse.

Estou trabalhando no doutorado com raciocínio cooperativo em grupos de
agentes. Propus recentemente um procedimento de discussão em grupo para
decisões colaborativas. O trabalho será apresentado no AAMAS 2012 e estou
atualmente estudando algumas particularidades desta proposta. Num futuro
próximo, considero estudar como a confiança entre os membros do grupo pode
influenciar nos resultados das discussões.

Saliento também que, já há linhas de trabalho envolvendo todos esses
conceitos mencionados no artigo e muita coisa baseada em Teoria dos Jogos
na área de Sistemas Multiagentes. Entre outras, cito estudos em confiança
em instituições de agentes (trust) e desonestidade em negociações. Até onde
sei, o primeiro trabalho no assunto de desonestidade em negociações foi
publicado no IJCAI 2011.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Homepage  |
Blog|
Twitter 



On Fri, Apr 27, 2012 at 8:30 PM, Joao Marcos  wrote:

> sobre a matemática do altruísmo:
>
> http://plus.maths.org/content/does-it-pay-be-nice-maths-altruism-part-i
> http://plus.maths.org/content/does-it-pay-be-nice-maths-altruism-part-ii
>
> pra quem gosta de jogos!
> jm
>
> --
> 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] Artigo

[SÁ , Samy Soares]

O artigo pode ser encontrado para download no seguinte endereço:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9046

Abraços,
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Prova no Direito e na Ciência

[SÁ , Samy Soares]

Sobre essa questão do direito, creio que vai um pouco além de podermos
axiomatizá-lo.

Diria que podemos reduzir um código de leis a regras como axiomas, sim, mas
que o ponto das discordâncias aparece na *opinião* dos que interpretam os
fatos envolvidos. Nesse sentido, tratamos de *crenças* dos indivíduos e
podem envolver opiniões contrárias. É aqui que esses contornos ficam mal
definidos, como sugerido pelo Décio...

Para um exemplo super simples com base em modus ponens, o código legal pode
dizer claramente que "A -> B", mas ele não vai dizer nada sobre A. Cabe aos
que interpretam os fatos dizer se A é verdadeiro ou falso, e aqui começa o
debate! Talvez esse conceito deva ser interpretado como algo fuzzy, mas a
valoração dele ainda seria própria a cada indivíduo.

Outra possibilidade é que um indivíduo não acredite em A, mas o sugira
verdadeiro por conveniência da argumentação, a exemplo de um advogado de
defesa quanto à inocência de seu cliente, mas o problema continua sendo
reduzido a crenças de agentes diferentes, mesmo que por conveniência.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Sobre o " banco de terminologia"

[SÁ , Samy Soares]

Para o turnstile, creio que "roleta" não seja o melhor nome. A intenção é
com base na roleta de ônibus, não é isso? Mas poderia-se confundir o
sentido com a roleta dos cassinos... A palavra "catraca" me parece a mais
funcional nesse sentido.

Já para o "frame" eu o entendo como "quadros" invés de "enquadramentos", no
mesmo sentido em que traduzimos "frames per second" para "quadros por
segundo".

Espero que gostem dessas sugestões.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Como lógica pode ajudar a ganhar dinheiro (para quem?)

[SÁ , Samy Soares]

Sobre jogos e inteligência, creio que depende do jogo... Resolver puzzles e
outros desafios que envolvam bom senso parecem um bom treino,
principalmente enquanto se está crescendo.

Há uma palestra TED muito interessante sobre como jogos podem ser
utilizados para mudar o mundo:

http://www.ted.com/talks/jane_mcgonigal_gaming_can_make_a_better_world.html

Nessa palestra, Jane McGonigal defende que as pessoas dedicam muito tempo a
jogos online (3 Bilhões de horas p/ semana) e que todos são "problem
solvers" em potencial. Então, se desenvolvermos jogos interessantes em que
os problemas do mundo real são resolvidos nos jogos, podemos realmente
encontrar solução para os problemas do mundo. Recomendo!

Um exemplo disso é no jogo "Fold It" (http://fold.it/portal/), que foi
desenvolvido por um grupo de pesquisa. O grupo procurava a maneira certa de
"dobrar" uma proteína para que ela pudesse isolar alguns vírus, mas o poder
computacional para sair testando era insuficiente, pelo que entendi. Então
eles desenvolveram o jogo e usaram internautas como mecanismo de busca! O
resultado foi uma possível cura para a Aids.

http://latimesblogs.latimes.com/technology/2011/09/foldit-gamers-help-unlock-aids-fighting-proteins.html
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Inferência lógica

[SÁ , Samy Soares]

Tem razão... A sua mensagem é que apareceu na minha caixa de entrada
primeiro, de alguma maneira. : /
Nesse caso, creio que a discussão deveria ser levada para pvt, já que não é
do escopo da lista.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Inferência lógica

[SÁ , Samy Soares]

Doria,

essa mensagem foi enviada em privado para você e deveria-se respeitar a
vontade do colega. Todos temos o direito de discordar uns dos outros e
expressar isso, e cada um tem a sua maneira de fazê-lo.
Os fatos importantes aqui são dois: A sua discussão com o Marcelo não cabe
nessa lista e você deveria manter a discussão em privado ou dar o exemplo
ao findá-la, invés de compartilhar a opinião com várias pessoas a quem esse
assunto não pertence.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Morre John McCarthy aos 84 anos.

[SÁ , Samy Soares]

Creio que outros compartilharão do meu pesar.
O inventor da Circumscrição e pesquisador que cunhou o termo "Inteligência
Artificial", John McCarthy, morreu hoje em Boston.

http://g1.globo.com/tecnologia/noticia/2011/10/morre-john-mccarthy-pioneiro-da-inteligencia-artificial.html

Atenciosamente,
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente, Tutor PET - TI Quixadá (TIQx)
Universidade Federal do Ceará, Campus de Quixadá.
---
Blog  | Twitter|
Buzz 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Res: Manuais de Lógica

[SÁ , Samy Soares]

Os livros de direito no Brasil têm esmagadora maioria de autores brasileiros
porque em muitos casos precisará relacionar-se com as leis brasileiras para
obter sucesso nesse mercado. E quem mais entende de leis brasileiras?

É diferente de assuntos relacionados a matemática, pois qualquer pessoa que
quiser aprender os conceitos matemáticos precisa estudar mais dentro da
matemática. No caso do direito, precisaria-se entender o direito
brasileiro?!

Não me parece uma questão de valorização dos autores, mas realmente do livro
como instrumento e dos conteúdos por serem direcionados a lidar com o
direito local.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente,
Tutor PET/SESu - Conexões de Saberes - TI Quixadá
Universidade Federal do Ceará, Campus de Quixadá.
---
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Res: Manuais de Lógica

[SÁ , Samy Soares]

Nem sempre é questão de necessidade. Se o texto relaciona as idéias
discutidas com a prática no Brasil, há de ser preferido por aqui.
Mesmo assim, há autores e livros consagrados. Não basta escrever um livro
melhor nesse quesito hoje para ser o mais lido amanhã.

Outro fator é que alguns desses autores são praticantes de direito
conhecidos e renomados no Brasil.
Por estarem mais próximo, geram uma preferência de leitura dos aspirantes a
atingir o mesmo renome em prática.

As próprias editoras nacionais, se têm livros locais para distribuir,
exercem influência nisso que falaste. Não temos tantos livros de lógica em
português para que ocorra o mesmo.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente,
Tutor PET/SESu - Conexões de Saberes - TI Quixadá
Universidade Federal do Ceará, Campus de Quixadá.
---
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Sobre concursos

[SÁ , Samy Soares]

Uma impressão sobre o tema bibliografia:

Quando se abre o concurso para área de estudos X, espera-se que a vaga seja
preenchida por alguém que realmente estuda e pesquisa X. Esse é o
objetivo... Claro que nem sempre todos os concorrentes à vaga serão dessa
área, mas se você precisa de bibliografia é porque provavelmente é uma
dessas pessoas com especialidades em outros temas.

Fornecer tal bibliografia seria facilitar para que pessoas de áreas alheias
à do concurso passem, o que não faz sentido...
Portanto fica (e deve ficar mesmo) por sua conta correr atrás do tema.
--
Samy Sá
---
Doutorando em Ciência da Computação (MDCC/UFC),
Professor Assistente,
Tutor PET/SESu - Conexões de Saberes - TI Quixadá
Universidade Federal do Ceará, Campus de Quixadá.
---
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [LOGIC] Petition to restore Boole's house

[SÁ , Samy Soares]

Peço desculpas aos colegas que já receberam esta mensagem por outros meios.

O objetivo desta petição é levantar fundos para restaurar a casa de George
Boole e transformá-la em um museu.

Atenciosamente,
--
Samy Soares Passos de Sá
---
Doutorando em Ciência da Computação;
Professor Assistente,
Universidade Federal do Ceará, Campus de Quixadá.
---


-- Forwarded message --
From: [LOGIC] Mailing List 
Date: Wed, Nov 3, 2010 at 6:43 AM
Subject: [LOGIC] Petition to restore Boole's house
To:


Colleagues,

First, I would like to apologise to those who receive this
message more than once.

Now to the point:

As you know Boole's house on Grenville Place suffered severe damage
recently. I've established a petition to seek support for any initiatives
that can be undertaken to repair/restore the building urgently. The purpose
of the petition is to help decision makers in this matter gauge the strength
of support for repairing this building. This is particularly important in
the context of a weak economy in which finance for projects like this can be
difficult to find.

It would be wonderful if it were possible to restore the house to the point
where it could be the site of a museum to George Boole and his work.

Signing the petition takes a matter of seconds.

To sign, please visit:

http://www.4c.ucc.ie/aiai/

Click the 'Boole Petition' tab and then click on the link "Click here to
sign petition" which is after the statement, immediately above the list of
signatories.

If you prefer to use a short-cut:

http://4c110.ucc.ie/aiai/boole-petition

Please circulate this message to your colleagues and friends locally,
nationally and internationally.

The petition is hosted on the web-site of the Artificial Intelligence
Association of Ireland which is, in turn, hosted at 4C in UCC.

Finally, I'd like to thank David Devlin, PhD Student at 4C, for his
excellent help with setting up the web-site.

Kindest regards,

Barry O'Sullivan
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fundamentos da física: uma observa ção radical

[SÁ , Samy Soares]

Fica uma pergunta para pensarmos:

Se realmente a teoria estiver errada, o que isso implicaria para a
Computação Quântica que está sendo estudada e desenvolvida recentemente?

Abraços,
-- 
Samy Soares Passos de Sá
---
Doutorando em Ciência da Computação;
Professor Assistente,
Universidade Federal do Ceará, Campus de Quixadá.
---
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [LOGIC] Call for Nominations: E W Beth Dissertation Prize

[SÁ , Samy Soares]

-- Forwarded message --
From: [LOGIC] Mailing List 
Date: Mon, Mar 22, 2010 at 10:42 PM
Subject: [LOGIC] Call for Nominations: E W Beth Dissertation Prize
To:


E. W. Beth Dissertation Prize: 2010 call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information,
http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding
dissertations in the fields of Logic, Language, and Information. We invite
submissions for the best dissertation which resulted in a Ph.D. degree in
the
year 2009. The dissertations will be judged on technical depth and strength,
originality, and impact made in at least two of three fields of Logic,
Language, and Computation. Interdisciplinarity is an important feature of
the theses competing for the E.W. Beth Dissertation Prize.

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree in
the areas of Logic, Language, or Information between January 1st, 2009 and
December 31st, 2009. There is no restriction on the nationality of the
candidate or the university where the Ph.D. was granted. After a careful
consideration, FoLLI has decided to accept only dissertations written in
English. Dissertations produced in 2009 but not written in English or not
translated will be allowed for submission, after translation, also with the
call next year (for 2010). The present call for nominations for the E.W.
Beth Dissertation Award 2010 will also accept nominations of full English
translations of theses originally written in another language than English
and defended in 2008 or 2009.

Prize.

The prize consists of:

-a certificate

-a donation of 2500 euros provided by the E.W. Beth Foundation

-an invitation to submit the thesis (or a revised version of it) to the
FoLLI
Publications on Logic, Language and Information (Springer). For further
information on this series see the FoLLI site.

How to submit.

Only electronic submissions are accepted. The following documents are
required:

1. The thesis in pdf or ps format (doc/rtf not accepted);

2. A ten page abstract of the dissertation in ascii or pdf format;

3. A letter of nomination from the thesis supervisor. Self-nominations are
not
admitted: each nomination must be sponsored by the thesis supervisor. The
letter
of nomination should concisely describe the scope and significance of the
dissertation and state when the degree was officially awarded;

4. Two additional letters of support, including at least one letter from a
referee not affiliated with the academic institution that awarded the Ph.D.
degree.

All documents must be submitted electronically to bus...@amu.edu.pl. Hard
copy
submissions are not admitted. In case of any problems with the email
submission
or a lack of notification within three working days, nominators should write
to
bus...@amu.edu.pl.

Important dates:

Deadline for Submissions: April 30, 2010.
Notification of Decision: July 20, 2010.

Committee :

Natasha Alechina (Nottingham)
Lev Beklemishev (Moscow)
Wojciech Buszkowski (chair) (Poznan)
Didier Caucal (IGM-CNRS)
Nissim Francez (Haifa)
Alexander Koller (Saarbruecken)
Alberto Policriti (Udine)
Ian Pratt-Hartmann (Manchester)
Rob van der Sandt (Nijmegen)
Colin Stirling (Edinburgh)
Rineke Verbrugge (Groningen)
Heinrich Wansing (Dresden)



-- 
Samy Soares Passos de Sá
---
Doutorando em Ciência da Computação;
Professor Assistente,
Universidade Federal do Ceará, Campus de Quixadá.
---
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Charadas lógicas

[SÁ , Samy Soares]

Olá, Samir.

Sobre o último link, os lateral thinking puzzles, eles em geral não envolvem
basicamente nada de matemática ou lógica por si.
Além disso, sua estrutura é sempre muito simples, pois envolve tirar uma
informação importante do enunciado para deixar o problema realmente difícil,
ou utilizar uma estratégia que não é citada nesse enunciado.
Como os está estudando e com que propósito?

Atenciosamente,
Samy Soares.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Raciocínio "lógico"

[SÁ , Samy Soares]

Olá a todos.

Esses pretensos testes de raciocínio visam avaliar capacidade de abstração e
de conclusões que tenham um sentido aceitável à maioria. Chamá-los de lógica
matemática há de ser onde o mora o erro, mas não acho que sejam de todo
inválidos.
A capacidade de concluir que 200 é o próximo número da sequência avalia um
aspecto da inteligência que matemática pura não conseguiria avaliar. São
formas de abstração e associação que realmente fogem ao dedutivo.

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

Re: [Logica-l] Operadores Cumulativos

[Sá , Samy Soares]

Olá, Marcelo.

Verifiquei uma fonte sobre operadores inflacionários, como me foi indicado
por você e Francicléber.
O tipo de operador é esse mesmo e o estudarei pelo livro do Ebbinghaus de
Teoria dos Modelos Finitos.

Muito obrigado a vocês!
Samy.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l