Logica E Raciocinio

O objetivo do livro ? a apresenta??o dos principais conceitos e metodologias associados ? L?gica para estudantes universit?rios de Inform?tica. Introduz as no??es de proposi??o e de argumento e carateriza os seus poss?veis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma l?gica, o sistema dedutivo e o sistema sem?ntico, definindo as rela??es entre eles, e introduzindo os conceitos de corre??o e completude. Apresenta a l?gica proposicional e a l?gica de primeira ordem. Em rela??o a cada uma destas l?gicas, discute a l?gica sob dois aspetos distintos. Por um lado, apresenta os conceitos l?gicos sob o ponto de vista tradicional, usando o sistema de dedu??o natural, de modo a fornecer bases s?lidas para a compreens?o dos princ?pios e da metodologia da L?gica. Por outro lado, apresenta as t?cnicas desenvolvidas para permitir que um computador possa utilizar racioc?nio de uma forma autom?tica, nomeadamente recorrendo ? resolu??o, diagramas de decis?o bin?rios, e algoritmos de SAT. Apresenta a programa??o em l?gica, baseada na resolu??o SLD e aborda o PROLOG, uma linguagem de programa??o baseada em l?gica.

Author: Joao Pavao Martins

Publisher: College Publications

Publication Date: Feb 20, 2014

Number of Pages: 454 pages

Binding: Paperback or Softback

ISBN-10: 1848901259

ISBN-13: 9781848901254