Profile cover photo
Profile photo
Renato Rocha
718 followers -
Eu estou ligado a Você pelo Chão.
Eu estou ligado a Você pelo Chão.

718 followers
About
Posts

Post has attachment

Post has attachment
Bom conselho para quem quer fazer um estágio acadêmico no exterior.

Post has shared content
Lógica e Filosofia.

Post has shared content
Disucssão a respeito do Paradoxo da Loteria no IME-USP.
Combinando Lógica e Probabilidades

-----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF
Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/
-----------------------------------------------------------------------------
Data: 20/4

Horário: 14hs

Local: Auditório CCSL

Palestrante: Sandro Preto

Título: Combinando Lógica e Probabilidades

Resumo: Apesar de, tradicionalmente, a lógica ser a ciência da certeza e as probabilidades, por outro lado, tratarem do que é incerto, existem várias propostas de combinar estas duas disciplinas.

Nesse seminário, motivamos a combinação entre lógica e probabilidades pelo Paradoxo da Loteria e definimos uma maneira de associar valores de probabilidades a sentenças proposicionais de modo a interpretar essa associação como uma semântica formal.

Buscamos, a partir dessa semântica probabilística, definir relações de consequência lógica (ou probabilística) e analisamos como essas relações lançam luz ao Paradoxo da Loteria.

Ainda, ao final, assumimos a posição de que o conceito de probabilidades é dependente de uma lógica em questão e definimos uma maneira de associar probabilidades às sentenças de um sistema de lógica paraconsistente. Nomeadamente, às sentenças do sistema Ci, uma lógica da inconsistência formal (LFI).

Post has shared content
A Articulação dos Povos Indígenas do Brasil convoca aos povos e organizações indígenas de todas as regiões do país para a maior mobilização nacional indígena do ano – o Acampamento Terra Livre 2017 que será realizado em Brasília , no período de 24 a 28 de abril de 2017. Confira a convocatória: http://act.gp/2orZHQl
Photo

Post has attachment

Post has attachment

Post has shared content
Explicação sobre a medida sofrimento (suffer score) do Strava.
Sabe como funciona o Suffer Score do Strava? A gente te explica! Assiste aí!

Post has attachment
Excelente infográfico com dados das Maratonas e maratonistas brasileiros no ano de 2016 compilado pelo grande Danilo Balu.

Post has attachment
Para mais momentos de "uau!" durante o dia, instale esta extensão do Google Chroeme e a cada nova aba aberta veja uma imagem aérea incrível do planeta.
Wait while more posts are being loaded