Questão de lógica
10 de setembro de 2007
Com abordagem pioneira, livro Lógica para computação, escrito por três professores do IME-USP, é o vencedor do Prêmio Jabuti na categoria Ciências Exatas. Prêmio será entregue em outubro
Questão de lógica
Com abordagem pioneira, livro Lógica para computação, escrito por três professores do IME-USP, é o vencedor do Prêmio Jabuti na categoria Ciências Exatas. Prêmio será entregue em outubro
10 de setembro de 2007
Por Fábio de Castro
Agência FAPESP – O livro Lógica para computação, lançado em 2006, nasceu nas salas de aula de graduação do Instituto de Matemática e Estatística (IME) da Universidade de São Paulo (USP). Mas, pelas características de sua abordagem, a obra acabou atraindo o interesse de pós-graduandos de diversas áreas e ganhou, em 2007, o primeiro lugar do Prêmio Jabuti na categoria Ciência Exatas, Tecnologia e Informática.
Os três autores, Marcelo Finger, Flávio Soares Correa da Silva e Ana Cristina Vieira de Melo, são professores do Departamento de Ciência da Computação do IME. O prêmio, concedido pela Câmara Brasileira do Livro, será entregue no dia 31 de outubro, na Sala São Paulo, na capital paulista.
"Existem excelentes livros de lógica matemática, mas até agora não havia nenhum que apresentasse os fundamentos da lógica com foco na ciência da computação. Conseguimos dar uma grande abrangência, com uma abordagem introdutória, mas mantendo a profundidade e o rigor matemático na exposição", disse Finger à Agência FAPESP.
De acordo com o professor, a obra permite que estudantes avaliem benefícios e dificuldades provenientes da aplicação de métodos formais – e, mais especificamente, dos métodos fundamentados em lógica formal – para as diversas facetas e ramificações da ciência da computação.
"A disciplina de fundamentos da lógica formal se relaciona com muitas outras, abrangendo várias áreas de desenvolvimento e de aplicação, como teoria da computação, inteligência artificial, raciocínio automático, engenharia de software e métodos formais", disse Finger.
Segundo o professor, o livro nasceu nas aulas da disciplina introdução aos métodos formais, no IME, mas sua utilização acabou sendo mais abrangente. "O livro é muito usado em alguns cursos de pós-graduação. Isso ocorreu porque se trata de uma área carente, pelo menos com a abordagem que demos", comentou.
Cada um dos autores se responsabilizou por uma parte do livro. Finger escreveu sobre lógica proposicional. Silva tratou da lógica de primeira ordem. "Os capítulos básicos e as duas primeiras partes apresentam o tema com rigor matemático e profundidade, com muitos exemplos", disse Finger.
O terceiro capítulo, escrito por Ana Cristina, trata de especificação e verificação de programas. "Os capítulos avançados e a terceira parte apresentam a tônica computacional, com algoritmos e aplicações", explicou Finger.
O segundo lugar do Prêmio Jabuti na categoria de Ciências Exatas, Tecnologia e Informática ficou com o livro Física moderna, de Francisco Caruso, do Centro Brasileiro de Pesquisas Físicas e da Universidade Estadual do Rio de Janeiro (Uerj), e Vitor Oguri, da Uerj.
O terceiro lugar ficou com Computabilidade, funções computáveis, lógica e os fundamentos da matemática, de Walter Carnielli, do departamento de Filosofia da Universidade Estadual de Campinas (Unicamp), e do matemático Richard Epstein, diretor do Advanced Reasoning Forum, no Novo México, Estados Unidos.
Mais informações: www.thomsonlearning.com.br
Republicar
Republicar
A Agência FAPESP licencia notícias via Creative Commons (CC-BY-NC-ND) para que possam ser republicadas gratuitamente e de forma simples por outros veículos digitais ou impressos. A Agência FAPESP deve ser creditada como a fonte do conteúdo que está sendo republicado e o nome do repórter (quando houver) deve ser atribuído. O uso do botão HMTL abaixo permite o atendimento a essas normas, detalhadas na Política de Republicação Digital FAPESP.