Kindle Unlimited
Unlimited reading. Over 4 million titles. Learn more
Read for Free
OR
Kindle Price: $4.00

Save $4.00 (50%)

Promotions apply when you purchase

These promotions will be applied to this item:

Some promotions may be combined; others are not eligible to be combined with other offers. For details, please see the Terms & Conditions associated with these promotions.

Read with our free app
You've subscribed to ! We will preorder your items within 24 hours of when they become available. When new books are released, we'll charge your default payment method for the lowest price available during the pre-order period.
Update your device or payment method, cancel individual pre-orders or your subscription at
Your Memberships & Subscriptions

Buy for others

Give as a gift or purchase for a team or group.
Learn more

Buying and sending eBooks to others

  1. Select quantity
  2. Buy and send eBooks
  3. Recipients can read on any device

These ebooks can only be redeemed by recipients in the US. Redemption links and eBooks cannot be resold.
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Amazon book clubs early access
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Amazon book clubs early access

Join or create book clubs

Choose books together

Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Explore Amazon Book Clubs

Follow the author

Rogério Miguel Coelho
Follow
Something went wrong. Please try your request again later.

Introdução à Lógica Matemática (Portuguese Edition) Kindle Edition

Portuguese Edition by Rogério Miguel Coelho (Author) Format: Kindle Edition
4.5 4.5 out of 5 stars 106 ratings
See all formats and editions
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.
Previous page
  1. Print length
    213 pages
  2. Language
    Portuguese
  3. Sticky notes
    On Kindle Scribe
  4. Publication date
    January 13, 2014
  5. File size
    2441 KB
  6. Page Flip
    Enabled
  7. Word Wise
    Not Enabled
  8. Enhanced typesetting
    Enabled
  9. See all details
Next page
Add a debit or credit card to save time when you check out
Convenient and secure with 2 clicks. Add your card

Product details

  • ASIN ‏ : ‎ B00HY05IUQ
  • Publisher ‏ : ‎ Edição do Autor; 1st edition (January 13, 2014)
  • Publication date ‏ : ‎ January 13, 2014
  • Language ‏ : ‎ Portuguese
  • File size ‏ : ‎ 2441 KB
  • Text-to-Speech ‏ : ‎ Enabled
  • Screen Reader ‏ : ‎ Supported
  • Enhanced typesetting ‏ : ‎ Enabled
  • Word Wise ‏ : ‎ Not Enabled
  • Sticky notes ‏ : ‎ On Kindle Scribe
  • Print length ‏ : ‎ 213 pages
  • Customer Reviews:
    4.5 4.5 out of 5 stars 106 ratings

About the author

Follow authors to get new release updates, plus improved recommendations.
Rogério Miguel Coelho

Rogério Miguel Coelho

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Rogério Miguel Coelho é Analista de Sistemas da Petrobras e professor de Lógica. É graduado em Engenharia de Computação pela UFES (Universidade Federal do Espírito Santo) em 2002 com MESTRADO em Informática pela PUC-Rio (Pontifícia Universidade Católica do Rio de Janeiro) em 2004. Leciona Lógica Matemática para os cursos de Ciência da Computação e Sistema de Informação na qual tem pesquisado novas ferramentas colaborativas para o ensino de Lógica Matemática.

Customer reviews

4.5 out of 5 stars
4.5 out of 5
106 global ratings

Top reviews from the United States

There are 0 reviews and 0 ratings from the United States

Top reviews from other countries

Translate all reviews to English
Fernanda Oliveira
5.0 out of 5 stars Ótimo livro
Reviewed in Brazil on January 3, 2021
Verified Purchase
É um bom livro de lógica matemática, tem exercícios para pratica já com as respostas. E de uma linguagem simples e de fácil compreensão.
One person found this helpful
 Report
Jonatas
5.0 out of 5 stars interessante
Reviewed in Brazil on October 12, 2022
Verified Purchase
Eu não estudo programação, porém comprei esse livro pra compreender melhor como funciona a argumentação lógica. Achei bem interessante, conteúdo introdutório e bem fácil de entender
One person found this helpful
 Report
Tiago Farias Sobel
5.0 out of 5 stars Bom
Reviewed in Brazil on April 2, 2024
Verified Purchase
Bom
Report
Hamilton Pitanga
4.0 out of 5 stars Gostei
Reviewed in Brazil on September 24, 2019
Verified Purchase
Um bom livro para quem está começando.
Report
Isaac de miranda campos
5.0 out of 5 stars Ótimo livro
Reviewed in Brazil on January 30, 2019
Verified Purchase
Este livro me agregou um ótimo conhecimento, com diversos exemplos e exercícios para fixação do conteúdo. O autor demonstra domínio sobre o conteúdo. Super recomendo.
3 people found this helpful
 Report
Report an issue

Does this item contain inappropriate content?
Report
Do you believe that this item violates a copyright?
Report
Does this item contain quality or formatting issues?
Report