Lógica matemática: uma introdução

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.