Lógica matemática. Uma introdução, livro de José Carlos Magossi

Lógica matemática. Uma introdução

editora: UNICAMP
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 deduti... [Leia mais]
R$ 62,00
preço de capa: R$ 73,00
economia de: R$ 11,00 (15%)
Frete Grátis
para pedidos acima de R$99,00 ou frete fixo de R$6,90 para todo o Brasil.
Parcele
sua compra em 3x de R$20,67 sem juros.
Apenas 3 em estoque.
Descriçã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.

Dados Técnicos
Páginas: 232
Peso: 360g
ISBN: 9786586253351