Logica E Raciocinio » książka
Logica E Raciocinio
ISBN-13: 9781848901254 / Portugalski / Miękka / 2014 / 454 str.
O objetivo do livro e a apresentacao dos principais conceitos e metodologias associados a Logica para estudantes universitarios de Informatica. Introduz as nocoes de proposicao e de argumento e carateriza os seus possiveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma logica, o sistema dedutivo e o sistema semantico, definindo as relacoes entre eles, e introduzindo os conceitos de correcao e completude. Apresenta a logica proposicional e a logica de primeira ordem. Em relacao a cada uma destas logicas, discute a logica sob dois aspetos distintos. Por um lado, apresenta os conceitos logicos sob o ponto de vista tradicional, usando o sistema de deducao natural, de modo a fornecer bases solidas para a compreensao dos principios e da metodologia da Logica. Por outro lado, apresenta as tecnicas desenvolvidas para permitir que um computador possa utilizar raciocinio de uma forma automatica, nomeadamente recorrendo a resolucao, diagramas de decisao binarios, e algoritmos de SAT. Apresenta a programacao em logica, baseada na resolucao SLD e aborda o PROLOG, uma linguagem de programacao baseada em logica."
O objetivo do livro é a apresentaçao dos principais conceitos e metodologias associados a Lógica para estudantes universitários de Informática. Introduz as noçoes de proposiçao 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çoes entre eles, e introduzindo os conceitos de correçao e completude. Apresenta a lógica proposicional e a lógica de primeira ordem. Em relaçao 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çao natural, de modo a fornecer bases sólidas para a compreensao 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 a resoluçao, diagramas de decisao binários, e algoritmos de SAT. Apresenta a programaçao em lógica, baseada na resoluçao SLD e aborda o PROLOG, uma linguagem de programaçao baseada em lógica.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
