Introdução à Lógica Matemática

Por Rogério Miguel Coelho
Baixar Introdução à Lógica Matemática pdf, epub, mobi, eBook
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.

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:

1. Cálculo Proposicional.
1.1 Linguagem Natural x Linguagem Matemática.
1.2 Conectivos Lógicos.
1.3 Tabela Verdade.
1.4 Equivalências Tautológicas.
1.5 Regras de Inferência.
1.6 Provas de Argumentos.

2 Lógica dos Predicados.
2.1 Quantificador Existencial.
2.2 Quantificador Universal.
2.3 Validação de Argumentos.

3 PROLOG.
3.1 – Sintaxe da Linguagem PROLOG.
3.2 – Sintaxe dos Conectores Lógicos em PROLOG.
3.3 – Sintaxe dos Operadores Matemáticos em PROLOG.
3.4 – Listas em PROLOG.

Características do eBook

Aqui estão algumas informações técnicas sobre este eBook:

  • Autor(a): Rogério Miguel Coelho
  • ASIN: B00HY05IUQ
  • Editora: Edição do Autor
  • Idioma: Português
  • Tamanho: 2441 KB
  • Nº de Páginas: 222
  • Categoria: Ciências

Amostra Grátis do Livro

Faça a leitura online do livro Introdução à Lógica Matemática, escrito por Rogério Miguel Coelho. Esse é um trecho gratuito disponibilizado pela Amazon, e não infringe os direitos do autor nem da editora.