Re: [Logica-l] Fwd: [SBL-Sócios] Nota de profundo pesar (falecimento do Prof. Aldo Figallo Orellano)

Que tragédia! Eu não consigo acreditar. Eu paguei como ouvinte uma disciplina de lógica algébrica com ele na sua estadia no DIMAp. Ele era um pesquisador muito competente. Meus mais sinceros pêsames a sua família e amigos. Abrazos, Claudio Callejas. El lun, 1 jul 2024 a las 17:04, Hugo Luiz

Re: [Logica-l] re-contando números

Bom dia, Só um pequeno comentário referente a uma notação mencionada por Samuel: em computabilidade também é utilizado \omega para denotar o conjunto dos números naturais incluindo o zero. Abraços, Claudio. El lun, 3 jul 2023 a las 15:20, 'samuel' via LOGICA-L (< logica-l@dimap.ufrn.br>)

[Logica-l] Vaga docente na área de lógica e teoria da computação na UFERSA

acessados no site https://sistemas.ufersa.edu.br/concursos/publico/exibir_concurso/204 Em caso de dúvidas podem entrar em contato comigo por e-mail privado. Abraços, Claudio Callejas. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está

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

Parabéns Evelyn por mais um reconhecimento!!! Fico muito contente por você. Também estendo a congratulação para os orientadores Daniel e Ole. Abraços, Claudio. El lun, 17 oct 2022 a las 10:07, Garibaldi Sarmento () escribió: > Parabéns Evelyn e parabéns Dani! > Esse prêmio é um reconhecimento

[Logica-l] 9th International Symposium of Domain Theory and its Applications (ISDT’22)

0 e 12:50h segundo o horário de Brasília). Maiores informações sobre o congresso podem se encontrados no site do evento http://math.nie.edu.sg/isdt09/ Abraços, Claudio Callejas. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo est

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

Boa tarde, Muito obrigado Samuel! Não tinha visto a definição na pág. 14, porque no índice geral do livro diz que pred aparece só na pág. 103. Abraços, Claudio Callejas. El sáb, 4 jun 2022 a las 0:41, samuel () escribió: > Olá Claudio, > > Na página 103 aquele R pode até ser uma

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

e ordem estrita (transitiva e irreflexiva), mas não necessariamente linear. Considerando as referências de Samuel e Juan Carlos, o conceito que preciso só foi definido em teoria dos conjuntos, mas não dentro da teoria de reticulados nem na teoria dos domínios. Abraços, Claudio Callejas. El vie, 3 jun

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

Bom dia, Obrigado Samuel e João Marcos pelas respostas. Samuel, você poderia, por favor, me enviar uma referência da área de teoria dos conjuntos onde esteja definido o termo predecessores de x no conjunto ordenado (a,r)? Gostaria de citar essa referência no meu trabalho. O termo predecessores

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

Oi João Marcos! Obrigado pela resposta, mas não estou precisando definir um down set. Preciso dar um nome para o conjunto A={y \in P : y) escribió: > Gostaria de saber se vocês sabem se já foi definido o seguinte conceito >> simples: Seja P um conjunto parcialmente ordenado e seja x um elemento

[Logica-l] Pergunta sobre um conceito em teoria da ordem

epresentar o fato que é aberto em x, mas que inclui os elementos abaixo dele. O problema é que não encontrei esse símbolo em LaTeX. Caso o conceito não exista na literatura, não sei qual seria o nome nem a notação mais apropriada, por isso lhes agradeceria sugestões. Abraços, Claudio Callejas.

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Obrigado a Thiago e Valéria pela divulgação e obrigado aos colegas pelas suas mensagens, especialmente ao João Marcos. Segue o link de uma linda homenagem que o departamento de matemática da UFPB, onde trabalhava o meu pai, fez para ele: