Lógica Computacional
Autor: Pedro Kislanskly , Daniel Alvarez de Mello Buarque Ribeiro , Juliane Adélia Soares , Marcelo Gomes Vale , Marcelo da Silva dos Santos , Sergio Eduardo Nunes , Cristiane da Silva , Edilson José Rodrigues
LIVRO IDEAL PARA
Alunos de graduação de Análise e Desenvolvimento de Sistemas.
SOBRE O LIVRO
Este livro apresenta em detalhes os conceitos fundamentais da lógica computacional, que tem importância central na resolução de problemas tecnológicos.
Resumo
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.
Referência
SANTOS, M. S. et al. Lógica computacional. Porto Alegre: SAGAH, 2021.
Informações técnicas
eBook
Formato ePDF
Páginas 270
ISBN 9786556901343
Ano 2021
Equipe técnica
Izabelly Soares de Morais, Mestra em Ciência da Computação
Rute Henrique da Silva Ferreira, Doutora em Sensoriamento RemotoMestra em Educação Matemática
Adriano Vogel, Mestre em Ciência da Computação
Sumário
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
