Description
O objetivo do livro a apresentao dos principais conceitos e metodologias associados Lgica para estudantes universitrios de Informtica. Introduz as noes de proposio e de argumento e carateriza os seus possveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma lgica, o sistema dedutivo e o sistema semntico, definindo as relaes entre eles, e introduzindo os conceitos de correo e completude. Apresenta a lgica proposicional e a lgica de primeira ordem. Em relao a cada uma destas lgicas, discute a lgica sob dois aspetos distintos. Por um lado, apresenta os conceitos lgicos sob o ponto de vista tradicional, usando o sistema de deduo natural, de modo a fornecer bases slidas para a compreenso dos princpios e da metodologia da Lgica. Por outro lado, apresenta as tcnicas desenvolvidas para permitir que um computador possa utilizar raciocnio de uma forma automtica, nomeadamente recorrendo resoluo, diagramas de deciso binrios, e algoritmos de SAT. Apresenta a programao em lgica, baseada na resoluo SLD e aborda o PROLOG, uma linguagem de programao baseada em lgica.
