Saudações a todos: Tenho alguns livros de lógica em estado semi-novo que gostaria de vender. Caso alguém tenha interesse, coloco-me à disposição através dos contatos:
acaid...@hotmail.com 13-981353527 Vou colocar apenas 3 aqui, mas tenho outros no mesmo estado se houver interesse: 1. Mathematical Recreations of Lewis Carroll: Symbolic Logic and Game of Logic - Two books bound as one ISBN-13: 978-0-486-20492-5 ISBN-10: 0-486-20492-8 2018 1. Computabilidade e Lógica George Boolos, John Burgess and Richard Jeffrey Editora Unesp 2012 ISBN 978-85-393-0366-3 1. Lógica de Primeira Ordem Raymond Smullyan Editora Unesp 2009 ISBN 978-85-7139-520-6 Obrigado a todos pela atenção. Antonio Almeida Universidade Paulista Universidade Metropolitana de Santos ________________________________ De: logica-l@dimap.ufrn.br <logica-l@dimap.ufrn.br> Enviado: sexta-feira, 8 de outubro de 2021 07:10 Para: Destinatários de resumo por e-mail <logica-l@dimap.ufrn.br> Assunto: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 1 atualização em 1 tema logica-l@dimap.ufrn.br<https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> Grupos do Google<https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> [http://www.google.com/images/icons/product/groups-32.png] <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> Resumo por e-mail dos temas Ver todos os temas<https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> * Palestra [07/10]: Mario Florido (UPorto) - 1 atualização Palestra [07/10]: Mario Florido (UPorto) <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/bee0307371a6c738?utm_source=digest&utm_medium=email> Daniel Ventura <dan...@inf.ufg.br>: Oct 07 02:06PM -0300 O Grupo de Estruturas Formais, Fundamentos e Aplicações (EFFA <http://inf.ufg.br/~daniel/effa/>/UFG), em associação ao Grupo de Teoria da Computação (GTC <http://ayala.mat.unb.br/TCgroup/index.html/>/UnB), convida-os à participação do seminário remoto <https://sites.google.com/view/gtc-unb/calendar-2021> dos grupos de pesquisa em temas relacionados aos Fundamentos em Computação e Matemática Aplicada à Computação. *Título:* Substructural Type Systems and Intersection Types *Palestrante: *Mario Florido <https://sigarra.up.pt/fcup/pt/func_geral.formview?p_codigo=238703> (Universidade do Porto) *Resumo*: Types are now widely used as specifications for correctness properties of programs. However the standard type systems in use are usually not powerful enough to specify properties which limit the ordering and the number of uses of computational resources. Substructural type systems give us this extra power of controlling the number and order of uses of computational resources. Intersection types originate in the works of Barendregt, Coppo and Dezani and give us a characterization of the strongly normalizable terms, in the sense that a term is typed in an intersection type system if and only if it is strongly normalizable. These systems type more terms than the Curry type system and the Damas-Milner type system. In this talk we will address the following problem: to which extent can we approximate a typed term in the intersection type system by terms typable in a simpler type system, such as the Curry Type System or a substructural type system? We will present a notion of term expansion, which generalises expansion as used before to linearize the strongly normalizable terms. Under this notion we will show that one can define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. We will then show that expansion relates terms typed by an intersection type with terms typed in the Curry Type System and several substructural type systems, tuning the degree of sharing by choosing different algebraic properties of the intersection operator. *Data: *08 de outubro de 2021 (sexta-feira) *Horário: *10:00 (UTC-3) *Link:* <https://us02web.zoom.us/j/86256988347?pwd=NzJkNDFuNDJWN21VSmVmd2J6SHpTQT09> https://us02web.zoom.us/j/89412679078?pwd=ZjV6b3BvaGYwNFVLWXJaTWd6TjVWZz09 Meeting ID: 894 1267 9078 Passcode: 310030 Voltar ao início Você recebeu esse resumo porque está inscrito para receber atualizações deste grupo. Você pode alterar suas configurações na página de associação do grupo<https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join>. Para cancelar sua inscrição neste grupo e deixar de receber e-mails do mesmo, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br<mailto:logica-l+unsubscr...@dimap.ufrn.br>. -- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/PH0PR18MB4832E3798464579B3B88612AC8B29%40PH0PR18MB4832.namprd18.prod.outlook.com.
