Newton da Costa ensinou a audácia de errar por conta própria a
pesquisadores brasileiros https://diplomatique.org.br/newton-da-costa/
-- Forwarded message -
From: luiz ernesto merkle
Date: Sat, May 4, 2024, 12:33
Subject: Newton da Costa
To: Adolfo Neto
Só soube hj. :( Grande
Nota de falecimento no site da UFPR
https://ufpr.br/ufpr-lamenta-o-falecimento-do-filosofo-newton-carneiro-affonso-da-costa/
On Thu, Apr 18, 2024 at 12:09 PM Adolfo Neto wrote:
> Nota de falecimento no site da UFSC
> https://noticias.ufsc.br/2024/04/falece-newton-da-costa-referencia-mund
Nota de falecimento no site da UFSC
https://noticias.ufsc.br/2024/04/falece-newton-da-costa-referencia-mundial-em-logica-professor-e-honoris-causa-da-ufsc/
On Thu, Apr 18, 2024 at 12:09 PM Adolfo Neto wrote:
> Nota de falecimento no site da UTFPR, onde Newton foi professor
>
%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdny8t%3D0kcS0Gk64YzFX2j0TAuARGmvHuTBADaTDJ9Yiw%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
==
Adolfo Neto
Associate Profe
Parabéns João Marcos, LOGICA-L e a todos e todas que participaram
ativamente nestes anos!
Que venham mais 180 anos!
On Thu, Mar 28, 2024, 23:18 O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> wrote:
> PessoALL:
>
> Esta semana a LOGICA-L,
> "uma lista direcionada aos profissionais
Desculpa, mas parei no (A).
Teria algum exemplo concreto de (A)?
Não acompanho estes livros nem estes canais no YouTube (apesar de eu ter um
canal no YouTube, bem pequeno, por sinal, não costumo ver vídeos no
YouTube).
On Tue, Dec 26, 2023, 12:46 PM Joao Marcos wrote:
> PessoALL:
>
> Uma
Função?
On Thu, 16 Nov, 2023, 2:35 pm Marcelo Finger, wrote:
> [image: image.png]
>
> Em qui., 16 de nov. de 2023 às 10:29, Joao Marcos
> escreveu:
>
>> PessoALL:
>>
>> Por razões pedagógicas, estive buscando por exercícios de _tradução_
>> entre "a" linguagem natural (qualquer uma que eu seja
mentar sintaxes que pareçam com certos modos de organizar
> definições e provas em linguagem natural, 3) quem entende mesmo de
> Lean aqui é o Adolfo Neto, eu só consegui fazer coisas muito básicas
> nele... será que a gente consegue que o Adolfo nos ajude com pitacos e
> links?
Neste episódio do Fronteiras da Engenharia de Software, Adolfo Neto
entrevista o pesquisador Leonardo de Moura, Senior Principal Applied
Scientist no Grupo de Raciocínio Automatizado na AWS e Chief Architect da
Lean FRO. Leonardo é reconhecido por diversas contribuições, entre elas o
N0aW9uIn0.rfFv0VzQNNK32Bf40Z5FSfB00cWx-DNrWhQTZlNk-yQ>Forum
da Pós-Graduação em Computação do Paraná
Adolfo Neto
<https://link.sbstck.com/redirect/6ddf1616-ffb9-4392-ab14-cacbde0feb75?j=eyJ1IjoiOTRmaXQifQ.kirIRSEyybT5bcVHVRtj_P1XEG7WsHkby6TN1FHx9qo>
Oct 3
<https://link.sbstck.com/redirect/6d
- Verification of randomized algorithms
https://www.amazon.science/research-awards/call-for-proposals/automated-reasoning-call-for-proposals-fall-2023
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http
Saiu a segunda coluna.
Links em
https://adolfon.substack.com/p/coluna-de-marcelo-finger-sobre-inteligencia?sd=pf
On Fri, Aug 4, 2023 at 4:04 PM Adolfo Neto wrote:
> Saiu a primeira coluna!
>
> Bem vindo ao mundo dos podcasts, Marcelo!
>
> https://pca.st/episode/1726525e
Saiu a primeira coluna!
Bem vindo ao mundo dos podcasts, Marcelo!
https://pca.st/episode/1726525e-2c1e-4afa-a784-54e974fbf0c8
On Fri, 4 Aug, 2023, 8:38 am 'Aline Andrade' via LOGICA-L, <
logica-l@dimap.ufrn.br> wrote:
> Marcelo que legal !!!
> Acessei o link para o podcast mas não achei o seu
m/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58P6g-BsX_L_AZ%2BvuZ3smOVyBXKPLLq35Rt8zQ465BHsRw%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
==
Adolfo Neto
Associate Professor - Feder
Neste vídeo eu apresento ANITA, a Assistente de Provas para Tablôs
Analíticos, criada por Davi Romero de Vasconcelos.
https://youtu.be/CbjYClMLiFI
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web
Um dos melhores usos é justamente gerar lero lero, exigido em algumas
situações.
Ele também faz o contrário, pega um texto e gera ítens de ação.
On Fri, Apr 21, 2023, 11:24 Cleyton Slaviero wrote:
> Adicionando à discussão, achei a definição comentada nesse podcast
>
>
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
.
Decidi ir fazer na computação mesmo.
On Fri, Dec 16, 2022 at 10:24 AM Adolfo Neto wrote:
> Sim, claro.
> Vou contar dois casos que aconteceram sem dar nomes.
>
> Num caso destes de concurso com formação específica na graduação, o
> concurso não previa formação X10, mas previa forma
sofia na UFRN, onde ambos hoje
> damos aula e orientamos. E isso não teve absolutamente nada a ver com a
> disponibilidade de bolsa de estudos.
>
> JM
>
> On Fri, Dec 16, 2022, 09:40 Adolfo Neto wrote:
>
>> É complicado comparar assim. A qualidade das pessoas candidatas
; ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão
t;
> O Adolfo Neto coordena o Emilias Podcast (
> https://anchor.fm/emilias-podcast) que não é apenas sobre lógica, mas
> também :)
>
> Vale a pena conferir! Outras iniciativas estão listadas no site da SBL:
> http://sbl.org.br/pmwiki.php/Main/CL
>
> Abraços,
>
> On
A SBC está trabalhando numa nova versão do JEMS.
Em qua., 12 de out. de 2022 12:51, Joao Marcos
escreveu:
> Ainda é melhor que o sistema da SBC, que faz um monte de exigências para
>> usar o jems.
>>
>
> O JEMS é um horror... Mas até que seria bom se a SBC tivesse realmente se
> preparado para
Eu fiz um vídeo sobre a SpLogic mas parece que o tema não interessa muito
ao meu público
https://youtu.be/s19VM6_SH7s
Em sáb., 17 de set. de 2022 03:26, jean-yves beziau
escreveu:
> Ontem, 16 de setembro, foi o aniversário de Newton da Costa. Organizamos
> um dia de palestra em 16 de dezembro
Moshe Vardi (@vardi) tweeted at 11:29 AM on Sat, Sep 03, 2022:
Machine learning :-) https://t.co/APtMW5X8oC
(
https://twitter.com/vardi/status/1566070939586027520?t=g_njIYGxn6NaXhnX68CyPQ=03
)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você
Oi, fugindo um pouco do assunto quero recomendar este gerador de
tabelas-verdade que encontrei hoje:
https://tabelaverdade.gatsbyjs.io/
Foi feito por Isaac Luiz Vieira Ferreira, aluno da UFF.
Eu gostei pois ele faz a tabela no estilo que está em Silva, Finger e Melo,
colocando todas as
.ufrn.br/d/msgid/logica-l/CAHQVs%2BXTZEjh%2BiLmXRjEf6Kn6jOu%3DR6UE2oOrtHdmguY7%3DiTBw%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXTZEjh%2BiLmXRjEf6Kn6jOu%3DR6UE2oOrtHdmguY7%3DiTBw%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
https://youtu.be/IiU3K8nl3O4
Ao vivo agora.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber
Um link melhor é este
http://memoria2.cnpq.br/web/guest/chamadas-publicas?p_p_id=resultadosportlet_WAR_resultadoscnpqportlet_INSTANCE_0ZaM=abertas=chamadaDivulgada=10628
On Wed, May 11, 2022, 07:03 Adolfo Neto wrote:
> Saiu
>
> http://memoria2.cnpq.br/web/guest/chamadas-public
Saiu
http://memoria2.cnpq.br/web/guest/chamadas-publicas?p_p_id=resultadosportlet_WAR_resultadoscnpqportlet_INSTANCE_0ZaM=10628=abertas=chamadaDetalhada=58-125-7776
On Wed, May 4, 2022, 18:46 Walter Carnielli
wrote:
> Colegas:
>
> como alguns de vocês, eu preciso apresentar minha solicitação de
Verdade, Marcelo,
Eu não lembro se já falei aqui desta lista de pesquisadores de CC brazucas
que estão fora.
Não está 100% atualizada nem completa, claro.
Se conhecerem mais alguém, é só dizer ou fazer um PR.
> não diz nenhuma coisa nem outra.
> >
> > Eu acho que deveria retornar argumento válido.
> >
> >
> > Mas deveria mesmo retornar "argumento válido" ou
> >
> > r é consequência lógica de (p&~p), p>q, q>r
> > ?
> >
> &g
Mas
(p&~p), p>q, q>r : r
não diz nenhuma coisa nem outra.
Eu acho que deveria retornar argumento válido.
Mas deveria mesmo retornar "argumento válido" ou
r é consequência lógica de (p&~p), p>q, q>r
?
Abs.
Adolfo
--
======
Não me parece ser revolução nenhuma, apenas bom senso, o que ela quer que
aconteça.
On Thu, Mar 31, 2022, 09:29 Joao Marcos wrote:
> 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir
> Academia Brasileira de Ciências
> Biomédica Helena Nader afirma que ciência precisa ser uma
com?utm_medium=email_source=footer>
>> .
>>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição
()
escribió:
> Oi, Adolfo,
>
> Sobre a Ítala e Newton: nós da SBL estamos já no planejamento final de
> entrevistas. Se você achar que é bacana, a gente pode unificar as ações
> (pra não sobrecarregar também os entrevistados :) )
>
> Abraços,
>
> On Fri, Mar 25, 2022 at
(Obviamente esta lista está seriamente incompleta.)
>
> Abraços,
> Joao Marcos
>
--
======
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.b
arar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhYtW8kwS826uH4AUzdgACsG7VNuTOoFaM3_0hkfb%3Df%3Dg%40mail.gmail.com
> .
>
--
====
-IsSWKRVmlEWA5M6a_tp-vapV
Que outras entrevistas em português vocês me sugerem?
Abs.
Adolfo
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em
Ótima iniciativa. Será gravado?
On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> Prezados,
>
> Em parceria com o coletivo Lógicas Brasileiras (
> https://logicasbrasileiras.wordpress.com/),
>
> Teremos na segunda-feira, 21 de março, às 19hs, uma
Dória falou um pouco sobre Suppes na entrevista que fiz com ele esta semana
e que será publicada em breve no meu podcast.
On Fri, Mar 18, 2022, 00:04 jean-yves beziau wrote:
> Patrick Suppes nasceu dia 17 de março de 1922 e faleceu dia 17 de
> novembro de 2014, com 92 anos.
>
Eu gosto muito deste do Michael Rieppel mas não sei se satisfaz seu
requisito
https://mrieppel.net/prog/truthtable.html
On Mon, Feb 7, 2022, 16:10 Daniel Durante wrote:
> Colegas,
>
> Alguém conhece um gerador de tabelas de verdade, de preferência on-line,
> simples de usar (com interface
Oi Marcos,
Ficou bem legal a edição deste episódio!
Abs.
Adolfo
On Mon, Dec 13, 2021, 12:21 Marcos Silva wrote:
> Vídeo novo do nosso coletivo!
>
> TEORIA X PRÁTICA: O que vem primeiro?
>
> "Neste vídeo, aprendemos com Marcos Silva, da Filosofia da UFPE, a
> distinção entre "Know That" e
no Spotify, para quem quer apenas ouvir:
https://open.spotify.com/episode/7wSSQuqMXCq69atlRKqYyO
E nas demais plataformas de podcast:
Apple:
https://podcasts.apple.com/us/podcast/professor-adolfo-neto/id1490465804?uo=4
Google:
https://podcasts.google.com/feed
bs.
Adolfo
--
======
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==
--
Você está rece
Ah, que triste. Meus sentimentos à família e aos amigos. Não tive o
privilégio de conhecê-la pessoalmente.
Em seg., 25 de out. de 2021 às 10:49, Gisele Secco
escreveu:
> Pessoal
> Acabo de ser informada do falecimento de nossa querida Andrea.
> Manifesto meus mais carinhosos sentimentos à sua
Eu resolvi fazer uma página minimamente decente:
https://logicaparacomputacao.github.io/
E tenho uma playlist (onde a maioria dos vídeos são meus e nenhum tem
grande qualidade) em
https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp
On Tue, Sep 28, 2021 at 7:09 PM Adolfo Neto
Ainda não vi mas parece ótimo.
Em ter., 28 de set. de 2021 às 15:38, Fabien Schang
escreveu:
> *Confirmo o que Walter disse anteriormente: o canal Ad Infitinum é
> excelente e inclui um grande número de vídeos muito úteis para cursos de
> teoria do conhecimento. *
> *Salve, AI! *
>
>
>
paper do Lizhi Du (citado como item #60 aqui:
> https://www.win.tue.nl/~gwoegi/P-versus-NP.htm) é de 2010, mas não
> parece ter sido publicado:
> https://arxiv.org/abs/1004.3702
>
> JM
>
> On Mon, Jul 19, 2021 at 11:30 AM Adolfo Neto wrote:
> >
> > Será que agora fo
Será que agora foi?
P=NP
https://dl.acm.org/doi/abs/10.1145/3460950
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
português?
>
> Abs.
>
> Frodo
>
> fredag 25. juni 2021 kl. 16:58:11 UTC-3 skrev Adolfo Neto:
>
>> Oi pessoal.
>>
>> Entrevistei o professor Walter Carnielli.
>>
>> Spotify: https://open.spotify.com/episode/3baby3b5ipyDtgRHpdvP4x
>> YouTube: htt
Complemento ao vídeo/episódio anterior:
Walter Carnielli comenta e indica dois livros de Lógica
https://youtu.be/gbjI5akIeQE
Em sex., 25 de jun. de 2021 às 16:57, Adolfo Neto
escreveu:
> Oi pessoal.
>
> Entrevistei o professor Walter Carnielli.
>
> Spotify: https://open.spot
Oi pessoal.
Entrevistei o professor Walter Carnielli.
Spotify: https://open.spotify.com/episode/3baby3b5ipyDtgRHpdvP4x
YouTube: https://youtu.be/FBrExIIO6Hk
Anchor:
https://anchor.fm/adolfont/episodes/Walter-Carnielli-Professor-de-Lgica-da-UNICAMP-e12t7ph
O áudio, em alguns momentos, falhou,
Que triste, Walter.
Não o conheci pessoalmente, mas ele era bastante ativo por aqui.
Meus sentimentos a você e à família dele.
Em sex., 28 de mai. de 2021 às 17:16, Walter Carnielli
escreveu:
> Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando
> e companheiro de
Comunicado Cruesp nº 05/2021 - Manifestação dos reitores das Universidades
Estaduais Paulistas
https://sites.usp.br/cruesp/wp-content/uploads/sites/620/2021/04/Comunicado-05CRUESP.pdf
Em sáb., 17 de abr. de 2021 às 22:12, Cassiano Terra Rodrigues <
cassiano.te...@gmail.com> escreveu:
> Sim,
É o Casanova que escreveu este livro?
https://produto.mercadolivre.com.br/MLB-707994181-programaco-em-logica-e-a-linguagem-prolog-casanova-giorno-_JM
Em sáb., 10 de abr. de 2021 às 20:25, Eduardo Ochs
escreveu:
> Acabou de acontecer uma live/entrevista com o Marco Casanova,
> sobre o livro dele
Oi pessoal,
Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.
http://spoti.fi/3qZxRJQ
https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p
Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do
Novo episódio do Emílias Podcast - Mulheres na Computação
Spotify: https://open.spotify.com/episode/3PfXKjpElvIaC9DdZp38JH
Anchor:
https://anchor.fm/emilias-podcast/episodes/Ep--34---Valeria-de-Paiva-Lgica-e-Pesquisadora-em-Inteligncia-Artificial-epu0oh
Adolfo Neto e Maria Claudia Emer
Oi pessoal,
Ainda não terminei a edição do próximo episódio do meu podcast mas aqui
está um link (não-listado) para a minha entrevista com Marcelo Finger, que
será publicada em breve com áudio um pouco melhorado:
https://youtu.be/lI6KbV_Q0OE
Além de falar sobre sua carreira e sobre sua
Tecnicamente foi ainda em 2020 :)
*[v3]* Fri, 25 Dec 2020 16:02:21 UTC (35 KB)
Em seg., 4 de jan. de 2021 às 11:48, Marcelo Finger
escreveu:
> Caros.
>
> É impressão minha, ou começamos o ano com (mais) uma prova de que P != NP?
>
> https://arxiv.org/abs/2005.00809
>
> []s
>
> --
> Marcelo
Olá Eduardo,
Pode pedir para falar comigo.
Adolfo
Em ter., 3 de nov. de 2020 às 14:20, Eduardo Ochs
escreveu:
> Oi todos,
>
> vocês conhecem alguém que possa orientar um estudante que quer fazer
> mestrado em Programação Funcional? Pode ser "orientar" no sentido de
> dizer "fale com Fulane,
Livro infantil que pode interessar ao grupo:
Hipátia de Alexandria: a matemática, astrônoma e filósofa lendária
*Série Meninas, Moças e Mulheres que Inspiram*
Quantas são as mulheres reconhecidas pelos seus feitos ao longo da
História? Com Hipátia de Alexandria, a série Meninas, moças e
Marcos e Walter,
Foi gravado antes do caso do professor da UFCG?
https://www.polemicaparaiba.com.br//paraiba/ufcg-abre-procedimento-para-investigar-professor-suspeito-de-xingar-mulheres-na-internet/
O referido professor usou algo mencionado por Walter.
Att.
Adolfo
Em dom., 11 de out. de 2020
Tue, Oct 6, 2020 at 5:05 PM Rogério Braga
wrote:
> Meu caro, boa tarde.
>
> A palestra ficou gravada em alguma plataforma?
>
> Abraços,
>
> Rogério Braga.
>
> Em segunda-feira, 5 de outubro de 2020 às 09:50:34 UTC-3, Adolfo Neto
> escreveu:
>
>> Novo lin
Novo link https://meet.google.com/uvb-buox-djm?authuser=3
On Sun, Oct 4, 2020 at 1:33 PM Adolfo Neto wrote:
> Olá,
>
> Teremos a palestra de Valdemare Setzer nesta segunda ás 9h.
>
> A Máquina de Turing e o que os computadores podem e não podem fazer, por
> Valdemar
il (sem cópia para
a lista) que mando o link do Google Meet.
Abs.
Adolfo
--
======
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em
diferenca entre
>> manifestacoes artisticas pessoais, e escolhas esteticas a serem feitas para
>> uso institucional.
>> >> Se a estetica que voce utiliza para veicular ideias na comunidade
>> profissional de Logica e Filosofia nao agradam, procure ouvir e escutar com
>
404f-a777-106a6642206dn%40dimap.ufrn.br?utm_medium=email_source=footer>
> .
>
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==
João,
Lá pelos idos de 2003-5 quando eu era assíduo nos Seminários do CLE
Unicamp, aconteceu uma palestra de um médico criticando a Medicina Baseada
em Evidências com base em lógica. Talvez professor Walter se lembre quem
foi.
On Fri, Aug 28, 2020, 11:31 Marcos Silva wrote:
> Caro JM,
>
>
Toda a minha solidariedade, Walter. Como podemos ajudar, além de repercutir?
On Sun, Aug 16, 2020, 21:04 Walter Alexandre Carnielli
wrote:
> Colegas,
> peço desculpas pela insistência, mas esse ataque é uma das piores coisas
> que já aconteceram para a ciência e tecnologia de São Paulo e do
a discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuzA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuz
Eu mantenho uma página da minha disciplina mas está bem parada:
https://facebook.com/LogicaParaComputacaoUtfpr/
On Fri, Jul 31, 2020, 18:04 Marcos Silva wrote:
> Seja bem-vinda, Andrea!
>
>
>
> A proposito, quem conhecer iniciativas em redes sociais no Brasil de
> popularizacao da lógica
Acho que a mensagem abaixo pode ser relevante aqui. Pelo texto, pelo livro
e pelo filme.
-- Forwarded message -
From: Cal Newport
Date: Thu, Jul 30, 2020, 10:15
Subject: The Bit Player Who Changed the World
To: Adolfo
*The Bit Player Who Changed the World*
clusao pode ser temporaria, mas a ciencia tem um carater
>> cumulativo; a longo prazo, a desinclusao nao se mantem.
>> No mais, para ser Incluido, confie mais na sua propria comunidade da
>> colonia (no caso dele, a India) do que na bondade e justica dos senhores da
>> metropole (England, England, across de Atlantic sea).
>>
>>
a o problema de falta de reconhecimento e de devida atribuição
> de mérito, apenas apagaria uma de suas manifestações mais visíveis.
>
>
> Abraço
> Rodrigo
>
>
>
> Em 24 de jul de 2020, à(s) 18:23, Adolfo Neto
> escreveu:
>
>
> Eu tenho uma ideia que acho me
ra cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> > Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcTvxT91Mq%2BNXqVVdF6EQ_Yk4NLhDk5WnYa5j9GDYMhiw%40mail.gmail.com
> .
>
> --
> Você está recebendo esta mensagem porque se
in-biology
--
======
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.ut
atemática https://sites.google.com/view/potimaticas/;
Abs.
Adolfo
--
======
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.
Atividades de ensino da UTFPR foram suspensas
http://portal.utfpr.edu.br/noticias/geral/atividades-de-ensino-estao-suspensas-por-tempo-indeterminado
On Mon, Mar 23, 2020 at 8:13 PM Adolfo Neto wrote:
>
>
> On Mon, Mar 23, 2020 at 7:48 PM Joao Marcos wrote:
>
>
fetados. Opino que já existem demasiadas situações de exclusão
> e ineqüidade social como para que as universidades públicas venham a
> acrescentar mais uma.
> >>>
> >>> Eu sinto falta de dar aulas, neste semestre tenho todas as disciplinas
> teóricas da comput
se
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0rVeah7i%2Bd5kmhy9%2BYKX_H%2BJJGeiKD91D6SEwLhEdFyw%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0rVeah7i%2Bd5kmhy9%2BYKX_H%2BJJGeiKD91D6SEwLhEdFyw%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
===
JUQMfCGb%3DcnWKAgt1uerD60qS8iR%2B7yQ%40mail.gmail.com
> .
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica
ra cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLeDrEQWH6HtTMOC2Q8X3RYA1ZsDfepcFx_hc8iKJRPdDw%40mail.gmail.com
> .
>
--
===
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==
--
Você está recebendo esta mensagem
Acho que seria uma boa ideia alguém fazer um vídeo complementando o
documentário e colocar no YouTube.
On Sun, Dec 15, 2019, 2:00 PM Eduardo Ochs wrote:
> Hoje em dia é BEM raro alguém fazer um documentário que nunca mostre
> nenhum detalhe ou figura, e foi por isso que eu achei que o Fernando
> Voltar ao início
>>> <#m_-6762482323502398064_CA+ob58PVrbm2TnhbYk8HWBxje6cWV+a7-Qzz3jGHivAqUG42yQ@mail.gmail.com_m_1538398476821232928_digest_top>
>>>
>>> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Goo
tp://alerts.springer.com/re?l=D0In6duqlI6gsxr77I1yITk3ssb0im=BNAGFKALLDGDLNFJ>
.
To ensure the delivery to your inbox, please add the sender address
sprin...@alerts.springer.com to your allow list.
Springer-Verlag GmbH Heidelberg, Tiergartenstrasse 17, 69121 Heidelberg,
Germany, phone: +49 6221 487 0, fax: +49 6221 487 8366
© Springer 2019, springer.c
Esqueci de dizer o nome da aluna, a quem indiquei a logica-l: Aline Macohin.
On Wed, Nov 6, 2019 at 12:35 PM Adolfo Neto wrote:
> Olá,
>
> Agoras as fotos oficiais, enviadas para mim pela aluna formada aqui no
> DAINF, em Tecnologia em Sistemas para Internet, e no Mestrado e
itala loffredo
wrote:
> Obrigada, Adolfo!
> Itala
>
> Em qua, 30 de out de 2019 às 09:57, Adolfo Neto
> escreveu:
>
>> Olá,
>>
>> Algumas fotos (minhas) de ontem: http://bit.ly/Newton90UFPR
>>
>> Tinha um fotógrafo aparentemente profissional lá e fotos
https://www.ufpr.br/portalufpr/noticias/um-dos-maiores-pensadores-da-logica-no-mundo-e-homenageado-na-ufpr/
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail
Olá,
Algumas fotos (minhas) de ontem: http://bit.ly/Newton90UFPR
Tinha um fotógrafo aparentemente profissional lá e fotos melhores deverão
ser divulgadas em breve.
Abs.
Adolfo
--
==
Adolfo Neto
Associate Professor - Federal
Olá Doria e Rodrigo,
Eu não tenho ideia do que seja a hipótese do contínuo.
Onde encontro uma boa explicação?
Abs.
Adolfo
On Tue, Oct 8, 2019, 16:30 Famadoria wrote:
> Lixo, Adolfo.
>
> Sent from my iPhone
>
> On 8 Oct 2019, at 15:46, Adolfo Neto wrote:
>
> Por que?
&g
Por que?
On Tue, Oct 8, 2019, 2:24 PM Rodrigo Freire wrote:
> Artigo horroroso.
>
>
>
> https://blogs.oglobo.globo.com/ciencia-matematica/post/o-que-maquina-pode-aprender.html
>
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para
Eu trabalhei com Lógica Linear muito tempo atrás. Minha dissertação de
mestrado tem algo. Mas não tive nenhuma publicação relevante.
https://www.ime.usp.br/~adolfo/trabalhos/msc.pdf
Recentemente estava lendo um artigo sobre uma linguagem criada no Facebook
e os autores citaram lógica linear
gica-l/CAEQwYAQ6kjVN57K3pig4yXWcdVDJGwjWsTYQmX93yF6B00NkLg%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYAQ6kjVN57K3pig4yXWcdVDJGwjWsTYQmX93yF6B00NkLg%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
> --
> > [1]
> >
> mailbox:///Users/mauricioayalarincon/Library/Thunderbird/Profiles/kza0hvfe.default/Mail/
> pop3.unb.br/Inbox?number=4221562744#group_thread_0
> > [2] http://www.mat.unb.br/~ayala
> > [3]
> >
> https://groups.google.com/a/dimap.ufrn.b
Acho que pode interessar à lista:
https://youtu.be/Ir9zNIU4wn0
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para
que se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/
absoluta convicção democrática.
>> Hoje em dia parece ser necessário alguma coragem
>> >> para declarar afiliações; porém, estou muito velho para deixar de
>> dizer o que penso (no dia 23/2/20 farei 74 anos).
>> >>
>> >> Um grande e afetuoso a
ogle.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58Mxgptdo0OQuHH4_qP%2BU68TmPM7Ra8scjuWMezV
https://www.deviante.com.br/podcasts/scicast-329/
--
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http
1 - 100 de 278 matches
Mail list logo