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

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

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

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.

Country	USA
Author	Rogério Miguel Coelho
Binding	Kindle Edition
Edition	1
EISBN	9788592058005
Format	Kindle eBook
IsAdultProduct
Label	Edição do Autor
Manufacturer	Edição do Autor
NumberOfPages	118
PublicationDate	2014-01-13
Publisher	Edição do Autor
ReleaseDate	2014-01-13
Studio	Edição do Autor

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

You might also like...