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
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 me
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
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
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 "Know
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 gráfic
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.
> https://en.wikiped
Ó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
-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
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
> .
>
--
====
> (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.
()
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
em porque está inscrito 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 essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMEDXu3Z6vZeZJv-X5GgHvnVOhSZZ6yKVNO5b8jrEyfh35OEdg%40
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 p
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 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
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.
https://github.com/adolfont/brazilian-cs-research/blob/master/brazilian-cs-researchers
Saiu
http://memoria2.cnpq.br/web/guest/chamadas-publicas?p_p_id=resultadosportlet_WAR_resultadoscnpqportlet_INSTANCE_0ZaM&idDivulgacao=10628&filtro=abertas&detalha=chamadaDetalhada&id=58-125-7776
On Wed, May 4, 2022, 18:46 Walter Carnielli
wrote:
> Colegas:
>
> como alguns de vocês, eu preciso a
Um link melhor é este
http://memoria2.cnpq.br/web/guest/chamadas-publicas?p_p_id=resultadosportlet_WAR_resultadoscnpqportlet_INSTANCE_0ZaM&filtro=abertas&detalha=chamadaDivulgada&idDivulgacao=10628
On Wed, May 11, 2022, 07:03 Adolfo Neto wrote:
> Saiu
>
> http://memor
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 e-mai
gle.com/a/dimap.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&utm_source=footer>
> .
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 subfórmul
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&s=03
)
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
---
Você es
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 d
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
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
; ---
> 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
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
t; (sem tantas amarras).
>>
>> Abraços, JM
>>
>> On Fri, Dec 16, 2022, 10:05 Adolfo Neto wrote:
>>
>>> Bem, por aqui já tivemos casos em que a banca analisou "a qualidade e
>>> a adequação dos candidatos, ao invés de simplesmente anali
.
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
--
==
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
--
==
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
==
--
LOGICA-L
Lista
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
>
> https://open.spotify.com/
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
.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58P6g-BsX_L_AZ%2BvuZ3smOVyBXKPLLq35Rt8zQ465BHsRw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
==
Adolfo Neto
Associate Professor - F
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 p
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
- 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
email=false&r=94fit&token=eyJ1c2VyX2lkIjoxNTMyMzI4NSwicG9zdF9pZCI6MTM3NjIwMDQ0LCJpYXQiOjE2OTYzMzU0OTMsImV4cCI6MTY5ODkyNzQ5MywiaXNzIjoicHViLTE0NDM4MDkiLCJzdWIiOiJwb3N0LXJlYWN0aW9uIn0.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_P1XEG7WsHkby6TN
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
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?
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
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 convers
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 e
%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLdny8t%3D0kcS0Gk64YzFX2j0TAuARGmvHuTBADaTDJ9Yiw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
--
==
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
>
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
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
Parabéns, Ítala
Em qui., 5 de set. de 2024, 12:55, Walter Carnielli
escreveu:
> Meus sinceros parabéns Itala, e obrigado pela menção.
>
> Construímos juntos, e com a ajuda de vários, esse pequeno império da
> lógica paraconsistente brasileira!!
>
> Abraços,
> Walter
>
>>
>> Eis um artigo sob
O pessoal da computação também pensa em ensinar Pensamento Computacional
desde o primário.
Eu só fico preocupado que, se todas estas ideias forem implementadas, o
nosso primário fique bastante complexo.
Em seg., 7 de out. de 2024, 21:39, Walter Carnielli
escreveu:
> Sendacional, eu estava lá n
Parabéns, Renata!
Aqui o link com resumo e pdf
https://proceedings.kr.org/2024/9/
Em qua., 6 de nov. de 2024, 12:14, Ruy Jose Guerra Barretto de Queiroz <
r...@cin.ufpe.br> escreveu:
> Parabéns, Renata!
>
> Um abraço,
> Ruy
>
>
> Em qua., 6 de nov. de 2024 às 08:49, Marcelo Finger
> escreveu:
Repassando
-- Forwarded message -
From: João Sarubbi
Date: Sun, Mar 23, 2025 at 11:59 PM
Subject: Canal sobre Lógica Matemática/Matemática Discreta
Caro professor Adolfo Neto
Boa noite,
Meu nome é João Sarubbi e sou professor titular do CEFET-MG.
Há muitos anos sou professor
Parabéns a todos e todas da lista!
// escrevo pouco mas estou sempre lendo
Adolfo Neto
https://adolfont.github.io/
On Mon, Mar 24, 2025 at 9:00 AM O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> wrote:
> Parabéns aos membros desta lista, neste dia, por mantê-la viva e
&g
a logica-l+unsubscr...@dimap.ufrn.br.
>>> Para ver esta conversa, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiRVqrVT8iE%2BnLE4ONrhdUVomp%2BYT5LUCCG4B32BCSrdA%40mail.gmail.com
>>> .
>>>
>>
>>
>> --
>>
A dúvida que surgiu nesta matéria foi: por que os pesquisadores colocaram
prompts escondidos em papers no Arxiv?
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em Computação Aplicada
usando tabela verdade, é zero
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
On Wed, Jul 9, 2025, 03:09 Julio Stern wrote:
>
Pelo menos na Engenharia de Software, a maioria do que vai pro Arxiv, e que
passa por revisão, vai depois de ter sido aprovado.
Se já foi aprovado, por que a pessoa não tirou o prompt? Esqueceu?
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https
impedido de entrar na UTFPR.
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
On Wed, Jul 2, 2025, 15:56 Joao Marcos wrote:
> A
staria de ver algo a mais, etc.
Se puder que seja até esta sexta 04/07, melhor.
É baseado no ANITA do Davi Vasconcelos.
Obrigado,
Adolfo
--
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em
>>> "editoração gráfica" que estavam convictos de que não tinham obrigação
>>> de saber usar LaTeX...
>>>
>>> Difícil.
>>>
>>> JM
>>>
>>
>>
>> --
>> Marcelo Finger
>> Departament of Computer Sci
Dá pra ver no Gmail do celular
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
On Thu, Jul 17, 2025, 22:51 Eduardo Ochs wrote:
(talvez nas
explicações)
https://chatgpt.com/share/688a0125-6b9c-8002-bdd3-5e46f6e420f0
--
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: *https://adolfont.github.io/ <https://adolfont.github.io/>*
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.
301 - 362 de 362 matches
Mail list logo
