Diversas conquistas alcançadas por meio da inteligência artificial (IA) costumam passar despercebidas. É o que acontece, por exemplo, com a lógica computacional, inicialmente desenvolvida para auxiliar a IA, mas que acabou se tornando uma poderosa aliada na resolução de problemas tecnológicos. Em Lógica computacional, vamos abordar a lógica proposicional, mostrando como são provados sequentes lógicos e aplicadas regras de dedução natural. Além disso, você também poderá compreender a lógica dos predicados e a lógica modal, bem como circuitos e portas lógicas. Lembre-se: lógica é o ponto de partida.

Este livro apresenta em detalhes os conceitos fundamentais da lógica computacional, que tem importância central na resolução de problemas tecnológicos.

Alunos de graduação de Análise e Desenvolvimento de Sistemas.

Confira o sumário detalhado desse livro (clique aqui).

Estruturas algébricas e reticulados
Lógica proposicional
Semântica da lógica proposicional
Relações de equivalência e implicação lógica
Propriedades das equivalências e implicações lógicas
Árvores de refutação na lógica proposicional
Dedução natural na lógica proposicional: introdução
Dedução natural na lógica proposicional: regras avançadas
Linguagem e semântica da lógica dos predicados
Provas na lógica dos predicados
Lógica modal
Lógica analítica
Portas lógicas e circuitos digitais
Circuitos lógicos
Circuitos lógicos sequenciais
Álgebra booleana

Revisão:
Rute Henrique da Silva Ferreira, Doutora em Sensoriamento RemotoMestra em Educação Matemática
Izabelly Soares de Morais, Mestra em Ciência da Computação
Adriano Vogel, Mestre em Ciência da Computação

SANTOS, M. S. et al. Lógica computacional. Porto Alegre: SAGAH, 2021.