Cara comunidade de lógica brasileira, Estou no final da minha graduação em Ciência da Computação e ando muito interessado em aprender mais sobre lógica e métodos formais. Gostaria de seguir na área para meu TCC (no ano que vem), mestrado, doutorado...
Do pouquíssimo que sei, me abrilhantam principalmente as ideias de Provadores Automatizados e Verificação Formal de Software. Porém, tem sido um processo muito difícil procurar sozinho o que estudar sobre esses conceitos, pesquisas importantes que foram feitas, como desenvolver trabalhos na área... Presunção de minha parte assumir que, sem experiência, conseguiria aprender sozinho sobre essas áreas tão vastas. Então, gostaria de pedir recomendações de leituras, aplicações, trabalhos... Gostaria de aproveitar a mensagem para dizer que sou novo na comunidade, mas tem sido muito proveitoso receber diariamente as trocas de e-mail no grupo. Obrigado desde já, André -- **Esse e-mail foi enviado por um estudante da Universidade Federal de Viçosa** -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/29cb09ed-b119-431a-a366-47fc6f09867dn%40dimap.ufrn.br.
