Lógica Matemática

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.