Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis

Obrigado João, estava no aguardo dos vídeos da mesa-redonda. Em seg., 22 de abr. de 2024 às 09:09, João Mendes < mendeslopes.j...@gmail.com> escreveu: > Os vídeos das duas mesas-redondas do SOL (Seminários de Orientação > extra-Lógica), ocorrido no mês passado, estão disponíveis no canal da SBL

Re: [Logica-l] [SBL] Mesa redonda: o ensino de lógica no ensino médio

Certamente será do meu interesse, estarei lá, virtualmente. Em seg., 8 de jan. de 2024 às 12:39, Evelyn Erickson < evelyn.f.erick...@gmail.com> escreveu: > Boa tarde! > > Fico feliz de anunciar a iniciativa da SBL para o Dia Mundial da Lógica > .

Re: [Logica-l] a lógica /n|d/+as aulas de matemática

O apêndice do livro UM CURSO DE ÁLGEBRA - ABRAMO HEFEZ faz um apanhado de noções de lógica e ele trata basicamente de tabelas verdades. Este livro é o padrão na UFES para o ensino de álgebra básica (anéis, domínios, corpos, ideais, conjuntos e funções, relações de equivalência e

Re: [Logica-l] Palestra "Red Herring" - UFBA - 15 de junho, 16h40

Estou aguardando essa palestra já tem uns dois anos desde a primeira vez que disse sobre ela. Estou interessado, se tiver link, estarei lá virtualmente. Em seg., 5 de jun. de 2023 às 17:45, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > Caros, > > Acredito que a palestra abaixo vá

Re: [Logica-l] II Dia Carol Blasio

gt;> ). >> >> Agradeço em nome das Lógicas Brasileiras a Daniel Durante, Marcelo >> Finger, Karina Girardi Roggia, João Marcos, Renata de Freitas e Mahan Vaz >> SIlva pelas contribuições, a Hudson Benevides e Thiago Nascimento por isso >> e também por toda a ajuda

Re: [Logica-l] II Dia Carol Blasio

Parabéns pela iniciativa. Como novo professor também tenho sofrido deste problemas de não encontrar material em português. Em seg., 20 de mar. de 2023 13:40, Evelyn Erickson < evelyn.f.erick...@gmail.com> escreveu: > Boa tarde! > > Neste dia em que Carol estaria completando seu 39° aniversário,

Re: [Logica-l] Prêmio CAPES de tese 2022

Fico muito feliz por tal conquista. Meus parabéns para Evelyn e para os Professores Ole e Daniel. Em sex., 12 de ago. de 2022 às 10:04, C. Mortari escreveu: > Parabéns à Evelyn, Daniel e Ole! > > Cezar > > Em 2022-08-12 08:53, Joao Marcos escreveu: > > >

Re: [Logica-l] ∃x <-> x=x <-> x∈x

Olá Léo, você poderia comentar um pouco sobre a inferioridade da filosofia? Em que se dá essa inferioridade? Em seg., 7 de fev. de 2022 às 22:20, Eduardo Ochs escreveu: > Léo, os "Look inside!" dos seus dois livros na Amazon - > > https://www.amazon.com/dp/B09QNN8BFS/ > >

Re: [Logica-l] Gerador de tabelas de verdade robusto

Olá Professor, eu costumava usar esse site aqui: https://web.stanford.edu/class/cs103/tools/truth-table-tool/ e o próprio wolframalpha. O wolframalpha tem a limitação de precisar escrever em inglês, mas acho que esse problema é facilmente contornável olhando os próprios exemplos que o wolframalpha

Re: [Logica-l] Corona vírus nos levou John Conway

Há dois matemáticos com o nome John Conway, o que faleceu foi o John H. Conway. O autor autor dos livros de Análise e Variáveis se chama John B. Conway . 1: https://en.wikipedia.org/wiki/John_Horton_Conway 2: https://es.wikipedia.org/wiki/John_B._Conway Em seg., 13 de abr. de 2020 às 07:34,

Re: [Logica-l] Rascunho: Palestra: p = t - Uma rara instância de igualdade entre ordens do infinito

Parece muito interessante, espero ter a oportunidade de assistir. Em 5 de dezembro de 2017 09:26, Samuel Gomes da Silva escreveu: > Caros, > > Inspirado em parte pelas discussões que houve aqui na nossa lista, e tendo > sido cobrado a preparar algum material sobre o assunto

Re: [Logica-l] mais uma sobre o sexo dos Gödelianos

Outra maneira é dar Esc assim que o texto carregar. Primeiro ele carrega o texto depois ele carrega o script que bloqueia a página. Em 5 de dez de 2017 00:38, "Profa. Maria Lewtchuk Espindola" < mar...@mat.ufpb.br> escreveu: Valéria Faça o cadastro, mas cuidado pois eles restringem o número de

Re: [Logica-l] um probleminha com logica intuicionista...

Essa contraposição aqui pode ser provada em IL (A--> B) --> (\neg B --> neg A). Sai basicamente do fato que tu elimina a primeira implicação e depois elimina a negação e usa explosão. Essa contraposição aqui (\neg A-->\neg B) --> ( B --> A) não pode ser provada em IL e de fato é equivalente à

Re: [Logica-l] Re: Uma noticia de profundissimo pesar

Meus sentimentos à toda família. Forças para o João e para Maia. Em 27 de ago de 2017 8:16 AM, "JAIME ALEJANDRO BOHORQUEZ VILLAMIZAR" < jaime.bohorq...@escuelaing.edu.co> escreveu: > Mis sentimientos de pesar para João Marcos por tan dolorosa noticia. > > > Jaime A Bohórquez > Ingeniería de

Re: [Logica-l] Poincaré e a origem dos 23 problemas de Hilbert

A Dissertação de mestrado do Evandro Luis Gomes é sobre a história da lógica no Brasil. Em 4 de agosto de 2017 10:33, Valeria de Paiva escreveu: > >o próximo ICM, no Rio de Janeiro, para o qual a SBL está organizando um > evento satélite > > Eba, eba!! tem mais

Re: [Logica-l] Lógica matemática é a linguagem para falarmos com os extraterrestres

Coloca para carregar e assim que aparecer o texto, dê um esc ou aperte no x para parar de carregar a página. Em 16 de junho de 2017 14:31, Márlon Henrique Teixeira < marlonhenriqu...@gmail.com> escreveu: > Conteúdo restrito para assinantes. Se alguém poder colar o texto aqui, > agredecemos. > >

Re: [Logica-l] el problema

O texto diz que se P = NP, então teríamos encontrado algoritmos, no caso existe, encontrar é outro trabalho. Em 22 de maio de 2017 18:18, Joao Marcos escreveu: > El problema que los informáticos no han podido resolver en 45 años > - La pregunta "¿P=NP?" trae de cabeza a los

Re: [Logica-l] Informações sobre Cursos de Verão

site do programa em > questão. > > Atenciosamente, > Vítor de Godeiro Marques. > > Em 15 de agosto de 2016 00:10, Thiago Nascimento da Silva < > thiagnascsi...@gmail.com> escreveu: > >> Olá, chega em agosto começam a sair informações sobre Cursos de Verão em >> Matemátic

[Logica-l] Informações sobre Cursos de Verão

Olá, chega em agosto começam a sair informações sobre Cursos de Verão em Matemática. A Unicamp e ICMC-USP já lançaram o programa de 2017. Alguém possui informações sobre Cursos de Verão em Lógica? Pesquisando aqui no grupo vi que em 2012 teve um Curso de Verão em Teoria dos Tipos na UFPE