[Logica-l] Vem aí os Seminários de Orientação extra-Lógica (SOL)

[João Mendes]

Como já anunciado no Boletim VII-2 da SBL, acontecerá nos dias 15 e 16 de
março de modo virtual os Seminários de Orientação extra-Lógica (SOL),
evento parte do 3º Dia Carol Blasio por Diversidade na Lógica.

Este será um evento voltado a estudantes ou pessoas interessadas em estudar
Lógica para conversarmos sobre aspectos da vida acadêmica que geralmente
não fazem parte de ementas de disciplinas ou de cursos.

As inscrições abrirão em breve e, mais informações, podem ser encontradas em

Site: https://sologica.weebly.com/

Instagram: sol_logica 

Twitter: sol_logica 


João Mendes

-- 
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/CAECUrDS-VPAVZ6Yte5OayyDtBEMV8Q7rjN8j1Nf-m1RKEk7ONA%40mail.gmail.com.

[Logica-l] Re: para ensinar recursão é preciso ensinar recursão

[leonormaiasantos]

(Peço desculpas se já postaram a informação)

Além do livro publicado pela Martins Fontes, indicado por João Marcos, 
Marcelo Ferreira tem uma publicação gratuita pela Language Science Press, 
também sobre semântica formal de línguas naturais, que vocês encontram em
https://langsci-press.org/catalog/book/200

Boa leitura!
Abraços,
Leonor
Em quinta-feira, 11 de janeiro de 2024 às 09:53:12 UTC-3, Joao Marcos 
escreveu:

> Salve, lógicos de plantão!
>
> Buscam-se recursos didáticos a nível de graduação para ensinar sobre
> RECURSÃO (ESTRUTURAL) *para filósofos e linguistas*:
> https://twitter.com/antitheorem/status/1744730134765351143
>
> Desde já agradeço pelos ponteiros compartilhados,
> Joao Marcos
>
>
> PS1: Agradeço aos colegas por todas as referências compartilhadas
> recentemente sobre *ensinar a traduzir*:
>
> https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/zZSy3qiiLH8/m/vObqtfXKCQAJ
> Outras referências específicas sempre serão bem-vindas!
>
> PS2: Ligado ao ponto anterior, pareceu-me interessante apontar este
> livro introdutório, muito bem feito e em português, de um professor da
> USP, sobre a *interpretação de sentenças da linguagem natural* (usando
> cálculo lambda):
> https://www.martinsfontespaulista.com.br/semantica-998434/p
>
> PS3: Gostaria de apontar que este fio, sobre o uso da Lógica no ensino
> de *Matemática* a nível secundário e terciário, recebeu pouquíssimas
> contribuições desta comunidade:
>
> https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/3z34nQdCB_k/m/yn8utORiAgAJ
> Sempre é tempo de colher mais opiniões sobre este assunto!
>

-- 
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/f7ab8521-47cf-44c8-b716-e5057539cd46n%40dimap.ufrn.br.