Lógica matemática

Fajardo, Rogério Augusto Dos Santos (Autor)

lógica clássica, lógica proposicional, teoria dos conjuntos, construções de conjuntos numéricos, álgebras de Boole, álgebras de Conjuntos, álgebras de Lindenbaum, Teorema de Representação de Stone, diagramas de Venn-Euler, linguagem e metalinguagem, leis de Morgan, Instituto de Matemática e Estatística da USP, IME-USP

Sinopse

Lógica Matemática é uma obra de natureza introdutória, porém completa, centrada no desenvolvimento da lógica clássica de primeira ordem. Inicia-se com reflexões sobre paradoxos e (meta)linguagem, e contém também capítulos e apêndices sobre lógica proposicional clássica, teoria dos conjuntos (ingênua e formalizada), construções de conjuntos numéricos e álgebras de Boole. O objetivo do autor é introduzir ao estudante de matemática de licenciatura ou de bacharelado os fundamentos da lógica de primeira ordem, mostrando como essa pode ser utilizada para formalizar a matemática, tornando mais precisas as definições, notações e demonstrações que nela aparecem. Todos os conceitos são definidos e explicados no texto, porém, é aconselhável que o leitor tenha alguma experiência em demonstrações matemáticas informais, adquiridas em disciplinas como álgebra, álgebra linear e análise real para acompanhar a leitura com fluência.

Metadado adicionado por Edusp em 05/12/2022

Encontrou alguma informação errada? Perguntar para a Edusp

ISBN relacionados

9788531404733 (ISBN de outro volume da coleção)

Metadados completos: