ATENÇÃO: Com a inauguração do novo centro de distribuição da Amazon no Brasil, os produtos enviados pela Amazon.com.br têm frete GRÁTIS para todo o Brasil em pedidos a partir de R$ 99,00 para livros (e videogames) e a partir de R$ 149,00 para todas as outras categorias. A Amazon suporta lojas de terceiros e esses cobram frete.
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.
Introdução à Lógica Matemática [eBook Kindle]
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.  Linguagem Natural x Linguagem Matemática.
    2. Conectivos Lógicos.
    3. Tabela Verdade.
    4. Equivalências Tautológicas.
    5. Regras de Inferência.
    6. Provas de Argumentos.
  2. Lógica dos Predicados.
    1. Quantificador Existencial.
    2. Quantificador Universal.
    3. Validação de Argumentos.
  3. PROLOG.
    1. Sintaxe da Linguagem PROLOG.
    2. Sintaxe dos Conectores Lógicos em PROLOG.
    3. Sintaxe dos Operadores Matemáticos em PROLOG.
    4. 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
Capa comum (indisponível) Kindle Livros do autor