Mohlo by se vám také líbit

Více informací o knize Logica E Raciocinio

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 58 bodů

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

Parametry knihy

• Plný název: Logica E Raciocinio
• Autor: Joao Pavao Martins
• Jazyk: Portugalština
• Vazba: Brožovaná
• Počet stran: 454
• EAN: 9781848901254
• ISBN: 9781848901254
• ID: 08853908
• Nakladatelství: College Publications
• Hmotnost: 688 g
• Rozměry: 159 × 234 × 23 mm
• Datum vydání: 20. February 2014

Oblíbené z jiného soudku

---

---

---