Mohlo by sa vám tiež páčiť

Viac informácií o knihe Logica E Raciocinio

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 61 bodov

Anotácia knihy

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.

Parametre knihy

• Celý názov: Logica E Raciocinio
• Autor: Joao Pavao Martins
• Jazyk: Portugalčina
• Väzba: Brožovaná
• Počet strán: 454
• EAN: 9781848901254
• ISBN: 9781848901254
• ID: 08853908
• Nakladateľ: College Publications
• Hmotnosť: 688 g
• Rozmery: 159 × 234 × 23 mm
• Dátum vydania: 20. February 2014

Obľúbené z iného súdka

---

---

---