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

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...