Z3 and model-based theory combination

[Joao Marcos]

The inner magic behind the Z3 theorem prover

https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/

(Com a foto do prêmio Herbrand que eles ganharam aqui em Natal.)

JM

[Valeria de Paiva]

Parabens para todos! autores do provador, organizadores do evento, todos de parabens!

abs

Valeria

--
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+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhOs9_eMSiC%3D-Ev-AKr9f86%2BYUrfbp-a6ifMrF%2BWnSrxQ%40mail.gmail.com.

--

Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

[Rodrigo Oliveira]

O livro Elliott Mendelson - Introduction to Mathematical Logic ainda é considerado como uma boa introdução à lógica?

Há interesse na comunidade em uma versão em português do livro?

Juntamente com uma amiga estou interessado em traduzir o livro, mesmo que não seja publicado, apenas como uma tradução informal.

Criei um Google forms com 5 perguntas sobre o assunto para checar o nível de interesse em tal tradução.

Quem puder responder, agradeço.

https://forms.gle/yJyEdQfbvSh8HcFX8

Abraço.

[Claus Akira Horodynski Matsushigue]

Sim...  Seria muito importante uma boa tradução do Mendelson!

Abraços, Claus

--
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+u...@dimap.ufrn.br.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FR1PR80MB4327B9FE38401E4BCDB0C433F36C0%40FR1PR80MB4327.lamprd80.prod.outlook.com.