booki

-10%

Lógica e Raciocínio

ISBN: 9789898481894

Autor: João Pavão Martins

Editora: IST

Número de Páginas: 473

Idioma: Português

Data Edição: 2022

25,21 €28,01 €
Poupa: 2,80 € | desconto de 10,0%

Promoção válida das 00:00 do dia 1-jan-2024 às 23:59 do dia 31-dez-2024.

A eventual indisponibilidade de stock será comunicada em 24/48h

A Lógica é uma das bases do pensamento científico. O raciocínio lógico está subjacente às mais diversas áreas do conhecimento, por exemplo, biologia, direito, medicina, economia e informática. Em cada uma destas áreas existe a preocupação de diferenciar entre argumentos racionais, baseados em princípios ou em evidência, de especulações que não resultam de um conjunto de suposições. Ou seja, todas estas áreas do conhecimento se baseiam nos princípios subjacentes à Lógica.

O objetivo deste livro cobre os fundamentos de lógica clássica proposicional e de 1.ª ordem, bem como uma introdução à programação em lógica e à linguagem Prolog.

Com efeito, o livro não se fica por apresentar os principais conceitos da lógica clássica, explicando sempre como se põem esses conceitos a funcionar e apresentando métodos computacionais quer para prova, quer para o sistema semântico. Para além do uso de Informática/Computação ao ser viço da Lógica, como é o caso nos métodos computacionais para prova e para e.g. determinação de satisfazibilidade, o livro apresenta ainda casos em que é a Lógica que está ao serviço da Informática. São exemplos disto o uso da Lógica para Representação do Conhecimento em Inteligência Artificial e, bem mais desenvolvido, o uso da Lógica para Programação Declarativa. Esta combinação de Lógica e Informática não se encontra nos principais textbooks de Lógica. Por exemplo, não se encontram livros pedagógicos que cubram de forma tão completa os conceitos fundamentais da lógica e que, simultaneamente, apresentem algoritmos de SAT e programação em lógica.

A escolha dos temas e a forma como são abordados tornam claro que, sendo um livro de Lógica, é um livro escrito por um Informático e especialmente direcionado para estudantes de Informática.

Quem viu este produto também viu os seguintes

36,25 €40,28 €

39,64 €44,04 €

Newsletter

inscrição newsletter

Subscreva a Newsletter Booki e receba todas as nossas novidades e promoções no seu email.

Subscrever

Facebook Linkedin Instagram

Modos de Pagamento

Opções de Envio Vasp Expresso

©Quântica Editora, Lda - Todos os direitos reservados
Praça da Corujeira, 30 - 4300-144 Porto
E-mail: info@booki.pt
Tel.: +351 220 104 872 (custo de chamada para a rede fixa)

Compre online, escolha sites nacionais.

Compre online, escolha sites nacionais.