Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
... Caindo do alto do elevador ainda, imagine !
Obrigado Walter e Elaine,
Abraços
[]s Samuel
- Mensagem original -
De: Walter Carnielli
Para: Elaine Pimentel
Cc: samuel , LOGICA-L
Enviadas: Fri, 23 Feb 2024 15:47:57 -0300 (BRT)
Assunto: Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
Parabéns aos colegas da UFBA, um grupo poderoso, lindo logo!
Só da um pouco de medo que a Lógica escorregue sobre a Topologia. :-)
Abraços,
Walter
Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:
> Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo.
>
> Longa vida ao Grupo de Lógica da UFBA!!!
>
> Abraços,
>
> On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>> (abaixo, segue mensagem repassada para público geral, docentes do nosso
>> Departamento de Matemática)
>>
>> *
>>
>> Prezados,
>>
>> Saudacoes,
>>
>> A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA
>> de Lógica e Fundamentos da
>> Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner,
>>
>> Marca também o início do ano em que completam-se 18 anos do Grupo de
>> Lógica da UFBA, reconhecido como
>> um dos mais importantes grupos de Lógica sediados em Departamentos de
>> Matemática no país.
>>
>> Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para
>> o grupo de Lógica.
>>
>> Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o
>> elevador pode ser mentalmente
>> encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash.
>>
>> O símbolo da catraca é o símbolo da "prova" em Lógica Matemática
>> ("logical entailment", ou consequência
>> lógica), o qual denota que a partir de determinadas premissas chegamos a
>> determinadas conclusões.
>>
>> Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas
>> para as conclusões, deixamos
>> como pagamento o nosso raciocínio, o nosso pensamento.
>>
>> Saudacoes a todos os colegas,
>>
>> []s Samuel
>>
>>
>>
>> As imagens podem ser visualizadas no seguinte link aberto:
>>
>> https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
>>
>> PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista,
>> com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
>> uma predilecao especial por catracas. 8-)
>>
>> --
>> 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 nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br?utm_medium=email_source=footer>
>> .
>>
>
>
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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 nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com?utm_medium=email_source=footer>
> .
>
--
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-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/760582865.2688022.1708714383631.JavaMail.zimbra%40ufba.br.
Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
Parabéns aos colegas da UFBA, um grupo poderoso, lindo logo!
Só da um pouco de medo que a Lógica escorregue sobre a Topologia. :-)
Abraços,
Walter
Em sex., 23 de fev. de 2024 14:35, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:
> Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo.
>
> Longa vida ao Grupo de Lógica da UFBA!!!
>
> Abraços,
>
> On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
>> (abaixo, segue mensagem repassada para público geral, docentes do nosso
>> Departamento de Matemática)
>>
>> *
>>
>> Prezados,
>>
>> Saudacoes,
>>
>> A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA
>> de Lógica e Fundamentos da
>> Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner,
>>
>> Marca também o início do ano em que completam-se 18 anos do Grupo de
>> Lógica da UFBA, reconhecido como
>> um dos mais importantes grupos de Lógica sediados em Departamentos de
>> Matemática no país.
>>
>> Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para
>> o grupo de Lógica.
>>
>> Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o
>> elevador pode ser mentalmente
>> encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash.
>>
>> O símbolo da catraca é o símbolo da "prova" em Lógica Matemática
>> ("logical entailment", ou consequência
>> lógica), o qual denota que a partir de determinadas premissas chegamos a
>> determinadas conclusões.
>>
>> Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas
>> para as conclusões, deixamos
>> como pagamento o nosso raciocínio, o nosso pensamento.
>>
>> Saudacoes a todos os colegas,
>>
>> []s Samuel
>>
>>
>>
>> As imagens podem ser visualizadas no seguinte link aberto:
>>
>> https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
>>
>> PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista,
>> com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
>> uma predilecao especial por catracas. 8-)
>>
>> --
>> 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 nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para acessar essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br
>>
>> .
>>
>
>
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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 nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com
>
> .
>
--
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-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe0Qj%2Be8RZ2pK8iUJFvL7jpYFSojmPywR0JGXzw2X9GAw%40mail.gmail.com.
Re: [Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
Parabéns, Samuel e colegas da UFBA, pela maioridade e pelo logotipo.
Longa vida ao Grupo de Lógica da UFBA!!!
Abraços,
On Fri, Feb 23, 2024 at 6:20 PM 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:
> (abaixo, segue mensagem repassada para público geral, docentes do nosso
> Departamento de Matemática)
>
> *
>
> Prezados,
>
> Saudacoes,
>
> A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA
> de Lógica e Fundamentos da
> Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner,
>
> Marca também o início do ano em que completam-se 18 anos do Grupo de
> Lógica da UFBA, reconhecido como
> um dos mais importantes grupos de Lógica sediados em Departamentos de
> Matemática no país.
>
> Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para o
> grupo de Lógica.
>
> Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o
> elevador pode ser mentalmente
> encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash.
>
> O símbolo da catraca é o símbolo da "prova" em Lógica Matemática ("logical
> entailment", ou consequência
> lógica), o qual denota que a partir de determinadas premissas chegamos a
> determinadas conclusões.
>
> Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas
> para as conclusões, deixamos
> como pagamento o nosso raciocínio, o nosso pensamento.
>
> Saudacoes a todos os colegas,
>
> []s Samuel
>
>
>
> As imagens podem ser visualizadas no seguinte link aberto:
>
> https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
>
> PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista,
> com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
> uma predilecao especial por catracas. 8-)
>
> --
> 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 nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br
>
> .
>
--
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---
--
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-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUJ5VU5eJRO-JDQnGZ9vt0qPRvQjjwjkLYjCDhsBa9JaA%40mail.gmail.com.
[Logica-l] Logotipo e Símbolo do Grupo de Lógica da UFBA
(abaixo, segue mensagem repassada para público geral, docentes do nosso
Departamento de Matemática)
*
Prezados,
Saudacoes,
A Semana Temática de Lógica 2024, além de abrigar o II Encontro USP UFBA de
Lógica e Fundamentos da
Matemática e a Homenagem aos 60 anos do Prof. Andreas Brunner,
Marca também o início do ano em que completam-se 18 anos do Grupo de Lógica
da UFBA, reconhecido como
um dos mais importantes grupos de Lógica sediados em Departamentos de
Matemática no país.
Nesse caminho à maioridade, foram criados: um logotipo e um símbolo para o
grupo de Lógica.
Estao ambos baseados no Elevador Lacerda, porém, como "duplo sentido", o
elevador pode ser mentalmente
encarado como uma "catraca" (turnstile), cujo símbolo em Latex é \vdash.
O símbolo da catraca é o símbolo da "prova" em Lógica Matemática ("logical
entailment", ou consequência
lógica), o qual denota que a partir de determinadas premissas chegamos a
determinadas conclusões.
Diz a lenda que trata-se de uma catraca pois, ao passarmos das premissas
para as conclusões, deixamos
como pagamento o nosso raciocínio, o nosso pensamento.
Saudacoes a todos os colegas,
[]s Samuel
As imagens podem ser visualizadas no seguinte link aberto:
https://drive.google.com/drive/folders/1P_PU-VNivp_zf8DyqeOdH4PApkkWqra8
PS: "A lenda" aí da mensagem eu retirei de mensagens antigas desta lista,
com Petrucio e Valeria falando do símbolo da catraca, desde entao eu tenho
uma predilecao especial por catracas. 8-)
--
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-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/85ce70ba-9593-41f6-95c7-4c3d34d3825an%40dimap.ufrn.br.
