Saíram os vencedores do Prêmio Jabuti 2007. Na área "CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA" os vencedores foram:
http://www.cbl.org.br/news.php?recid=5633
Categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA
1º - LÓGICA PARA COMPUTAÇÃO - FLÁVIO SOARES CORRÊA DA SILVA, MARCELO FINGER E ANA CRISTINA VIEIRA DE MELO (IME-USP)
2º - FÍSICA MODERNA - FRANCISCO CARUSO NETO E VITOR OGURI
3º - COMPUTABILIDADE, FUNÇÕES COMPUTÁVEIS, LÓGICA E OS FUNDAMENTOS DA MATEMÁTICA - WALTER CARNIELLI (CLE-UNICAMP)
Links para as páginas dos dois livros da área de lógica e computação podem ser encontrados na seção "Sugestões de Livros" deste blog.
Parabéns aos autores.
Nenhum comentário:
Postar um comentário