LÓGICA MATEMÁTICA: UMA INTRODUÇÃO

Código: 531

Autor Magossi, J. C.

Editora: EDITORA UNICAMP

R$ 60,00
SINOPSE
 

Lógica matemática é um assunto presente em muitos ramos do conhecimento: computação, engenharia, linguística, inteligência artificial, filosofia, matemática, eletrônica entre outros. Neste livro os principais conceitos da lógica clássica são apresentados com um adequado equilíbrio entre intuição, motivação e abordagem formal. Serve como uma boa introdução à argumentação matemática, desmistificando a temida palavra “demonstração”. Inicia com cálculo proposicional clássico e finaliza com cálculo de predicados de primeira ordem, sempre com a utilização do sistema de tableaux como método dedutivo alternativo ao axiomático, também apresentado na obra. Em linguagem acessível e didática, o texto traz bons exemplos e, sempre que possível, aproxima-se de questões do dia a dia. Em todos os capítulos, além de aplicações à matemática, há uma seção final com excelentes exercícios de fixação de conteúdo, seguidos por outros, mais sofisticados, indicados como atividade de pesquisa. Esta obra destina-se não apenas a alunos de graduação de diferentes cursos, mas também a leitores interessados em raciocínio lógico em geral.

José Carlos Magossi é professor de matemática em ensino superior há mais de 30 anos. Na nicamp, fez mestrado em Lógica no Instituto de Filosofia e Ciências Humanas (IFCH), Doutorado em Engenharia Elétrica na Faculdade de Engenharia Elétrica e de Computação (FEEC), e é professor na Faculdade de Tecnologia (FT), Campus de Limeira. Suas linhas de pesquisa são análise matemática e seus fundamentos lógicos, ensino de matemática e teoria da informação.


FICHA TÉCNICA
 
ISBN: 9786586253351
Ano da Publicação: 2020
Edição: 1
Formato: 23,00 x 16,00 x 1,20 cm.
Nº Páginas: 232 pp
Peso: 360 g.