O objetivo deste livro é que ele sirva de base para todos os interessados em iniciar seus conhecimentos em Lógica Matemática através de uma linguagem direta e clara. Para isso, o livro foi divido em uma série de capítulos concisos abordando sempre que possível a teoria através de exemplos. Além disso, cada capítulo apresenta exercícios com questões de múltipla escolha (ideal para quem estuda para concurso) e questões discursivas. Todos os exercícios vem com a solução dos mesmos para que o leitor possa verificar a evolução do seu aprendizado. Para facilitar o estudo dos leitores, no final de cada capítulo é apresentado um resumo com os pontos chaves dos assuntos tratados.
Para isso, o livro foi divido em uma série de capítulos concisos abordando sempre que possível a teoria através de exemplos. Além disso, cada capítulo apresenta exercícios com questões de múltipla escolha (ideal para quem estuda para concurso) e questões discursivas.
Todos os exercícios vem com a solução dos mesmos para que o leitor possa verificar a evolução do seu aprendizado. Para facilitar o estudo dos leitores, no final de cada capítulo é apresentado um resumo com os pontos chaves dos assuntos tratados.
O último capítulo do livro aborda Prolog, uma Linguagem de Programação que permite resolver problemas de Lógica através do computador. Neste capítulo, o leitor saberá onde baixar e instalar um software Prolog e, por fim, como fazer programas simples para solução de problemas de Lógica de primeira ordem.
O livro é praticamente divido em três partes:
- Cálculo Proposicional.
- Linguagem Natural x Linguagem Matemática.
- Conectivos Lógicos.
- Tabela Verdade.
- Equivalências Tautológicas.
- Regras de Inferência.
- Provas de Argumentos.
- Lógica dos Predicados.
- Quantificador Existencial.
- Quantificador Universal.
- Validação de Argumentos.
- PROLOG.
- Sintaxe da Linguagem PROLOG.
- Sintaxe dos Conectores Lógicos em PROLOG.
- Sintaxe dos Operadores Matemáticos em PROLOG.
- Listas em PROLOG.
- Autor: Rogério Miguel Coelho
- Editora: Edição do Autor
- Idioma: Português
- Kindle: 118 páginas
- Tamanho do arquivo: 2441 KB