A Sociedade Brasileira de Computação, SBC, sempre apresentou, ao longo dos anos, propostas de planos pedagógicos para cursos de Computação em todo o Brasil. Seguindo esse política, a SBC tem sugerido livros que atendam a demanda de cursos de graduação e de pós-graduação em Computação por livros-textos de qualidade e que contemplam disciplinas do seu currículo de referência.
Lógica para Ciência da Computação e áreas afins apresenta, de forma concisa, os primeiro e principais fundamentos da Lógica Clássica necessários aos estudantes de Ciência da Computação e áreas afins como: Lógica para Concursos, Argumentação Lógica, Matemática, Engenharias, Filosofia e Direito.
Para estudar seu conteúdo não é necessário nenhum pré-requisito, nem mesmo maturidade matemática. Porém, mesmo sendo uma obra introdutória, temos o cuidado com a apresentação matemática rigorosa e com a demonstração dos resultados mais elementares.
Este livro foi selecionado no âmbito desse programa e tem como aplicações:
Livro-texto de leitura obrigatória em disciplinas de cursos de Ciência da Computação, Engenharia da Computação, Sistemas de Informação e Gestão da Informação.
Livro de leitura fortemente sugerido para profissionais que se interessam por Argumentação Lógica, como advogados, e para aqueles que pretendem prestar concursos que requerem conhecimento de Lógica.
João Nunes de Souza
Possui graduação em Engenharia Elétrica pela Universidade Federal de Minas Gerais (1981), bacharelado em Matemática pela Universidade Federal de Minas Gerais (1979), mestrado em Matemática pela Universidade Federal de Minas Gerais (1982) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1988). Atualmente é professor titular da Universidade Federal de Uberlândia. Tem experiência na área de Ciência da Computação, com ênfase em ensino de Lógica, Banco de Dados e Criptografia, atuando principalmente nos seguintes temas: recuperação de informação, segurança e protocolos criptográficos, ensino de Lógica para alunos de graduação e do ensino médio.