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,...

Под заказ:
	OZON.ru - 2388 руб.	Перейти

Рейтинг книги: 4 из 5, 9 голос(-ов).