Função? On Thu, 16 Nov, 2023, 2:35 pm Marcelo Finger, <[email protected]> wrote:
> [image: image.png] > > Em qui., 16 de nov. de 2023 às 10:29, Joao Marcos <[email protected]> > escreveu: > >> PessoALL: >> >> Por razões pedagógicas, estive buscando por exercícios de _tradução_ >> entre "a" linguagem natural (qualquer uma que eu seja capaz de ler) e >> linguagens formais de teorias lógicas apropriadas. Também estive >> buscando exercícios na direção oposta, isto é, envolvendo _leituras >> naturais_ de asserções descritas em linguagens formais. Ambas >> categorias de exercícios parecem ser extremamente importantes para os >> estudantes curiosos em saber *pra quê serve tudo isso*. >> >> Agradeço desde já por quaisquer sugestões que vocês puderem >> compartilhar comigo de material (de qualquer nível) para a prática >> destas tarefas. Tenho interesse particular por materiais que *não* >> tratem de teorias matemáticas, mas que, ao invés, envolvam a >> formalização de outros fragmentos interessantes da linguagem natural. >> Materiais envolvendo _erros_ de tradução, numa direção ou na outra, >> são particularmente bem-vindos! >> >> Caso seja de interesse dos colegas, posso ao final compilar aqui as >> referências recebidas, na lista ou fora dela. >> >> Saudações lógico-naturais, >> Joao Marcos >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> 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 [email protected]. >> Para acessar esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgSXODHR0OMA6c-VUELwn3MrhOggxB8LgCoOwrCqJb-og%40mail.gmail.com >> . >> > > > -- > Marcelo Finger > Departament of Computer Science, IME-USP > http://www.ime.usp.br/~mfinger > ORCID: https://orcid.org/0000-0002-1391-1175 > ResearcherID: A-4670-2009 > > Instituto de Matemática e Estatística, > > Universidade de São Paulo > > Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2K%3DBR%3DPN38dAS96of4u6M5EX07O5WyQyTsNa86XWTfpQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2K%3DBR%3DPN38dAS96of4u6M5EX07O5WyQyTsNa86XWTfpQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV9yD0SJPRpsUhF1OS6dsRt5rbXV9LqU4RVQHj18ZsFmQ%40mail.gmail.com.
